Tag: type system 「動的型つき」の言語を「型なし」と呼ぶのはおかしい，のか？ Twitter（現・X）でのこの種の定期イベントはそろそろやめにしないか FSharpPlus に型安全な固定長リストが実装されるまでの話 SRTP と型プロバイダを使った黒魔術が盛りだくさんです F# で型クラス 2020 そろそろ F# での型クラスの実用的な作り方について書いておく Dependent Types と Refinement Types の違い Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある. F# で型クラス F# の言語機能の隠された真の力をお伝えするために、とりあえずは Haskell の do-notation のようなものを実現してみせよう。
Dependent Types と Refinement Types の違い Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある.