Posts By: Manuel J. Simoni
| Date | Post | Topic |
| 07/13/2012 | Try many different things | Language Implementation 101 |
| 06/05/2012 | Graphical languages of the Russian space program | Graphical languages of the Russian space program |
| 06/06/2012 | What's a non-graphical programming language, anyway? | Graphical languages of the Russian space program |
| 06/04/2012 | Two related links | Matthew Flatt on Racket Submodules |
| 05/31/2012 | Interactive Tutorial of the Sequent Calculus | Interactive Tutorial of the Sequent Calculus |
| 06/01/2012 | Point of view | Interactive Tutorial of the Sequent Calculus |
| 05/02/2012 | Common Lisp: The Untold Story | Common Lisp: The Untold Story |
| 05/04/2012 | Separate compilation | Common Lisp: The Untold Story |
| 05/06/2012 | Yes? | Common Lisp: The Untold Story |
| 04/26/2012 | Reminds me of fexprs | Why and How People Use R |
| 04/14/2012 | sums & products | Symmetry in type systems |
| 03/25/2012 | Rust | Retrospective Thoughts on BitC |
| 03/22/2012 | P2P doesn't seem that important anymore? | Disruptive PLT Revisited |
| 03/24/2012 | ACID | Disruptive PLT Revisited |
| 03/24/2012 | You seem to be implying that | Disruptive PLT Revisited |
| 03/15/2012 | Filtering system calls with a packet filtering language | Filtering system calls with a packet filtering language |
| 03/09/2012 | Examples of Lisp Code Typography | Examples of Lisp Code Typography |
| 03/05/2012 | What does focusing tell us about language design? | What does focusing tell us about language design? |
| 03/02/2012 | Adding Delimited and Composable Control to a Production Programming Environment | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/03/2012 | CouchDB | Massive Numbers of Actors vs. Massive Numbers of Objects vs. ???? |
| 03/02/2012 | Content-centric networking; Edge-side processing; Social network | Massive Numbers of Actors vs. Massive Numbers of Objects vs. ???? |
| 03/03/2012 | "Green" actors; MapReduce; Serializable continuations | Massive Numbers of Actors vs. Massive Numbers of Objects vs. ???? |
| 02/23/2012 | PLT humor on Twitter | PLT humor on Twitter |
| 02/24/2012 | Well, let me just say I'm | PLT humor on Twitter |
| 03/08/2012 | Content-addressing; Eventual consistency | Long rant on Erlang-style Actors: Lost Dimension |
| 02/26/2012 | Split stacks | Long rant on Erlang-style Actors: Lost Dimension |
| 02/18/2012 | Julia, a language for technical computing | Julia, a language for technical computing |
| 02/15/2012 | R7RS public comment period (June 30, 2012) | R7RS public comment period (June 30, 2012) |
| 02/20/2012 | Comments on draft 6 about call/cc | R7RS public comment period (June 30, 2012) |
| 02/04/2012 | Programming as collaborative reference | Programming as collaborative reference |
| 02/03/2012 | The Algebra of Data, and the Calculus of Mutation | The Algebra of Data, and the Calculus of Mutation |
| 01/27/2012 | PLT have BTDT | Syntax Desugaring Algorithm Question |
| 01/19/2012 | Visual Studio Achievements | Visual Studio Achievements |
| 01/02/2012 | <a href="deca#comment-68756" class="active">[Meta] /deca URL</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/06/2012 | Data archaeologists at Facebook | Programmer Archeologists |
| 11/25/2011 | Fexprs | Actors all the way down |
| 11/25/2011 | Open, extensible composition models | Actors all the way down |
| 11/30/2011 | Kernel | REPL-schmepl? |
| 12/02/2011 | JIT | REPL-schmepl? |
| 10/15/2011 | The Scheme shell; Es | Modern Shell Language |
| 10/14/2011 | Named parameters | "Crutches in language design", accidental complexity and feature overlap |
| 10/17/2011 | Solves a different problem | "Crutches in language design", accidental complexity and feature overlap |
| 10/14/2011 | Alexander Stepanov: STL and Its Design Principles (video) | Alexander Stepanov: STL and Its Design Principles (video) |
| 10/15/2011 | Inside Macintosh | Dennis Ritchie passed away |
| 10/10/2011 | Another nice overview | Google's Dart announced |
| 10/11/2011 | Why not covariant generics? | Google's Dart announced |
| 10/06/2011 | OOP | Open thread: RIP Steve Jobs |
| 10/07/2011 | In defense of event loops | Open thread: RIP Steve Jobs |
| 10/04/2011 | Scheme was specifically designed to be not "too useful" | Critical Programming Language Design |
| 09/10/2011 | Ye shall know them by their apps | What needs to be done? |
| 09/15/2011 | It's complicated | What needs to be done? |
| 09/08/2011 | Somewhat related | Replicated experiments in computer science |
| 09/04/2011 | "Partially evaluating" fexprs? | "Partially evaluating" fexprs? |
| 09/01/2011 | the gnu extension language | the gnu extension language |
| 09/05/2011 | Hygiene in Kernel | the gnu extension language |
| 09/05/2011 | (defmacro or (a b) ‘(let | the gnu extension language |
| 09/06/2011 | Hygiene is necessary | the gnu extension language |
| 09/06/2011 | Yes | the gnu extension language |
| 09/06/2011 | fexprs (frankenprogramming expressions) | the gnu extension language |
| 09/04/2011 | Delaying evaluation is only one aspect of macros | the gnu extension language |
| 09/05/2011 | Thanks | the gnu extension language |
| 09/08/2011 | I don't really see the point | Forum Topics and Story |
| 08/28/2011 | Google App Engine? | Opa |
| 08/24/2011 | A Monadic Framework for Delimited Continuations | A Monadic Framework for Delimited Continuations |
| 08/25/2011 | I think the model offered by | A Monadic Framework for Delimited Continuations |
| 08/30/2011 | static ontologies are really | Asynchronous messaging as integral part of programming language |
| 08/20/2011 | Get another book | Can somebody help me to understand some basic stuff about programming ? |
| 08/19/2011 | Delimited Continuations Blues? | Delimited Continuations Blues? |
| 08/19/2011 | Papers | Delimited Continuations Blues? |
| 08/25/2011 | That probably was and is (?) | New book on functional programming and games |
| 08/12/2011 | Generic procedures | The this argument in dynamic programming languages with OO and first-class functions |
| 08/22/2011 | Actually, the fact that | The this argument in dynamic programming languages with OO and first-class functions |
| 08/06/2011 | Programming and Scaling | Programming and Scaling |
| 08/07/2011 | MP4 | Programming and Scaling |
| 08/18/2011 | Homomorphic cryptography | Programming and Scaling |
| 08/22/2011 | tee hee hee | Programming and Scaling |
| 08/03/2011 | ECOOP 2011 slides | ECOOP 2011 slides |
| 07/29/2011 | This may be the first time | Clojurescript |
| 07/14/2011 | Implementor's guide/tutorial to delimited continuations? | Implementor's guide/tutorial to delimited continuations? |
| 07/15/2011 | Performance doesn't matter to me | Implementor's guide/tutorial to delimited continuations? |
| 07/21/2011 | "just functions"? | Implementor's guide/tutorial to delimited continuations? |
| 07/21/2011 | Ad-hoc polymorphism | Implementor's guide/tutorial to delimited continuations? |
| 07/21/2011 | Thanks; Delimited control in JS | Implementor's guide/tutorial to delimited continuations? |
| 07/19/2011 | Checking my understanding | The Last Language? |
| 05/24/2011 | The Architecture of Open Source Applications | The Architecture of Open Source Applications |
| 05/23/2011 | May 23, 1994 | Rob Pike: Public Static Void |
| 08/18/2011 | +1 | Coding at the Speed of Touch |
| 04/11/2011 | Where's my stylus? | Programming on an iPhone |
| 03/20/2011 | Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance | Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance |
| 03/23/2011 | Not your grandma's mainstream PL | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 04/02/2011 | Tool time | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/11/2011 | 2c | Namespaces for methods? |
| 03/14/2011 | Scopes are the issue | Namespaces for methods? |
| 03/15/2011 | As I understand it, the | Namespaces for methods? |
| 03/15/2011 | Ah! | Namespaces for methods? |
| 03/06/2011 | Keyword and Optional Arguments in PLT Scheme | Keyword and Optional Arguments in PLT Scheme |
| 03/18/2011 | Not too shabby, IMO | Keyword and Optional Arguments in PLT Scheme |
| 02/26/2011 | Parametric polymorphism an open issue | InfoQ video + transcript of Rob Pike on Go |
| 02/19/2011 | Tractatus Digito-Philosophicus | Tractatus Digito-Philosophicus |
| 02/14/2011 | Experience with non-linearized superclasses? | Experience with non-linearized superclasses? |
| 02/16/2011 | Hygiene is a no-brainer, IMHO | Extending Syntax from Within a Language |
| 02/16/2011 | Could you provide examples | Extending Syntax from Within a Language |
| 02/17/2011 | Precise names do exist | Extending Syntax from Within a Language |
| 02/17/2011 | Hygiene for the Unhygienic | Extending Syntax from Within a Language |
| 02/03/2011 | Macros that Work Together | Macros that Work Together |
| 01/08/2011 | Please never lock me out, not even for 50ms! | Fast Compilers |
| 01/12/2011 | Compiler-only bootstrap | Fast Compilers |
| 01/13/2011 | Sure | Fast Compilers |
| 01/13/2011 | I'm used to a more liberal definiton of bootstrap | Fast Compilers |
| 12/30/2010 | Sounds interesting | Request for feedback: Epoch Programming Language |
| 12/20/2010 | D | Interesting Standard Libraries to Study |
| 12/21/2010 | "Iterators must go" | Interesting Standard Libraries to Study |
| 12/21/2010 | Goo | Interesting Standard Libraries to Study |
| 01/07/2011 | My name is nobody | Stressed by Distributed Programming? Well, CALM Down. |
| 01/07/2011 | Availability doesn't always trump consistency | Stressed by Distributed Programming? Well, CALM Down. |
| 01/07/2011 | Posting another item | Stressed by Distributed Programming? Well, CALM Down. |
| 12/08/2010 | Semi-implicit batched remote code execution as staging | Semi-implicit batched remote code execution as staging |
| 12/08/2010 | Thanks | Semi-implicit batched remote code execution as staging |
| 12/14/2010 | +1 | Semi-implicit batched remote code execution as staging |
| 12/15/2010 | Channels | Semi-implicit batched remote code execution as staging |
| 12/07/2010 | Split stacks | Continuation-Passing C: Compiling threads to events through continuations |
| 12/05/2010 | Ghosts of Unix Past: a historical search for design patterns | Ghosts of Unix Past: a historical search for design patterns |
| 11/07/2010 | Don't forget link-time | Closures without function pointers |
| 10/09/2010 | First-class modules: hidden power and tantalizing promises | First-class modules: hidden power and tantalizing promises |
| 10/04/2010 | Anecdote on implementing hygiene | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 09/25/2010 | Omega - Language of the Future | Omega - Language of the Future |
| 09/25/2010 | Thanks | Omega - Language of the Future |
| 09/26/2010 | Why do type-level computations have to terminate? | Omega - Language of the Future |
| 09/27/2010 | Non terminating type-level -> Unsoundness? | Omega - Language of the Future |
| 09/27/2010 | Re: Epigram | Omega - Language of the Future |
| 09/20/2010 | Forms and LtU's origin in outlining software | Programming with touch? |
| 09/16/2010 | Sorry, but that seems like a red herring | Mildly Extended MixFix |
| 09/19/2010 | CLOS, then | Mildly Extended MixFix |
| 09/20/2010 | Pet peeve | Mildly Extended MixFix |
| 09/21/2010 | The men who stare at lines of code | Mildly Extended MixFix |
| 09/14/2010 | GADTs in a dynamically type-checked language? | GADTs in a dynamically type-checked language? |
| 09/14/2010 | Flying blind... | GADTs in a dynamically type-checked language? |
| 09/15/2010 | Exact runtime types | GADTs in a dynamically type-checked language? |
| 09/16/2010 | Confusing terminology | GADTs in a dynamically type-checked language? |
| 09/16/2010 | Different goals | GADTs in a dynamically type-checked language? |
| 09/14/2010 | untyped = dynamically type-checked (= unityped), no? | GADTs in a dynamically type-checked language? |
| 09/14/2010 | OK | GADTs in a dynamically type-checked language? |
| 09/16/2010 | Fields... | GADTs in a dynamically type-checked language? |
| 09/14/2010 | Yes | GADTs in a dynamically type-checked language? |
| 09/11/2010 | Fortifying Macros | Fortifying Macros |
| 09/11/2010 | Great, we didn't have a macro debate-fest in a while! | Fortifying Macros |
| 09/05/2010 | Do I need a forall if type parameters are syntactically distinguishable from type constructors? | Do I need a forall if type parameters are syntactically distinguishable from type constructors? |
| 09/07/2010 | Thanks | Do I need a forall if type parameters are syntactically distinguishable from type constructors? |
| 09/04/2010 | Dependency injection via parameterized types (?!) | Dependency injection via parameterized types (?!) |
| 09/04/2010 | Hm... | Dependency injection via parameterized types (?!) |
| 09/05/2010 | This isn't very flexible: | Dependency injection via parameterized types (?!) |
| 09/05/2010 | Compile-time and link-time optimizations | Dependency injection via parameterized types (?!) |
| 09/05/2010 | Static | Dependency injection via parameterized types (?!) |
| 09/05/2010 | Ah | Dependency injection via parameterized types (?!) |
| 09/05/2010 | Artefact of C# model? | Dependency injection via parameterized types (?!) |
| 09/08/2010 | CLR generics | Dependency injection via parameterized types (?!) |
| 08/31/2010 | Alice ML's SEAM | Choosing a VM for a concurrent language |
| 09/03/2010 | One ring to bind them? | Choosing a VM for a concurrent language |
| 09/04/2010 | Good examples? | Choosing a VM for a concurrent language |
| 09/04/2010 | Why a VM? | Choosing a VM for a concurrent language |
| 09/08/2010 | Dozens of pthreads | Choosing a VM for a concurrent language |
| 08/24/2010 | Andrew Kennedy | Articles on Precise GC with Parametric Polymorphism |
| 08/25/2010 | Mono | Articles on Precise GC with Parametric Polymorphism |
| 08/25/2010 | BEOL/ENDOL4J | new kid on the block: fun4j is a new fp project for the Java VM |
| 08/16/2010 | A while ago I asked about a | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Broken link | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/14/2010 | Another comment | Miguel de Icaza on Java lawsuit |
| 08/16/2010 | identifier-syntax | The ideal style/system for namespaces. |
| 08/07/2010 | Generics | Type Classes as Objects and Implicits |
| 07/21/2010 | Scribble: Closing the Book on Ad Hoc Documentation Tools | Scribble: Closing the Book on Ad Hoc Documentation Tools |
| 07/20/2010 | The Future of C# | The Future of C# |
| 07/22/2010 | Hm... | The Future of C# |
| 07/08/2010 | 2 cents | The Rust Language |
| 07/04/2010 | What's the type of an optional parameter? | What's the type of an optional parameter? |
| 06/24/2010 | How important is language support for namespace management? | How important is language support for namespace management? |
| 06/25/2010 | Namespace mgmt and build mgmt are orthogonal | How important is language support for namespace management? |
| 06/25/2010 | Naming conflicts are verboten | How important is language support for namespace management? |
| 06/25/2010 | Ha! | How important is language support for namespace management? |
| 06/26/2010 | Where's the problem? | How important is language support for namespace management? |
| 06/25/2010 | Funny | How important is language support for namespace management? |
| 06/25/2010 | Modify the code | How important is language support for namespace management? |
| 06/08/2010 | Formal Compiler Implementation in a Logical Framework | Formal Compiler Implementation in a Logical Framework |
| 06/02/2010 | Safer C Code Using ATS | Safer C Code Using ATS |
| 05/24/2010 | Adding Type Constructor Parameterization to Java | Adding Type Constructor Parameterization to Java |
| 05/12/2010 | On Iteration | On Iteration |
| 04/30/2010 | Understanding hygiene | Understanding hygiene |
| 04/24/2010 | Some pointers | Module systems for Lisp like language |
| 04/15/2010 | How can C Programs be so Reliable? | How can C Programs be so Reliable? |
| 04/16/2010 | Is in-language and in-OS security dead? | How can C Programs be so Reliable? |
| 09/09/2010 | Urination, too | iPhone PL lockdown |
| 10/27/2011 | you can't bring code in | iPhone PL lockdown |
| 03/29/2010 | I like Dylan's model | Go's proposed panic/recover exception-like mechanism |
| 03/30/2010 | Restarts are just conditions | Go's proposed panic/recover exception-like mechanism |
| 03/30/2010 | Still puzzled | Go's proposed panic/recover exception-like mechanism |
| 04/08/2010 | Sorry, still don't get it | Go's proposed panic/recover exception-like mechanism |
| 04/08/2010 | No funny stuff | Go's proposed panic/recover exception-like mechanism |
| 04/09/2010 | next_handler | Go's proposed panic/recover exception-like mechanism |
| 04/09/2010 | I don't think so | Go's proposed panic/recover exception-like mechanism |
| 04/10/2010 | OK | Go's proposed panic/recover exception-like mechanism |
| 04/11/2010 | Puzzled again | Go's proposed panic/recover exception-like mechanism |
| 01/03/2012 | Doubtful | Go's proposed panic/recover exception-like mechanism |
| 02/03/2012 | Really clever? | Small is Beautiful: the design of Lua |
| 03/24/2010 | Scalable mini-languages | Clojure's Mini-languages |
| 03/19/2010 | First-class environments. Discuss. ;) | First-class environments. Discuss. ;) |
| 03/19/2010 | I expect disciplined use | First-class environments. Discuss. ;) |
| 03/19/2010 | THE-ENVIRONMENT (invoked | First-class environments. Discuss. ;) |
| 03/21/2010 | Hygiene | First-class environments. Discuss. ;) |
| 03/22/2010 | Clarification, and a new quasiquote | First-class environments. Discuss. ;) |
| 03/24/2010 | SRFI-72-style quasiquote | First-class environments. Discuss. ;) |
| 03/26/2010 | That's, like, your opinion man | First-class environments. Discuss. ;) |
| 03/27/2010 | Grafted on... | First-class environments. Discuss. ;) |
| 03/28/2010 | Your brain on fexprs | First-class environments. Discuss. ;) |
| 03/28/2010 | One man's non-local expression of concepts is another man's EDSL | First-class environments. Discuss. ;) |
| 03/28/2010 | Boilerplate-averse programming | First-class environments. Discuss. ;) |
| 03/27/2010 | Just let the happy campers camp | First-class environments. Discuss. ;) |
| 03/27/2010 | Modern | First-class environments. Discuss. ;) |
| 02/26/2010 | UNIX, REST: Avoiding PITL | plt vs. something else for programming in the large? |
| 02/27/2010 | I meant, compared to being | plt vs. something else for programming in the large? |
| 11/04/2009 | What about generic object-orientation? | On Understanding Data Abstraction, Revisited |
| 11/08/2009 | Trust | On Understanding Data Abstraction, Revisited |
| 10/15/2009 | Compiler issue? | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 09/09/2009 | Create Your Own Programming Language (book) | Create Your Own Programming Language (book) |
| 09/09/2009 | The second time as farce | Create Your Own Programming Language (book) |
| 07/20/2009 | Iterators Must Go | Iterators Must Go |
| 06/21/2009 | Naked objects | Why are objects so unintuitive? |
| 09/04/2008 | Transform to let + set | doing letrec with lambdas |
| 10/22/2010 | And yet it moves | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 10/26/2010 | You rock, David! | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 04/10/2011 | Some workable definitions from the Lisp world | What is a "fully featured closure"? Request for comments. |
| 08/03/2011 | Linkrot | Delimited dynamic binding |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |