axisofeval.blogspot.com
The Axis of Eval: When I hear of a LISP success in industry
http://axisofeval.blogspot.com/2012/11/when-i-hear-of-lisp-success-in-industry.html
Manuel Simoni's blog about programming (languages). Thursday, November 8, 2012. When I hear of a LISP success in industry. Posted by Manuel Simoni. Subscribe to: Post Comments (Atom). This PLT Life moved. When I see three layers of weird DSLs for configur. When everybody and their dog writes a poor OOP cri. When I read a discussion about Scheme fundamentals. When the designers of a bad language decide to add. When someone shows me their implementation of McCa. When I hear of a LISP success in industry.
axisofeval.blogspot.com
The Axis of Eval: Mixing first-order and higher-order control
http://axisofeval.blogspot.com/2012/09/mixing-first-order-and-higher-order.html
Manuel Simoni's blog about programming (languages). Thursday, September 6, 2012. Mixing first-order and higher-order control. It's desirable for a language to support exceptions. Adding Delimited and Composable Control to a Production Programming Environment. I've found a tractable way to implement these features in the language I'm currently working on, Wat. My approach is to totally separate first-order control from higher-order control. There is a set of Common Lisp-like first-order forms:. Ordinary c...
axisofeval.blogspot.com
The Axis of Eval: When everybody and their dog writes a poor OOP critique
http://axisofeval.blogspot.com/2012/11/when-everybody-and-their-dog-writes.html
Manuel Simoni's blog about programming (languages). Thursday, November 15, 2012. When everybody and their dog writes a poor OOP critique. Posted by Manuel Simoni. Subscribe to: Post Comments (Atom). This PLT Life moved. When I see three layers of weird DSLs for configur. When everybody and their dog writes a poor OOP cri. When I read a discussion about Scheme fundamentals. When the designers of a bad language decide to add. When someone shows me their implementation of McCa. Kazimir Majorinc's Lisp Notes.
axisofeval.blogspot.com
The Axis of Eval: Taf's translation to O'Caml for type-checking
http://axisofeval.blogspot.com/2013/02/tafs-translation-to-ocaml-for-type.html
Manuel Simoni's blog about programming (languages). Friday, February 1, 2013. Taf's translation to O'Caml for type-checking. Is my new vapor-Lisp with row polymorphism, delimited continuations, and hygienic macros. Warning: incoherent rambling ahead! All Taf objects are encoded as O'Caml objects. There is one O'Caml class for each Taf class. All classes inherit from a top class. Interfaces (method suites) are also defined as O'Caml classes. Any object can be statically upcast. O'Caml's is basically that ...
axisofeval.blogspot.com
The Axis of Eval: A quasiquote I can understand
http://axisofeval.blogspot.com/2013/04/a-quasiquote-i-can-understand.html
Manuel Simoni's blog about programming (languages). Sunday, April 28, 2013. A quasiquote I can understand. I've written two Lisps ( 1. And in both, quasiquotation was the most difficult thing to implement, and gave me the most headaches. That shouldn't be, right? After all, it only creates new forms. I think now I've found a formulation for quasiquote that has a really simple implementation, and yields more or less the same results as existing quasiquote implementations. For example, given. Which produce...
axisofeval.blogspot.com
The Axis of Eval: Attack of the Monadic Morons
http://axisofeval.blogspot.com/2014/06/attack-of-monadic-morons.html
Manuel Simoni's blog about programming (languages). Sunday, June 22, 2014. Attack of the Monadic Morons. Deleted. To be replaced with a proper rant at another time.]. Posted by Manuel Simoni. Sun Jun 22, 09:33:00 PM GMT 2. Sun Jun 22, 10:06:00 PM GMT 2. With you on this. Ive stopped listening to several interesting people because I could no longer stand the deluge of snide and derogatory remarks about anything not deemed sufficiently like Haskell. Sun Jun 22, 10:28:00 PM GMT 2. Was criticizing types; Mic...
axisofeval.blogspot.com
The Axis of Eval: Current project
http://axisofeval.blogspot.com/2013/01/current-project.html
Manuel Simoni's blog about programming (languages). Monday, January 14, 2013. In my quest for a good Lisp, I could no longer ignore static types. See Taf - A plan for a statically-typed Lisp. There shouldn't be any difficult roadblocks, so I expect a release sometime in or before summer. Posted by Manuel Simoni. What do you think about a statically typed Common Lisp? Id love to see something like that, probably plugglable types, changing the underlying language as slightly as possible. In the generated M...
axisofeval.blogspot.com
The Axis of Eval: Green threads in the browser in 20 lines of Wat
http://axisofeval.blogspot.com/2013/05/green-threads-in-browser-in-20-lines-of.html
Manuel Simoni's blog about programming (languages). Thursday, May 9, 2013. Green threads in the browser in 20 lines of Wat. Shows 5 independent, cooperatively scheduled Wat. Green threads (view source for full Wat code). Each thread has an ID and is defined as a function that loops forever, repeatedly printing its ID, and then sleeping for a (randomly long) while. So, how can a Wat thread sleep inside a loop when JavaScript forbids sleeping? Why, with good ole delimited continuations. So, first, SLEEP ab...
axisofeval.blogspot.com
The Axis of Eval: Wat: now in Perl, Python, and Ruby, too
http://axisofeval.blogspot.com/2013/05/wat-now-in-perl-too.html
Manuel Simoni's blog about programming (languages). Wednesday, May 29, 2013. Wat: now in Perl, Python, and Ruby, too. I'm delighted somebody by the name of "shadowcat-mst" has taken my Wat. Interpreter and reimplemented it in Perl. That really seems fitting. Wat now covers JavaScript and Perl - think of the possibilities! Piotr Kuchta ported Wat to Python. Victor Hugo Borja ported Wat to Ruby. Posted by Manuel Simoni. Subscribe to: Post Comments (Atom). Wat: now in Perl, Python, and Ruby, too.
axisofeval.blogspot.com
The Axis of Eval: Having both fexprs and macros
http://axisofeval.blogspot.com/2012/09/having-both-fexprs-and-macros.html
Manuel Simoni's blog about programming (languages). Saturday, September 8, 2012. Having both fexprs and macros. Lexically-scoped fexprs and first-class environments. Make it simple to do hygienic metaprogramming. Than hygienic macro systems, and they also require less concepts in the language: there is no need to specify a preprocessing phase. In my new language, Wat. Related to the SCM Scheme implementation. With a bit of sugar, one can write macros that look almost like in Common Lisp:. Oh, and it shou...
SOCIAL ENGAGEMENT