3 ms·
What's stronger than Haskell?
by fouronnes3 1mo ago
What's stronger than Haskell?
- theLiminator 1mo agoPerhaps coq/agda/idris/etc.
- astrange 1mo agoAnything with ranged numeric types. Like everyone's favorite functional programming language, Ada.
- black_knight 1mo agoOr Liquid Haskell.
- ghaslt 1mo agoThis issue raises SIGFPE. Ada would raise Constraint_error, which is easier to catch than a signal, but still occurs at runtime. You need range proofs to be 100% safe, and then you can as well use the regular type because invalid values will not occur.
- black_knight 1mo agoDependent types is one possible direction. Not sure when a language with dependent types will arise which will be useful for making real programs. Agda is the most mature dependently typed programming languae (having been around since the 90s – it is basically Haskell on steroids), but has a more proof-assistant flavor than an actual programming language flavor. Opus & Fable write Agda quite well, so LLMs can understand dependent types.
- TheGoddessInari 1mo agoLean 4, Idris 2.