3 ms·
TypeScript, Dart, and Stanza all started attacking optional typing at around the same time. Our approaches differ though. Stanza believes fundamentally in nomi
by 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 agoStanza 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 agoThanks for clarifying the difference - I'm very excited to see where Stanza is used and where it goes.