[HN Gopher] Type Inference from Scratch (2019) [video]
       ___________________________________________________________________
        
       Type Inference from Scratch (2019) [video]
        
       Author : surprisetalk
       Score  : 47 points
       Date   : 2023-05-01 15:01 UTC (8 hours ago)
        
 (HTM) web link (www.youtube.com)
 (TXT) w3m dump (www.youtube.com)
        
       | jkbbwr wrote:
       | I wish I could find some examples in Kotlin or Rust or Python.
       | Something non-functional
        
         | dllthomas wrote:
         | As the language written or checked?
        
       | emmanueloga_ wrote:
       | I like this description by Eli Bendersky [1], which also includes
       | code in python.
       | 
       | 1: https://eli.thegreenplace.net/2018/type-inference/
        
       | happy_bzy wrote:
       | For ocaml programmers, there is also a lecture about type
       | inference in ocaml:
       | https://cs3110.github.io/textbook/chapters/interp/inference....
        
       | letmeinhere wrote:
       | I read this as "type inference _in_ Scratch" and thought: that
       | language for kids is getting pretty sophisticated!
        
       ___________________________________________________________________
       (page generated 2023-05-01 23:02 UTC)