Viewing profile — marklemay

In Malcolms auto biography they it was explicit that they were not friends.

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…

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