---
# System prepended metadata

title: "【第14週】ブルーベリー本輪読会\U0001FAD0\U0001FAD0<br />(2022-09-03)"
tags: [ブルーベリー本]

---

# 【第14週】ブルーベリー本輪読会🫐🫐<br />(2022-09-03)

###### tags: `ブルーベリー本`

- [開催概要](https://hackmd.io/1kCgi6_tSGukG0KZrqDLvA)
- [ブルーベリー本輪読会ノートまとめ](https://hackmd.io/Ih6bdReuR3eQpYkGaCx8pg)
- [プロを目指す人のためのTypeScript入門-サポートページ](https://gihyo.jp/book/2022/978-4-297-12747-3/support)（正誤表・サンプルコードのダウンロードページ）

---
## 2022-09-03（土）

### タイムスケジュール
- 雑談(5min) ~9:05
- 輪読(40min) ~9:45
- 前半の記入(5min) ~9:50
- 休憩(10min) ~10:00
- 輪読(45min) 前半での疑問の解消含む ~10:45
- まとめ(15min) ~ 11:00

### 進行係

- 前半
    - @haruguchi-yuma 
- 後半
    - @haruguchi-yuma 
### ドライバー
- 前半
    - @Maeda8 
- 後半
    - @Maeda8 

### 読んだところ
- p.161 4.3 「関数型の部分型関係」 から p.166 コラム17 「メソッド記法と部分型関係」

### 次回
- p.166 コラム18　「読み取り専用プロパティの部分型について」

### 自由に使う共有スペース

### わからなかったこと・疑問など

### 各自の疑問点や気づき、学んだこと

- @haruguchi
    - 関数型の部分型関係について
        - S <: Tの場合
        - 引数 S :> T という位置にある　逆方向
        - 返り値 S <: T という位置にある 順方向
        - 引数の数大 :> 引数の数小　（共通の引数は部分型関係）
    - 雑な認識だと、多い分には少ないもので置き換えられる（無視すればいいので）

- @Maeda8 
	- 関数型の部分型関係について学んだ
	- 関数型の返り値の場合は共変の位置
	- 引数の型の場合は反変の位置（部分型関係の向きが逆になる）
	- SがTの部分型の時、Sを使用する箇所でTを使ってもOk（返り値の型の時は逆で、Tを使用する箇所でSを使ってもOk）
	- メソッド記法については緩くなっている。引数の部分型関係が共変の位置にあってもOKになってた...
		- メソッド記法で関数型を定義する際は注意

- @cafedomancer
    - オブジェクトの型と関数の型とでは、部分型の関係 (余剰プロパティの扱い) が逆？になる
    - "部分型" が直感的に理解しづらいので、ぜんぶ subtype と supertype で説明してほしい...
        - S と T も慣れないけど、関数の f と g みたいなものなんだろうな。(S)ubtype と (T)ype の略なのかな？

### 本日の振り返り(よかった点・次回に向けての改善点等)

- @Maeda8 
	- 2人で輪読会をやったのが初だった
        - 4人いますよw
	- 今日学んだこと、もう忘れそう...

-　@haruguchi-yuma 
    -　梅本さん山梨かぁだんだん三重に近づいてる
        - いやいま東京つきました。東京->山梨->長野->東京->三重です。
    -　最近入ったプロジェ入ったプロジェクト TypeScript使ってるっぽいので楽しみ
