人間が型だけ書けば実装を意識しないでもよくなる未来 - Qiita

型って「どういうことをしてほしいか」っていう 要件 の役割を持ってて、 一方で実装って「どうやってその要件を実現するか」っていう 具体的な手順 の役割を持ってますよね。 ところで仕事ができる人って、「こういうことやりたいな〜って思ってるんだけど〜」って伝えると、 「あ、それなら具体的にこういうやり方をすると良さそうですね〜」って自分で考えて提案して実行してくれてめちゃくちゃ助かるじゃないですか。 そしたら、プログラムの世界でも同じで、要件 (型) だけ書いたら 具体的な手順 (実装) を自動で導出してくれる未来が来たら嬉しい感じがしませんか？ ざんね〜ん！ 未来ではなくそれは現代のお話でした〜！ 1 type MyApi = "books" :> Get '[JSON] [Book] -- GET /books :<|> "books" :> ReqBody Book :> Post '[

[kuxumarin]

高度に進化した型は実装と見分けがつかなくなる

[slkby]

型で要件を表現する技術を私は知らない

[lotz84]

“そしたら、プログラムの世界でも同じで、要件 (型) だけ書いたら 具体的な手順 (実装) を自動で導出してくれる未来が来たら嬉しい感じがしませんか？ ざんね〜ん！ 未来ではなくそれは現代のお話でした〜！”

[yetch]

らっきょでラーメン作りたいんだけどなんて入力したらいいの？

[tsz]

一般的には型だけでは無理かな