Nauseam (in sf!): "imagine you're 15 and just want to make your own programming language and then y"

Post

imagine you're 15 and just want to make your own programming language and then you get stunlocked by this

Every programmer I’ve talked to who’s into types and programming language development has the shared trauma of being recommended to read “Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” only to discover it not being complete nor easy at all

English

127

2.8K

276.8K

pythoN@python_ow·19 Ağu

@ChadNauseam the notation looks intimidating, but trends to intuitive after a good course on parsing/semantics/compilers. the fancy syntax exists to make our lives easier (by abstracting away complexity, breaking everything into primitive logical steps) useful — en.wikipedia.org/wiki/Type_theo…

English

3.8K

Nauseam (in sf!)@ChadNauseam·19 Ağu

@python_ow yeah, it's just gentzen's tree notation. the issue for me at the time was that I didn't know what to look up to find more about the notation. once I found someone who told me what to search for, it became simple

English

2.4K

eepy@eepy_ow·19 Ağu

@python_ow @ChadNauseam no wonder this guy hit gm3

English

116

Paylaş