Rustでもモナドは実装できるのか？（再） - Don't Repeat Yourself

この記事は言語実装Advent Calendar 2020 25日目の記事です。（2022-11-06: 記事の内容を追記していますが、この記事の結論としては「似たようなものは作れるが、完全体にはならない」です） 前提知識 高階カインド型 モナド 従来のエミュレーション方法 Generic Associated Types を用いたエミュレーション（new!） 型クラスを定義する Functor を用意する Pointed を用意する Applicative を用意する Monad を用意する いくつか型を実装していく 現状実装できないもの do 記法 Generic Associated Types（GATs）とは何か 追記（2022-11-06） リポジトリ 参考文献 モナドに関する話題が言語実装アドベントカレンダーの範疇に入るのかわかっていませんが*1、プログラミング言語がお好きな方

[zyzy]

rustのHKTエミュレート、見ない間に結構事情が変わってた。

[tackman]

マクロでdo記法やれるのはRustえらいなあ

[harry0000]

ﾓｯ

[moto_motosaka]

それはサモサでしょ！

[rascalrascal]

「モサド」と空目して、「すげえ、スパイを実装できるのか」と思った私。

[igrep]

GADTsとは名前は似てるけど全然違う “GATs というのは先ほども軽く触れたとおり、関連型に何かしらの型パラメータ（A や T みたいなもの）をもたせることができる機能”