Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Shen
Conversations
About
Shen
1–30 of 2539
This is the forum for the Shen programming language.
Mark all as read
Report abusive group
0 selected
Mark Tarver
Jun 17
Module 1.0 Introduction to Functional Programming
We're still on level one courses and in this module I step back to 1.0 to introduce functional
unread,
Module 1.0 Introduction to Functional Programming
We're still on level one courses and in this module I step back to 1.0 to introduce functional
Jun 17
Mark Tarver
,
Boring Coder
2
Jun 9
Shen Education Channel goes live on Youtube
watched, shared, subscribed and liked. On Thursday, June 9, 2022 at 1:18:48 PM UTC+1 Mark Tarver
unread,
Shen Education Channel goes live on Youtube
watched, shared, subscribed and liked. On Thursday, June 9, 2022 at 1:18:48 PM UTC+1 Mark Tarver
Jun 9
Bruno Deferrari
, …
Mark Tarver
5
Jun 9
[ANN] Shen/Scheme v0.25 (using S-kernel 31)
This is now on the download page. Mark On Thursday, 2 June 2022 at 10:07:52 UTC+1 nha...@gmail.com
unread,
[ANN] Shen/Scheme v0.25 (using S-kernel 31)
This is now on the download page. Mark On Thursday, 2 June 2022 at 10:07:52 UTC+1 nha...@gmail.com
Jun 9
nha...@gmail.com
,
Mark Tarver
2
Jun 7
Type of =
there is a variant of = which is == which does have the type (A --> B --> boolean) M. On Monday
unread,
Type of =
there is a variant of = which is == which does have the type (A --> B --> boolean) M. On Monday
Jun 7
Mark Tarver
, …
emum
3
Jun 1
Shen based open education in computing
Same :) No rush at all, but does there happen to be an eta for when the channel will go up?
unread,
Shen based open education in computing
Same :) No rush at all, but does there happen to be an eta for when the channel will go up?
Jun 1
Mark Tarver
,
Bruno Deferrari
2
May 21
Shen 32.01 released
New version of the Shen sources on GitHub and Shen/Scheme was just released to include this fix. On
unread,
Shen 32.01 released
New version of the Shen sources on GitHub and Shen/Scheme was just released to include this fix. On
May 21
Mark Tarver
,
emum
3
May 19
fork in Shen Prolog
SD has been corrected Mark On Thursday, 19 May 2022 at 23:14:21 UTC+1 emum wrote: Thanks dr. tarver.
unread,
fork in Shen Prolog
SD has been corrected Mark On Thursday, 19 May 2022 at 23:14:21 UTC+1 emum wrote: Thanks dr. tarver.
May 19
Luiz de Milon
,
Mark Tarver
2
May 14
Book of Shen
No; TBoS is a published work available as hardcopy and as an online resource with a searchable index
unread,
Book of Shen
No; TBoS is a published work available as hardcopy and as an online resource with a searchable index
May 14
emum
, …
Mark Tarver
11
May 9
What's wrong with this function?
This isn't really parametric polymorphism but polyadicity. In logic a relation should have a
unread,
What's wrong with this function?
This isn't really parametric polymorphism but polyadicity. In logic a relation should have a
May 9
Mark Tarver
,
emum
5
May 9
the Path Forward - education, mindshare, new technology
Should be good to go on this phase next month - illness knocked my timetable out a bit leaving me
unread,
the Path Forward - education, mindshare, new technology
Should be good to go on this phase next month - illness knocked my timetable out a bit leaving me
May 9
Mark Tarver
, …
emum
7
May 1
illness
Right; I was actually diagnosed with pneumonia plus norovirus plus either pleurisy or strained
unread,
illness
Right; I was actually diagnosed with pneumonia plus norovirus plus either pleurisy or strained
May 1
nha...@gmail.com
,
Mark Tarver
2
Mar 29
Type checker user interface and error reporting
Type checking in Shen is nondeterministic and the problems of modelling the computation for humans is
unread,
Type checker user interface and error reporting
Type checking in Shen is nondeterministic and the problems of modelling the computation for humans is
Mar 29
emum
,
Mark Tarver
2
Mar 27
quick shen prolog syntax check please
(prolog? (findall [XY] (myappend XY [1 2 3 4 5 6]) W) (return W)) Mark On Sunday, 27 March 2022 at 09
unread,
quick shen prolog syntax check please
(prolog? (findall [XY] (myappend XY [1 2 3 4 5 6]) W) (return W)) Mark On Sunday, 27 March 2022 at 09
Mar 27
emum
, …
Mark Tarver
3
Mar 23
Is there a location where I can track the roadmap for Shen?
I'll say a bit more next month on this topic. Mark On Wednesday, 16 March 2022 at 13:27:53 UTC
unread,
Is there a location where I can track the roadmap for Shen?
I'll say a bit more next month on this topic. Mark On Wednesday, 16 March 2022 at 13:27:53 UTC
Mar 23
emum
, …
Mark Tarver
5
Mar 14
Is S32 compatible with SBCL 2.2.2?
Works now, thank you!
unread,
Is S32 compatible with SBCL 2.2.2?
Works now, thank you!
Mar 14
Mark Tarver
,
Bruno Deferrari
4
Mar 2
rt censorship
Anybody in the UK can follow RT on https://odysee.com/@RT:fd Mark On Tuesday, 1 March 2022 at 21:08:
unread,
rt censorship
Anybody in the UK can follow RT on https://odysee.com/@RT:fd Mark On Tuesday, 1 March 2022 at 21:08:
Mar 2
Raoul Duke
Feb 25
Watch "Landshark - SNL" on YouTube
https://youtu.be/p_NS2H55dxI
unread,
Watch "Landshark - SNL" on YouTube
https://youtu.be/p_NS2H55dxI
Feb 25
Joel McCracken
,
Mark Tarver
2
Feb 17
Introducing myself, a few introductory questions
You're very welcome. I cannot myself guarantee to answer all your questions but there is at least
unread,
Introducing myself, a few introductory questions
You're very welcome. I cannot myself guarantee to answer all your questions but there is at least
Feb 17
Mark Tarver
3
Feb 15
Logic Lab
I've actually done this before but in a different way and not provably sound and not from KLambda
unread,
Logic Lab
I've actually done this before but in a different way and not provably sound and not from KLambda
Feb 15
Mark Tarver
Feb 15
SP upgraded to S32
SP has been upgraded to S32 and everybody should have had an email. Mark
unread,
SP upgraded to S32
SP has been upgraded to S32 and everybody should have had an email. Mark
Feb 15
Mark Tarver
Feb 11
S32 is now out
Pre-compiled binaries under Windows with standard library also available. Mark
unread,
S32 is now out
Pre-compiled binaries under Windows with standard library also available. Mark
Feb 11
Raoul Duke
,
Jacob MacDonald
2
Feb 10
anybody looked at graalvm recently?
The last Graal-thing I saw was a 2019 demo using Smalltalk. It's a slick environment that I have
unread,
anybody looked at graalvm recently?
The last Graal-thing I saw was a 2019 demo using Smalltalk. It's a slick environment that I have
Feb 10
Raoul Duke
Jan 31
a new target for Shen :-)
LISP with GC in 436 bytes https://justine.lol/sectorlisp2/
unread,
a new target for Shen :-)
LISP with GC in 436 bytes https://justine.lol/sectorlisp2/
Jan 31
Mark Tarver
Jan 28
Great British Bookshop
A couple of people have ordered TBoS from the Great British Bookshop and their copies did not arrive.
unread,
Great British Bookshop
A couple of people have ordered TBoS from the Great British Bookshop and their copies did not arrive.
Jan 28
Mark Tarver
Jan 25
S32 imminent
This new release improves the performance of the type checker by 55% and eliminates a bug. Mark
unread,
S32 imminent
This new release improves the performance of the type checker by 55% and eliminates a bug. Mark
Jan 25
Mark Tarver
Jan 20
Shen with batteries included
Shen binaries for Windows under SBCL and CLisp with the Standard Library built in are now available
unread,
Shen with batteries included
Shen binaries for Windows under SBCL and CLisp with the Standard Library built in are now available
Jan 20
Mark Tarver
Jan 9
a recess
My 8 core water cooled computer has developed a problem with the CPU fan and may need the pump looked
unread,
a recess
My 8 core water cooled computer has developed a problem with the CPU fan and may need the pump looked
Jan 9
Jacob
, …
Mark Tarver
12
Jan 7
Scryer Prolog
That program is of course using occurs check unification. A faster annotated program avoids using
unread,
Scryer Prolog
That program is of course using occurs check unification. A faster annotated program avoids using
Jan 7
Mark Tarver
12/27/21
programs to LPC
If your logic needs a brush-up, get Logic, Proof and Computation to learn the logical theory behind
unread,
programs to LPC
If your logic needs a brush-up, get Logic, Proof and Computation to learn the logical theory behind
12/27/21
huibou
,
Mark Tarver
2
12/23/21
Some questions about Shen
2. If i load the standard library as stated in the README.txt with (load "install.shen") i
unread,
Some questions about Shen
2. If i load the standard library as stated in the README.txt with (load "install.shen") i
12/23/21