Loading ideas.md +6 −0 Original line number Diff line number Diff line Loading @@ -96,6 +96,12 @@ 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 ## Interfacing Interfacing with other languages needs to be easy. Bindings to common languages like C should be easily creatable. Maybe a Haskell2Katrin converter for easy switching? ## Parallelity Should be implicit in pure calculations and easilty explicitly possible for IO. Loading Loading
ideas.md +6 −0 Original line number Diff line number Diff line Loading @@ -96,6 +96,12 @@ 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 ## Interfacing Interfacing with other languages needs to be easy. Bindings to common languages like C should be easily creatable. Maybe a Haskell2Katrin converter for easy switching? ## Parallelity Should be implicit in pure calculations and easilty explicitly possible for IO. Loading
