Type Inference from Scratch (2019) [video]

Re:Type Inference from Scratch (2019) [video] by jkbbwr on Monday May 01, 2023 @02:10PM (#35776790)

I wish I could find some examples in Kotlin or Rust or Python. Something non-functional

[ Parent | on HN ]

Re:Type Inference from Scratch (2019) [video] by dllthomas on Monday May 01, 2023 @04:07PM (#35778420)

As the language written or checked?

[ Parent | on HN ]

Re:Type Inference from Scratch (2019) [video] by jkbbwr on Wednesday May 03, 2023 @07:20AM (#35800947)

You only ever find tutorials on writing type checkers in things like haskell or similar.

It is often like that owl joke in art. "Step one draw a circle, step two draw some triangles, step three draw the rest of the fucking owl" and its hard to get into step 3

[ Parent | on HN ]

Re:Type Inference from Scratch (2019) [video] by dllthomas on Wednesday May 03, 2023 @12:26PM (#35804306)

When I have the bandwidth I'll take a look at the video and see if I can translate.

[ Parent | on HN ]