-
Agda is a dependently typed functional programming language. It has inductive families, i.e.Pricing:
- Open Source
Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool.
#Programming Language #OOP #Generic Programming Language 7 social mentions
-
(* Binary tree with leaves carrying an integer.Pricing:
- Open Source
Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool.
#Programming Language #OOP #Generic Programming Language 30 social mentions
Discuss: What can Category Theory do?
Related Posts
Top 5 Most Liked and Hated Programming Languages of 2022
analyticsinsight.net // about 2 years ago
The 10 Best Programming Languages to Learn Today
ict.gov.ge // over 4 years ago
Top 10 Rust Alternatives
blog.back4app.com // about 2 years ago
Python vs. Node.js: Which WillAmeliorate Your ProjectBetter?
konstantinfo.com // over 5 years ago