DEV Community

Discussion on: Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3

Collapse
 
bcardiff profile image
Brian J. Cardiff

Wow. I didn't think mine deserves that attention. I am happy it helped you learn some bit of Crystal.

I didn't put a lot of thought on the organization. I was more eager to make some experiments with Z3.

Definitely +1 for namespaces and your approach of safer expressions.

Mapping two different worlds it definitely deserves attention and design. I have experimented on bring together Tcl/Tk, Cocoa, Prolog, Z3 with Crystal. All of them has some notion of types or ast that are usually represented by an opaque pointer yet not everything can be combined together. Since these experiments were not aimed to be consumed they lack some attention to the design.

I am very happy there is another person willing to play with Z3 and Crystal. This series made my week 💙

Your repo is more about a log of this series. Let me know if you are interested in maintaining a shard of this. If not, maybe in the future I could grab some of the ideas you present here. But I am happy to collaborate in this regard and make Z3/SMT more approachable for Crystallers.

Collapse
 
taw profile image
Tomasz Wegrzanowski

Yeah, the repo is just a log right now, I wasn't really sure if it's going to work out, or crash and burn. I think I'll move the per-episode code to another repo, and use crystal-z3 for a proper shard.