@g as the resident type expert: do classes count as types in any way? also can you recommend any "babby's first introduction to type theory" articles/books?

@ogrumm [[open this post on types to get the tex rendered]]

classes are absolutely types! there is a family of theories called system $F_{<:}$ that specifically deals with subtyping, since in most non-class-based languages it doesn't have such a central role. there was a new one in this year's popl in fact to formalise a new scala feature

as far as books to get started the default recommendation is types and programming languages by ben pierce. but i will think about it a bit and let you know if i come up with something less textbooky too

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.