Loading ideas.md +9 −0 Original line number Diff line number Diff line Loading @@ -96,6 +96,14 @@ In the real-world, working with external data in file systems and databases is o - ~~*Languages* (regular, context-free) at the language heart~~ - *Probably* nonsense ## Parallelity Should be implicit in pure calculations and easilty explicitly possible for IO. ## Compiler Implement a algebraic compiler using `megaparsec` for parsing in Haskell and later write a compiler in Katrin itself. ## Meta-Usability ### Tooling Loading Loading @@ -153,6 +161,7 @@ Debugging needs to be easy and comprehensive. - Clojure - F# - Scala - Kotlin - Nix (not a programming languae per se) - Nim - Elm Loading Loading
ideas.md +9 −0 Original line number Diff line number Diff line Loading @@ -96,6 +96,14 @@ In the real-world, working with external data in file systems and databases is o - ~~*Languages* (regular, context-free) at the language heart~~ - *Probably* nonsense ## Parallelity Should be implicit in pure calculations and easilty explicitly possible for IO. ## Compiler Implement a algebraic compiler using `megaparsec` for parsing in Haskell and later write a compiler in Katrin itself. ## Meta-Usability ### Tooling Loading Loading @@ -153,6 +161,7 @@ Debugging needs to be easy and comprehensive. - Clojure - F# - Scala - Kotlin - Nix (not a programming languae per se) - Nim - Elm Loading
