ベーシック圏論
https://gyazo.com/ed609e79f666e4e617f98d9a68c3b4ac
Amazon
@inu__warabi
: こういう型の考え方って数学でもめちゃくちゃ大事だよなぁって思ってたけど、それはやっぱ
静的型付け
言語のおかげなんだよな
https://pbs.twimg.com/media/FuyOGmgacAEXroF.jpg
型
圏論