Coming to a Hackage near you… At some point… I think there are more infix operator and/or overloading shenanigans to make this feel more natural. Open to suggestions.pic.twitter.com/eOgU0QAXWe
Prikaži ovu nit
-
-
More syntactic regularity upon
@dorchard’s request. Since facts are just clauses with trivial bodies, `Fact|> fact` can be epxressed as `fact |- true`.pic.twitter.com/nWg8BuVY5D
Prikaži ovu nit -
More traditional look without currying. Not sure if this is better or worse?pic.twitter.com/SDdA8mPPj5
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
Ooh I quite like that. Good to have both maybe?
-
I might have `F` and `Q` as alternatives to `Fact` and `Query` as a shortcut, but the operators are not very descriptive or standard in logic anyway.
- Još 7 drugih odgovora
Novi razgovor -
-
-
Nice, and I like the use of "voila" at the end (I'm French
). Is this coming from Datalog? -
Ah, no it isn't a Datalog thing. Since I’m abusing the composition operator I needed a right operand after the last dot, voila was the first thing came to mind =) (Alternatively, omitting the last dot altogether also works, but then the syntax looks irregular)
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.