サクサク読めて、アプリ限定の機能も多数!
GADTsとは名前は似てるけど全然違う “GATs というのは先ほども軽く触れたとおり、関連型に何かしらの型パラメータ(A や T みたいなもの)をもたせることができる機能”
igrep のブックマーク 2020/12/26 10:40
Rustでもモナドは実装できるのか?(再) - Don't Repeat Yourself[Monad][rust]GADTsとは名前は似てるけど全然違う “GATs というのは先ほども軽く触れたとおり、関連型に何かしらの型パラメータ(A や T みたいなもの)をもたせることができる機能”2020/12/26 10:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
blog-dry.com2020/12/25
この記事は言語実装Advent Calendar 2020 25日目の記事です。(2022-11-06: 記事の内容を追記していますが、この記事の結論としては「似たようなものは作れるが、完全体にはならない」です) 前提知識 高階カイン...
37 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
GADTsとは名前は似てるけど全然違う “GATs というのは先ほども軽く触れたとおり、関連型に何かしらの型パラメータ(A や T みたいなもの)をもたせることができる機能”
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Rustでもモナドは実装できるのか?(再) - Don't Repeat Yourself
この記事は言語実装Advent Calendar 2020 25日目の記事です。(2022-11-06: 記事の内容を追記していますが、この記事の結論としては「似たようなものは作れるが、完全体にはならない」です) 前提知識 高階カイン...
37 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /