Some Programming Languages You Likely Have Never Heard of

Want to Expand your Knowledge of Programming Look at These

Photo by Markus Spiske on Unsplash

Idris

is a dependent types-based general-purpose purely functional programming language. Agda has a type system similar to this one. Even before theorem-proving, the language offers interactive theorem-proving similar to Coq, including…

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
C. L. Beard

C. L. Beard

I am a writer/artist living on an island in the Salish Sea. I write mostly on nature and programming languages. https://chester-beard.medium.com/membership