Video wird geladen...
Video konnte nicht geladen werden
Hindley Milner type inference (algorithm-j) visualized 🎉
39,893 Aufrufe • vor 2 Jahren •via X (Twitter)
8 Kommentare

🦋 Jared Forsythvor 2 Jahren
play with it here

Colin Barrett (NEET arc)vor 2 Jahren
Did you intend to publish with audio? Sounded like background noise

🦋 Jared Forsythvor 2 Jahren
oops lol no

Jeremie Pelletiervor 2 Jahren
It's like watching Racket's syntax objects being resolved, but at the type-system level. Neat!

mandalarianvor 2 Jahren
Wow. This is so impressive, man. Also, the link doesn't work on Firefox.

🦋 Jared Forsythvor 2 Jahren
Yeah sorry about that. I use Intl.Segmenter to split graphemes, didn't realize Firefox didn't have support yet

Mattvor 2 Jahren
This is absolutely wild 😍

l 🇪🇪vor 2 Jahren
@welltypedwitch @TheEduardoRFS
