alios

So richtig hat das #rustc ja keien HKTs (Higher kinded types), aber interessanter Blog wie man ihnen nahe kommt, wenn man z.b. eine kleien #fp Sprache schreieben will:

"Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler"

Oder einfach: Propositions as Types, Proofes as Values ;)

https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/

Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler — ramblings of @harudagondi

I just wanted higher kinded types. I borked the compiler instead.

Mar 18 at 4:50amWeb