Conversation

This Tweet was deleted by the Tweet author. Learn more

@ VL/HCC in Rome

you could do type classes in a language with abstract types (ala ML modules) over a structural base type system too (see Modular Type Classes by Dreyer et al.). in fact, I'll go as far as to say that is how they should be done. :-)

1

3

Brendan Zabarauskas

Yes, I would love something like this! 🎉

1

1

Brendan Zabarauskas

Replying to

and

Has anyone got abstract data types to work in a full-spectrum, dependent type system? Like, as part of the term language? (asking for a friend)

3:42 AM · Jan 20, 2020Twitter Web App

Replying to

and

(I'm the friend)

1