marklemay

3 ms·

1. 1.▲
   by marklemay 9mo ago

   In Malcolms auto biography they it was explicit that they were not friends.
2. 2.▲
   by marklemay 11mo ago

   The io issue can be solved in 2 ways: * by returning the pair of the list and it's length. * having functions that convert between simply typed and dependently typed lists. However the ergonomics could probably be improved. The API de
3. 3.▲
   by marklemay 7y ago

   ATS seems relevant, it has dependent types and linear types. My understanding isthat linear types have a lot in common with barrow checking.