Search
❯
Dec 01, 2023, 1 min read
@inu__warabi: こういう型の考え方って数学でもめちゃくちゃ大事だよなぁって思ってたけど、それはやっぱ静的型付け言語のおかげなんだよな
圏論