Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
マット・マイトが書いた記事を読んでいると、次の文章が目に留まりました。
経験豊富なプログラマーは、正しさの制約を Haskell 型システムに直接エンコードすることに熟達します。
誰かこの文の意味を説明したり、短い例を挙げたりできますか?