17

マット・マイトが書いた記事を読んでいると、次の文章が目に留まりました。

経験豊富なプログラマーは、正しさの制約を Haskell 型システムに直接エンコードすることに熟達します。

誰かこの文の意味を説明したり、短い例を挙げたりできますか?

4

2 に答える 2