双方向型検査: 検査と構築の融合

2023年02月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム型推論多相関数System-F

単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 …

続きを読む

HM(X): 多相と制約と推論と

2023年01月24日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム型推論多相関数型制約

パラメータ多相を持つプログラミング言語は多いが,その多くは型パラメータの記述機能だけを持つわけではない …

続きを読む

Let多相と型推論

2022年08月27日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム型推論多相関数

プログラミング言語において,パラメータ多相は今や標準的な機能と言って良い.Java のジェネリクスや C++ のテンプレ …

続きを読む

多相関数を第一級で取り扱う

2019年12月07日に投稿 • カテゴリ:プログラミング言語 • タグ:HaskellGHC拡張GHC多相関数

今回は,GHC拡張の一つ RankNTypes の紹介をしようと思う.もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …

続きを読む

Rust のジェネリック関数はどうコンパイルされるのか

2019年06月24日に投稿 • カテゴリ:プログラミング言語 • タグ:Rust多相関数ジェネリクストレイト

最近, (特に境界条件を伴った) 多相関数が言語ごとにどういうコードを吐くかが気になったので, Haskell とコードの生成方 …

続きを読む