10 ms·
I always come back to prolog to tool around with it but haven’t done a ton. Bidirectionality has always been super fascinating. Didn’t know about Picat. 100%
by doorhammer 8mo ago
I always come back to prolog to tool around with it but haven’t done a ton.
Bidirectionality has always been super fascinating.
Didn’t know about Picat. 100% going to check it out.
- hwayne 8mo agoI'll warn you that Picat is very much a "research language" and a lot of the affordances you'd expect with a polished PL just aren't there yet. There's also this really great "field notes" repo from another person who learned it: https://github.com/dsagman/picat https://github.com/dsagman/picat
- doorhammer 8mo agoTotally fair. Realistically “check it out” means I’ll probably spin up an env and try modeling a few things to see how it feels. I’m mostly a language tourist they likes kicking the tires on modes of modeling problems that feel different to my brain. Started skimming those notes. Really solid info. Appreciate it!
- doorhammer 8mo agoSide note: Just clocked your name. Read through Practical TLA+ recently modeling a few things at work. Incredibly helpful book for working through my first concrete model in practice.