7 ms·
I'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 thi
by hwayne 8mo ago
I'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.