just did a map using two lists as input! logic programming is cooool
having fun playing with makam:
Conversation
How is your experience using makam so far? Does it feel polished/feature complete? How is the dev experience?
1
Pretty good! There's quite a bit of polish that needs to be done - but it's definitely usable and the author is pretty responsive on the issue tracker and on email. Some of the main issues are the limited docs, and poor error reporting (only one error reported at a time).
1
I'd also say the lack of mode and determinism checking, can be annoying at times in a logic language - this can lead to sometimes running into proof searches that never terminate. The namespace/module system could also do with some work.
1
But yeah, it's a single-person effort, and it's been very helpful so far. I also very much like that I can install it using Yarn rather than Opam (the latter has a pretty awful dev experience).
1
This is what I have so far of my Makam work, if you're interested:
