サクサク読めて、アプリ限定の機能も多数!
DataKindsとか頑張って使って問題領域を型にモデリングしても良いけど外部とのIOが含まれると途端に面倒になるので型レベルモデリングもほどほどにして現実の問題を解くためのトレードオフを選ぼうぜ的な (長い)
ilyaletre のブックマーク 2020/01/21 13:40
Static types are dangerously interesting[haskell]DataKindsとか頑張って使って問題領域を型にモデリングしても良いけど外部とのIOが含まれると途端に面倒になるので型レベルモデリングもほどほどにして現実の問題を解くためのトレードオフを選ぼうぜ的な (長い)2020/01/21 13:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
alexnixon.github.io2020/01/16
Static type systems allow you to forbid certain bad behaviours from happening at runtime. That’s a good thing. However, I consistently underestimate just how difficult they can be to wield, even wi...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
DataKindsとか頑張って使って問題領域を型にモデリングしても良いけど外部とのIOが含まれると途端に面倒になるので型レベルモデリングもほどほどにして現実の問題を解くためのトレードオフを選ぼうぜ的な (長い)
ilyaletre のブックマーク 2020/01/21 13:40
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Static types are dangerously interesting
alexnixon.github.io2020/01/16
Static type systems allow you to forbid certain bad behaviours from happening at runtime. That’s a good thing. However, I consistently underestimate just how difficult they can be to wield, even wi...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /