"Shen: A Sufficiently Advanced Lisp" by Aditya Siram

Shen is an hosted Lisp that comes with a full-featured macro system, a Prolog, an optional type system more powerful than Haskell's, and does it all in under 5000 lines of code. It has been ported to many platforms including Java, JavaScript and Ruby.
In the true Lisp spirit it gives complete freedom to the programmer. And this talk will introduce the language by demoing a complete web-application written in Shen that transitions effortlessly between functional, logic, and imperative styles, seamlessly intermixing macros, statically verified and dynamic code.
by Aditya Siram (@deech)
I am currently a web developer at Intoximeters, Inc. in St. Louis, Missouri. I do Ruby and JavaScript by day and Haskell and C by candlelight.

[@carnelyve866]

WOW. The most exciting introduction to a language that I have ever seen.

[@theodorberza9933]

+rofako akeme Watch "Structure and Interpretation of Computer Programs".

[@carnelyve866]

Theodor Berza
I have already. But shen is much more powerful that lisp and scheme. It has a turing complete type system. What I see here is the most typesafe json parser I have ever seen.

[@badradish2116]

"i dunno, maybe you /do/ want to launch missiles - this is lisp, this is not haskell."

[@yash1152]

1:55 ohkay, thats some haskell stuff there. nice.

[@NawfalHasan]

Is there source code of this talk somewhere?

[@BenSima]

+Nawfal Hasan kinda : github.com/deech/StrangeLoop2014ShenTalk

[@1210divs]

34:54 - I guess the actual question here was whether Shen does type checking statically or at runtime?
This is important because it dictates whether my IDE can point out type errors to me or not.
An ideal language would check as much as possible at compile time, and the rest at runtime.
Where does Shen stand on this spectrum?
I'm definitely going to try it out, the talk was great, thank you!

[@yash1152]

15:51 watch lter

[@draakisback]

looks like he just took haskell and converted it to a lisp.