Hi, all. Originally search something about static typing lisp and then go along a post in stackoverflow and finally come here.
It is impressive that a language can run on so many platforms. Never hear any other have done that.
The most innovative part of shen I think is the type system. It seems to be programmable.
Frankly speaking, I don't really understand it. Going through the tutorial give me some sense that it is like Haskell type system,
but the 'if' part in the type declaration hook me to think how far it could go and what the limitation is.
By the way, I tried shen on the node(linux) version. The output didn't show the type as what is written in 15mins guide.
I understand that things are not stable and complete. Let me know which is the most preferred platform.
The main thing I want to say in this post is that in day to day use, a single word shen(神) simply means God, not spirit.
If one want to refer to consciousness, we would say jingshen(精神). The meaning and usage is similar to "In spirit of somebody, ..." in English.
On the contrary, spirit sometimes refer to ghost in English, but in Chinese, there is never have that meaning associated with shen(神) as it means God.
I am born and live in Hong Kong, I know all these things. It is quite ambitious to name a programming language shen.
It sounds to me that this language is omnipotent. If that is what you want to mean, good! =]
By the way, I found that there is a discussion of what the programmers of shen should be named.
I have an suggestion. We may call them shenren(神人). ren(人) means human.
This is a modern and informal term to name a person who is very skillful to an extent no one know how he makes it, say being like a God.
This term is common in Taiwan, Hong Kong area, maybe also in Japan. I am not sure.
Even though one have never hear shenren, one should be able to guess the same meaning given one has a Chinese language usage background.
Regards
Jack