• このサイトについて
• 草
• 型で仕様を表現したい！@Gotanda.hs #2
• A Logical Relation for Monadic Encapsulation of State
• 入力の型を厳格にすることでhandlingを避ける
• NonEmpty
• DXの向上
• 「Ghosts of Departed Proofs」
• ページの閲覧数を非表示にする
• ホモサピ
• 月ノ美兎
• type witness
• ScalaのSealed
• パターンマッチ
• TypeScriptの網羅性チェック
• nerver型
• Scala
• GADTs
• 検証済みであることを型で明示する
• Haskellの本