サクサク読めて、アプリ限定の機能も多数!
圏論じゃ~!出会え、出会え~~~!! "カインドは, 型コンストラクタの型のことです. 高カインド型 圏論的なものをコードに落とし込めれば強力な抽象概念を記述でき, 「仕様としての型」の幅がだいぶ広がります."
hamamuratakuo のブックマーク 2020/02/19 00:57
なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記[FP][勉強][プログラミング][圏論][数学][用語]圏論じゃ~!出会え、出会え~~~!! "カインドは, 型コンストラクタの型のことです. 高カインド型 圏論的なものをコードに落とし込めれば強力な抽象概念を記述でき, 「仕様としての型」の幅がだいぶ広がります."2020/02/19 00:57
圏論じゃ~!出会え、出会え~~~!! "カインドは, 型コンストラクタの型のことです. 高カインド型 圏論的なものをコードに落とし込めれば強力な抽象概念を記述でき, 「仕様としての型」の幅がだいぶ広がります."
このブックマークにはスターがありません。 最初のスターをつけてみよう!
tarao.hatenablog.com2020/02/18
How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわか...
472 人がブックマーク・37 件のコメント
\ コメントが サクサク読める アプリです /
圏論じゃ~!出会え、出会え~~~!! "カインドは, 型コンストラクタの型のことです. 高カインド型 圏論的なものをコードに落とし込めれば強力な抽象概念を記述でき, 「仕様としての型」の幅がだいぶ広がります."
hamamuratakuo のブックマーク 2020/02/19 00:57
このブックマークにはスターがありません。
最初のスターをつけてみよう!
なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
tarao.hatenablog.com2020/02/18
How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわか...
472 人がブックマーク・37 件のコメント
\ コメントが サクサク読める アプリです /