Type Inference Needs Revolution (2015) | Lobsters

2

Type Inference Needs Revolution (2015) video plt youtube.com
via icefox 5 months ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2

1. 1
  
  Corbin 5 months ago
  
  This was a dense video. I needed two viewings before I understood what’s going on. It’s a very historical talk, going back to choices made in the 1980s in the design of ML.
2. 1
  
  fanf 5 months ago
  
  I saw this via a fedi thredi https://types.pl/@pigworker/113115052573715771