Shen

We're still on level one courses and in this module I step back to 1.0 to introduce functional

watched, shared, subscribed and liked. On Thursday, June 9, 2022 at 1:18:48 PM UTC+1 Mark Tarver

This is now on the download page. Mark On Thursday, 2 June 2022 at 10:07:52 UTC+1 nha...@gmail.com

there is a variant of = which is == which does have the type (A --> B --> boolean) M. On Monday

Same :) No rush at all, but does there happen to be an eta for when the channel will go up?

New version of the Shen sources on GitHub and Shen/Scheme was just released to include this fix. On

SD has been corrected Mark On Thursday, 19 May 2022 at 23:14:21 UTC+1 emum wrote: Thanks dr. tarver.

No; TBoS is a published work available as hardcopy and as an online resource with a searchable index

This isn't really parametric polymorphism but polyadicity. In logic a relation should have a

Should be good to go on this phase next month - illness knocked my timetable out a bit leaving me

Right; I was actually diagnosed with pneumonia plus norovirus plus either pleurisy or strained

Type checking in Shen is nondeterministic and the problems of modelling the computation for humans is

(prolog? (findall [XY] (myappend XY [1 2 3 4 5 6]) W) (return W)) Mark On Sunday, 27 March 2022 at 09

I'll say a bit more next month on this topic. Mark On Wednesday, 16 March 2022 at 13:27:53 UTC

Works now, thank you!

Anybody in the UK can follow RT on https://odysee.com/@RT:fd Mark On Tuesday, 1 March 2022 at 21:08:

https://youtu.be/p_NS2H55dxI

You're very welcome. I cannot myself guarantee to answer all your questions but there is at least

I've actually done this before but in a different way and not provably sound and not from KLambda

SP has been upgraded to S32 and everybody should have had an email. Mark

Pre-compiled binaries under Windows with standard library also available. Mark

The last Graal-thing I saw was a 2019 demo using Smalltalk. It's a slick environment that I have

LISP with GC in 436 bytes https://justine.lol/sectorlisp2/

A couple of people have ordered TBoS from the Great British Bookshop and their copies did not arrive.

This new release improves the performance of the type checker by 55% and eliminates a bug. Mark

Shen binaries for Windows under SBCL and CLisp with the Standard Library built in are now available

My 8 core water cooled computer has developed a problem with the CPU fan and may need the pump looked

That program is of course using occurs check unification. A faster annotated program avoids using

If your logic needs a brush-up, get Logic, Proof and Computation to learn the logical theory behind

2. If i load the standard library as stated in the README.txt with (load "install.shen") i