エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Type-First Developmentが良いという話
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Type-First Developmentが良いという話
F#と言えばType-first developmentである(以下TFDと略す)。 TFDに関してちゃんと知りたければ、Why type... F#と言えばType-first developmentである(以下TFDと略す)。 TFDに関してちゃんと知りたければ、Why type-first development mattersが良く書けているし、F# for Fun and ProfitのCalculatorの記事で具体例も見れる。 TFDは別にF#以外の言語でも出来ると思うのだが、やっぱり代数的データ型(とパターンマッチ)がある言語という条件は要る気もする。 あんまりTFDの記事って見かけない気がするので、ここにもうひとつTFDの記事をwebに追加する事にも意義があるかもしれないと思い、書いてみる。 TFDの話は、型によるモデリングや代数的データ型の意義など、関数型言語によるプログラミングらしさが見えやすい視点でもあると思うので、そういう話にも触れてみる。 TFDをする為には、型での表現が複雑である必要がある 上記のリンク