Shen

You're welcome. M. On Thursday, 19 December 2024 at 16:37:11 UTC david.pau...@gmail.com wrote:

You still need to handle TCO, what you don't need to take care of anymore is partial function

This is an approach I want to try wrt formal methods in Shen. It will integrate THORN and the type

A slightly faster version from THORN 12. I picked up some interpreted function calls in the KL object

Thanks for the feedback. It was Markus Triska who organized the meetup. He works at the Austrian

I finished my autobiography at the end of last month and part of it was on AI. Some scientists

I should explain that right now I am being treated with a powerful antifungal. Medicine has finally

It's an autobiography, written as a series of letters to a Russian poet, Tatiana Semionova. Mark

As far as FFI is concerned; this depends on the host port. Wrt concurrent processing, there is a good

I don't exactly know what Deech did. There was a REPL with 21 but maybe he had good reason to

I've always been curious to know. I'll try to add call/cc to Scryer Shen eventually. SML

Yes; except they never really parted at a fundamental level. If you look at the history of a lot of

I'll be tuning in to the channel. Not sure if/when i'll read the book you're referring to

(is this group OK with resurrecting old threads?) In the unix world, its probably one of the most

I've posted the article: https://github.com/mthom/scryer-shen/wiki/Some-novel-features-of-Scryer-

This is a bugfix due to a name clash problem introduced in S39. Spotted by Bruno. Mark

I guess some of you have been following the immigration riots in the UK and the chilling attempt by

On Mon, Aug 5, 2024 at 2:05 PM Joel McCracken <mccrack...@gmail.com> wrote: Thanks. I'

I have written to him, so we'll see. Mark On Fri, Jul 26, 2024 at 6:07 PM Joel McCracken <

That sounds a very useful and interesting project. Mark On Monday 22 July 2024 at 18:49:39 UTC+1

This is something I've been planning for some time and pencilled in after all the SP related

Just finished, and I really like this style of video! I may have a chance to try the tk lib soon, I

Gotcha, thank you very much! On Wed, Jul 17, 2024 at 2:24 AM dr.mt...@gmail.com <dr.mtarver@gmail.

Thanks for the tip. When I downloaded ActiveTcl, they generate a custom install file for you. I had

I'm taking a holiday break next week and will leave you all in the capable hands of the

I made a few adjustments to the download - mainly a packaging issue. Should be good now. There'

Looking at your examples, I think your complaint is that just raising a string at the point of error

Meaning kernel 39, library version 2. Plugins are going into the Shen/tk IDE which can be downloaded

Closing this thread. I'm now through this problem and nearing completion of the IDE which is 457

Now reaching the end of development; 450 lines; typechecked in 87841 inferences under S39. Mark On