I see. So what are some features that would satisfy the criterium that you would... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

prmph on July 7, 2023 | parent | context | favorite | on: The Styx Programming Language

I see. So what are some features that would satisfy the criterium that you would like to see in languages?

auggierose on July 7, 2023 [–]

I would like to have a programming language that also works as a logic, and doesn't use types to achieve that. Think equational reasoning, but with binders.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact