Viewing profile — mthom

thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog ! some exciting plans in th…

I've spinning up a new Shen implementation from scratch, in Racket, which integrates directly with my Prolog implementation, Scryer Prolog: https://github.com/mthom/scryer-shen/ Se…

not interested unless it is about the 80s indie pop band

The cat that pamphlet is about, Nightlife Mingus: http://achewood.com/?date=06202003

The ISO standard does not yet say anything about FFIs. I've heard that SWI's FFI is hampered by its garbage collection somehow. Since I'm working on a GC for Scryer now, it's proba…

No FFI yet, no. I'll first try to adapt LispWork's Foreign Language Interface by writing a compatibility layer for Rust. If that goes well, I'll begin to explore writing a Common L…

I'm planning version 0.9.0 soon. From there I hope to get back to a regular release schedule.

You don't mind if I port Thun to Scryer Prolog, do you? With full credit to you, of course. I'd like to include it as an example.

Scryer is not yet as fast or feature-rich as SWI. SWI has been in business for about 30 years longer, so that shouldn't surprise anyone. Also, Scryer is committed to strict conform…

Yes, thank you for the Power of Prolog! Scryer was and is being written under its influence.

Decently, I'd say. It is a single executable that you have to build yourself. If you want a recent build, there are a few extra steps, but they're nbd. There are build instructions…

Some coming features of Scryer Prolog for those interested: - Automatic detection and compilation of partial strings - Streams, including sockets - Garbage collection in anticipati…

To be clear, the "automatically caught" exception Markus lists in his integer_si example was caught and displayed by the Scryer toplevel.

> I'm not sure what's more amusing/depressing: that these people believe any shift on the order of magnitude the book described in the article predicts will permit continued functi…

Thanks!

> I'm guessing the Prolog compiler is super complex compared to, say, a C compiler to be able to give developers that much power. They're not that complex. I'm writing one from scr…

No, and I have no idea what sort of legal can of worms that might open.

I took a break from working on it over the summer, and am about to start again. If anyone would like to pay me to work on it full time, do let me know.

Definitely, yeah. I'd hate to be tasked with creating an interface between SWI and SBCL. I would quickly go mad. Not that it will be a cakewalk with Rust, necessarily, but Scryer i…

Yes, that's right. Scryer as in scry-ing, the practice of gazing into crystals to communicate with spirits. I wish I'd thought of a better name but it's too late now.

Implementer here. I haven't set out to "implement an existing thing." Rather, the project is a combination of certain existing things that up to now haven't been available together…

Wonderful and inspiring work! I wonder if it would be possible to create a similar interop story with the Rust programming language, which also targets LLVM -- ideally without havi…

It is almost as though, prior to blockchain, nobody had conceived the idea of a distributed spreadsheet.

The title could really benefit from an Oxford comma.