trilema.com
No Such lAbs (S.NSA), July 2015 Statement on Trilema - A blog by Mircea Popescu.
http://trilema.com/2015/no-such-labs-snsa-july-2015-statement
Mentula cum doleat imperio, tibi, lector, culus. Non sum diuinus, sed scio quid facias. No Such lAbs (S.NSA), July 2015 Statement. Wednesday, 05 August, Year 7 d.Tr. Author: Mircea Popescu. SNSA incoming and outgoing. SNSA has a total of 4`737`075 authorised shares outstanding. The total assets per share implied value is thus 0.00009980 BTC. The cash tangible assets per share implied value is thus 0.00009804 BTC. SNSA has Special Stock Warrants outstanding issued as per the IPO agreement, as follows :.
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...