8 ms·

What would be the best programming language matching his criteria(flexible, concise, static types, DSLs)?

• donut2d 6y ago
  OCaml seems like it hits all of those well.
• namelosw 6y ago
  If those are the only criteria, my take would be Haskell.
• systems 6y ago
  most typed functional languages seem to fit: ocaml, f#, purescript, haskell
• MaxBarraclough 6y ago
  Ada makes a real effort toward if it compiles it works, which is an exaggeration of course but Ada is much closer to that ideal than is C. More recently we have Rust, but Ada is too often overlooked. I'm not quite sure what to make of those criteria. If you want a platform for writing DSLs, I believe Racket Lisp is impressively flexible, but it's a somewhat exotic language. For flexibility and conciseness, functional languages are the obvious place to look.