Shen kata: type-safe reference cells

[Mark Thom]

I've started a blog which will contain various exercises ("katas") in Shen, mostly to introduce the language to people

without overwhelming them.

The link is below. I'd ask that you please *NOT* post the link elsewhere until I've had the opportunity to receive 

sufficient feedback on the writing and accuracy of technical statements, to incorporate suggestions from others

in the community, etc. Thanks.

http://mthom.github.io/blog/2015/06/08/shen-kata-1-type-safe-reference-cells/

[Artella Coding]

Wow thanks for taking the time to write a detailed post like that. 

A section (maybe in an appendix) on using spy+ to track the inferences made by shen (and an explanation of what each output at each step means) would be useful, since when one makes an error in the sequent rules one invariably has to resort to using spy+ to debug.

[Mark Tarver]

Very good;  I'll put this up as a resource.  Might I suggest putting this link on comp.lang.functional when you're happy?   Or even a video?

A lot of people don't really understand Shen.  

Small note; unit is actually built into Shen as a type - though this probably does not affect your program.

Mark

[Mark Thom]

I may talk about spy in a future post. 

Mark, how do you produce the default unit value? I'd like to use that instead.

[Mark Thom]

Never mind, I found it in the BoS. unit is uninhabited.

[Mark Thom]

OK, I corrected the bit about unit types. I'm fine with the link being posted wherever.

[Mark Tarver]

unit is produced by certain functions like read and read-file to return objects whose type is unknown;  these objects can be printed etc. but not manipulated by any type specific operation.

Mark