5 ms·

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

• dllthomas 3y ago
  As the language written or checked?
  • jkbbwr 3y ago
    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
    • dllthomas 3y ago
      When I have the bandwidth I'll take a look at the video and see if I can translate.