Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Hindley Milner type inference (algorithm-j) visualized 🎉

39,893 Aufrufe • vor 2 Jahren •via X (Twitter)

8 Kommentare

Profilbild von 🦋 Jared Forsyth
🦋 Jared Forsythvor 2 Jahren

play with it here

Profilbild von Colin Barrett (NEET arc)
Colin Barrett (NEET arc)vor 2 Jahren

Did you intend to publish with audio? Sounded like background noise

Profilbild von 🦋 Jared Forsyth
🦋 Jared Forsythvor 2 Jahren

oops lol no

Profilbild von Jeremie Pelletier
Jeremie Pelletiervor 2 Jahren

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

Profilbild von mandalarian
mandalarianvor 2 Jahren

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

Profilbild von 🦋 Jared Forsyth
🦋 Jared Forsythvor 2 Jahren

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

Profilbild von Matt
Mattvor 2 Jahren

This is absolutely wild 😍

Profilbild von l 🇪🇪
l 🇪🇪vor 2 Jahren

@welltypedwitch @TheEduardoRFS

Ähnliche Videos