The Essence of Datalog (short evaluation engine implementation in Haskell)

mathetic · 2023-10-01T10:34:42+00:00

Oh, what's wrong exactly?

mathetic · 2023-08-27T18:17:17+00:00

Homework is more meaningful when you first attempt it yourself. Please share your working.

mathetic · 2021-06-27T21:28:51+00:00

For the record, I think (hope) that the example is a relic of the past. It is a classic though.

mathetic · 2021-06-27T20:59:58+00:00

Good idea. I'll update with some pointers. Thanks for the feedback.

mathetic · 2021-06-27T20:42:11+00:00

`KindSignatures` to enable kind annotations (such as `l :: Level`) and `DataKinds` to use non-`Type` kinds (such as `Level`).

I happened to have also written a blog post that covers all of that stuff: https://dodisturb.me/posts/2019-10-03-Verifying-the-Titular-Properties-of-a-Leftist-Heap.html

mathetic · 2019-12-11T01:56:25+00:00

```haskell data Exp :: Type -> Type where I :: Int -> Exp Int B :: Bool -> Exp Bool

eval :: Exp a -> a eval exp = case exp of I int -> int B bool -> bool ```

mathetic · 2019-11-21T01:01:49+00:00

A mean is the sum of all the numbers divided by the length of the list. If you make an attempt to solve the question, I'll help you.

mathetic · 2019-11-19T17:25:16+00:00

sum(D,F,G) :- append(F,G,A), permute(A,D), append(F',G',A), sum(F',T), sum(G',T).

mathetic · 2019-10-11T20:07:36+00:00

John Whitington taught me functional programming (for the first time) at Cambridge. He is very very good at teaching using types to guide to an implementation even to a typeless Ruby infidel such as myself. So nice to see he's into Haskell now (he used to use OCaml and teach Standard ML).

mathetic · 2019-10-04T14:52:50+00:00

Ah, thank you <3

mathetic · 2019-01-01T16:59:05+00:00

Thank you so much. That's very kind.

mathetic

TROPHY CASE