2 Matching Annotations
- May 2023
-
blog.janestreet.com blog.janestreet.com
-
Emphasizing lifetime-polymorphism can also make type inference untenable, a design choice that wouldn’t fit OCaml.
References or sources? Why? Presumably there's some research into this?
-
- Mar 2022
-
cs3110.github.io cs3110.github.io
-
assumes that the function identifier f has a particular type
How is the initial assumption choosen? Does it start with a completely generic type and then tries to narrow it down?
-