Commit 3894144b authored by Nicolas Lenz's avatar Nicolas Lenz

Update ideas

parent 4b4bd197
......@@ -56,7 +56,7 @@ Inspired by the Zen of Python principles, these are the general paradigms the la
- Records in Haskell are deeply flawed. Fix that, they're really importent in practice! Bring in the dot operator (as some people also did for Haskell).
- Don't concentrate on actual types and data, but rather on "capabilities"? <http://degoes.net/articles/kill-data>
## Evaluation
## Logic
- ~~Mainly lazy or~~ mainly strict? (→ Haskell/Idris)
- Probably mainly strict with explicit laziness possible (like in Idris) because of performance and algebraic typing
......@@ -64,6 +64,7 @@ Inspired by the Zen of Python principles, these are the general paradigms the la
- Do the pros outweigh the cons here?
- Not decidable in general, so it's a burden on the user if the totality checking fails
- Should be optional of course
- Error handling should be consistent
## Proofs
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment