読者です 読者をやめる 読者になる 読者になる

( ꒪⌓꒪) ゆるよろ日記

( ゚∀゚)o彡°オパーイ!オパーイ! ( ;゚皿゚)ノシΣ フィンギィィーーッ!!!

java-ja.dddの最後の「関数型言語Dis(?)」について

java-ja.ddd - connpass 2013/03/22 java-ja.ddd #java_ja #java_ja_ddd - Togetter java-ja.ddd面白かったです。色々と得るものがありました。発表者の方々、有り難うございました。 会場を提供して頂いたGREEさんありがとう。運営のみなさまお疲れ様。 で…

設計を型にエンコードするということ

動的型付け vs 静的型漬けのアレでもんにょりしてたのをついったーに放出して会話してたらなんとなく自分なりの考えがまとまったので貼っておく。 ……(ファントムタイプとか型安全ビルダーパターンとかで、型レベルにロジックをエンコードした結果、ライブラ…