Coherent Implicit Parameter

2020年03月31日に投稿 • カテゴリ:プログラミング言語 • タグ:Haskell型クラス型システム

アドホック多相を実現する方法として,型クラスがある.型クラスは,辞書渡しと呼ばれる方法により,かなり自然に elaboration …

続きを読む

型クラスの Coherence と Orphan Instance

2020年03月20日に投稿 • カテゴリ:プログラミング言語 • タグ:HaskellGHC型クラス

Haskell には型クラスと呼ばれる重要な機能がある.これは名前の通り,型をクラス分けするための機能で,その型に対して …

続きを読む

Local Do と型クラス

2019年07月27日に投稿 • カテゴリ:プログラミング言語 • タグ:HaskellGHCGHC拡張do構文型クラス

現在, GHC に 線形型の提案 がされていて活発に議論されている.プロトタイプも ここ から利用可能だ. Docker イメージも利用 …

続きを読む