dyna
dyna copied to clipboard
nwf
Dyna2 compiler and REPL
Has this repository bitrotted? I spent several hours just now trying to compile Dyna, but as someone who's not a Cabal expert, I was not able to get it to...
Hey, I was going through the papers and slides and I was trying to conceptually understand dyna's syntax. Is the below correct? side("a") = 2 side("b") = 3 ipothenuse +=...
Many times when I install Python libraries, things break. I would rather use Docker. I can already run iPython from Docker. I ordinarily use [this Docker image](https://hub.docker.com/r/continuumio/anaconda3/)[1]. Suppose I modified...
This language looks amazing! The tutorial leads me to believe the arguments to a functor must be strings or integers: ``` "We can also have rules which contain both variables...
I've been using [Semantic Synchrony](https://github.com/synchrony/smsn/wiki), which uses Neo4j, to keep a knowledge graph of a few hundred thousand nodes. Could Dyna handle that much data? (The queries I want to...
`|` and `&` are **strict** boolean operators. (No, not bitwise integer operators, I don't think.) Like other normal operators, they return null if they have any null argument, and otherwise...
Here's the complete output from make: ``` alex --version 2>/dev/null >/dev/null || cabal install alex happy --version 2>/dev/null >/dev/null || cabal install happy cabal install --user --enable-tests --only-dependencies . Resolving...
I am getting the following error upon running 'make' ``` [20 of 37] Compiling Dyna.ParserHS.OneshotDriver ( src/Dyna/ParserHS/OneshotDriver.hs, dist/build/dyna/dyna-tmp/Dyna/ParserHS/OneshotDriver.o ) src/Dyna/ParserHS/OneshotDriver.hs:111:48: No instance for (Show PCS) arising from the 'deriving' clause...
It's probably time that DOpAMine grew up a bit and learned how to do case analysis all by itself. In particular, this would be of utility for inlining things like...
`true` and `false` should be parsed specially as literals, just like `123` would be. They are _not_ 0-ary functors. Of course, you can make any string into a functor (this...