3 ms·

Note that this legislation has been in preparation before the pandemic. It is not a response to working from home increasing in 2020.

• daxfohl 6y ago
  Tangent: did you ever get anywhere on https://news.ycombinator.com/item?id=8869652 https://news.ycombinator.com/item?id=8869652 ? I've been thinking that too for my type inferencer in https://github.com/daxfohl/dottie https://github.com/daxfohl/dottie, and kind of tinkering on it in my free time. My current thinking on the matter is, would be neat, it might be possible, but IDK whether it would be useful. If types are inferred completely, i.e. there's no actual type definitions, perhaps things not even having types themselves, but rather just rules extracted and tested such that the compiler evaluates and says "yup you can pass X into F" (which may be all you can say in cases like the omega combinator--there's no "type" you can associate with it afaict), then there's nothing to apply type classes to. "Can't have type classes, without having types". Also it takes away one of the big advantages of defined types (records / classes), in that you can do `.` and get precise autocomplete. If everything is just inferred, then the editor can't help you out as much. Anyway, was just curious if you got anywhere.