4 ms·

This looks great. I'm not sure if the optional type system is particularly novel, TypeScript[0] introduced optional typing a few years ago, although it compiles

This looks great. I'm not sure if the optional type system is particularly novel, TypeScript[0] introduced optional typing a few years ago, although it compiles down to JavaScript. I'm still excited to see it being a feature of a brand new language, and everything else about this language seems very exciting to me! [0] http://www.typescriptlang.org/ http://www.typescriptlang.org/

patricksli 10y ago
TypeScript, Dart, and Stanza all started attacking optional typing at around the same time. Our approaches differ though. Stanza believes fundamentally in nominal typing as opposed to structural typing, and also views types as contracts on its behaviour rather than on its structure. Only time will tell which approach is the best one. But we are very happy with how our design choices have panned out.
- eggy 10y ago
  Stanza looks very interesting. I'll have to check it out. Thanks! Shen allows you to turn the type checker on or off: (tc +) (tc -) You can leave your type signatures in the code when you turn them off, and when tc is on you only need a type in the top level of your function. It has a fully functional Prolog engine built in, and it supports optional lazy evaluation too. Great talk by Aditya Siram Sept 2014 Strange Loop talk introducing Shen [2]. Shen has been ported to many languages, since it only requires porting the 46 primitive instruction set, called Klambda. Shen has been ported to CL (SBCL), Ruby, JavaScript, Haskell and even Emacs Lisp. [1] http://shenlanguage.org/ http://shenlanguage.org/ [2] https://www.youtube.com/watch?v=lMcRBdSdO_U https://www.youtube.com/watch?v=lMcRBdSdO_U
- whoisthemachine 10y ago
  Thanks for clarifying the difference - I'm very excited to see where Stanza is used and where it goes.
doublec 10y ago
Dylan [1] has a very similar type system to Stanza and has been around for a while. Stanza looks a lot like what a modern incarnation of Dylan would look like. [1] http://opendylan.org/ http://opendylan.org/
- patricksli 10y ago
  Dylan was way ahead of its time. Now is the time to bring many of its contributions into the light again.

patricksli 10y ago

TypeScript, Dart, and Stanza all started attacking optional typing at around the same time. Our approaches differ though. Stanza believes fundamentally in nominal typing as opposed to structural typing, and also views types as contracts on its behaviour rather than on its structure. Only time will tell which approach is the best one. But we are very happy with how our design choices have panned out.

eggy 10y ago
Stanza looks very interesting. I'll have to check it out. Thanks! Shen allows you to turn the type checker on or off: (tc +) (tc -) You can leave your type signatures in the code when you turn them off, and when tc is on you only need a type in the top level of your function. It has a fully functional Prolog engine built in, and it supports optional lazy evaluation too. Great talk by Aditya Siram Sept 2014 Strange Loop talk introducing Shen [2]. Shen has been ported to many languages, since it only requires porting the 46 primitive instruction set, called Klambda. Shen has been ported to CL (SBCL), Ruby, JavaScript, Haskell and even Emacs Lisp. [1] http://shenlanguage.org/ http://shenlanguage.org/ [2] https://www.youtube.com/watch?v=lMcRBdSdO_U https://www.youtube.com/watch?v=lMcRBdSdO_U
whoisthemachine 10y ago
Thanks for clarifying the difference - I'm very excited to see where Stanza is used and where it goes.

doublec 10y ago

Dylan [1] has a very similar type system to Stanza and has been around for a while. Stanza looks a lot like what a modern incarnation of Dylan would look like. [1] http://opendylan.org/ http://opendylan.org/

patricksli 10y ago
Dylan was way ahead of its time. Now is the time to bring many of its contributions into the light again.