Posts By: barrkel
Date | Post | Topic |
06/11/2012 | Higher sights | Google Blockly Lets You Hack With No Keyboard |
12/24/2011 | Monads are a way of | 2 Misconcepts About Functional Programming (relating to context and monad) |
12/24/2011 | I think many people get too | 2 Misconcepts About Functional Programming (relating to context and monad) |
11/15/2011 | Module "polymorphism" | Is the Expression Problem Fundamental? |
10/13/2011 | Pyramids | Dennis Ritchie passed away |
10/14/2011 | Lack of artifice | Dennis Ritchie passed away |
10/14/2011 | The nastiest bit (apart from | Dennis Ritchie passed away |
10/15/2011 | for-loop | Dennis Ritchie passed away |
10/10/2011 | Java's use-site variance | Google's Dart announced |
10/10/2011 | Intellisense comes virtually | F# type providers |
09/27/2011 | Azul JVM | Redesigning the Mozart virtual machine |
05/23/2011 | There's certainly a paradox | Rob Pike: Public Static Void |
05/23/2011 | I think your narrative | Rob Pike: Public Static Void |
05/23/2011 | A combination of both. A | Rob Pike: Public Static Void |
05/23/2011 | For too many programmers, | Rob Pike: Public Static Void |
05/23/2011 | It reminds us of the | Rob Pike: Public Static Void |
06/07/2011 | I wrote a comment bringing up the network effect | Rob Pike: Public Static Void |
05/15/2011 | Programs that rely on tail | Why is tail call optimization an issue in GC'd languages? |
05/16/2011 | That sounds somewhat like | Why is tail call optimization an issue in GC'd languages? |
05/17/2011 | You're assuming: (a) that a | Why is tail call optimization an issue in GC'd languages? |
05/14/2011 | For posterity... | Kleisli Arrows of Outrageous Fortune |
03/05/2011 | Feedback Effects | Leveled Garbage Collection |
03/09/2011 | Interestingly, in the | Middle History of Logic Programming |
03/09/2011 | C# does not have a linear | Middle History of Logic Programming |
02/26/2011 | Contentious statement: | InfoQ video + transcript of Rob Pike on Go |
02/27/2011 | I'm not actually arguing in | InfoQ video + transcript of Rob Pike on Go |
02/28/2011 | C# doesn't use a constrained | InfoQ video + transcript of Rob Pike on Go |
02/28/2011 | Types describe assumptions | InfoQ video + transcript of Rob Pike on Go |
03/01/2011 | [BK]After all, getting a | InfoQ video + transcript of Rob Pike on Go |
03/01/2011 | I once designed a language | InfoQ video + transcript of Rob Pike on Go |
02/15/2011 | Having anonymous methods, or | Extending Syntax from Within a Language |
02/16/2011 | Well, Lisp, Racket etc. are | Extending Syntax from Within a Language |
02/23/2011 | This "arbiter" source of | Monads vs. Actors |
02/24/2011 | I've spent a bunch more time | Monads vs. Actors |
01/15/2011 | This older presentation | guy steele on how (not) to think of parallel programming |
01/09/2011 | Your statement is a huge | Fast Compilers |
12/20/2010 | This guy has some version of | Azul's Pauseless Garbage Collector |
11/15/2010 | Mildly irritated by the snark | A Preliminary Survey on Functional Programming |
10/31/2010 | Interop with native code and | Asynchronous Programming, Monads and Continuations in C#, F# and Scala |
10/31/2010 | The trouble is that | Asynchronous Programming, Monads and Continuations in C#, F# and Scala |
11/01/2010 | Can you clarify what you | The Myths of Object-Orientation |
11/01/2010 | It looks like the magic | The Myths of Object-Orientation |
11/02/2010 | Three modules | The Myths of Object-Orientation |
10/11/2010 | Delphi. | Design Principles Behind Smalltalk |
09/06/2010 | If you renamed the "main" | Dependency injection via parameterized types (?!) |
08/27/2010 | You'll find discussion of | Theoretical Computer Science StackExchange Beta now open |
07/26/2010 | I wouldn't agree with your | The Mirah Language |
05/30/2010 | I wonder how well this | The Resurgence of Parallelism |
04/22/2010 | I think that's a terrible | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | Clarification request | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | I think that's a far too | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | This is ironic, because the | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | I think this isn't really | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | The idea of computational | Seeking thoughtful criticisms of functional programming and languages |
04/22/2010 | This is a situation where I | How can C Programs be so Reliable? |
04/21/2010 | The kinds of failure that | How can C Programs be so Reliable? |
04/09/2010 | One cannot meaningfully | iPhone PL lockdown |
04/12/2010 | There are more reasonable | iPhone PL lockdown |
03/30/2010 | I'm a fan of exceptions, | Go's proposed panic/recover exception-like mechanism |
04/01/2010 | Bottom line: I'm not going | Go's proposed panic/recover exception-like mechanism |
04/01/2010 | I was wondering what blog | Go's proposed panic/recover exception-like mechanism |
04/01/2010 | Endless backward | Go's proposed panic/recover exception-like mechanism |
04/02/2010 | I agree; it would be better | Go's proposed panic/recover exception-like mechanism |
01/03/2012 | The reason checked | Go's proposed panic/recover exception-like mechanism |
01/03/2012 | Integration and breaking changes | Go's proposed panic/recover exception-like mechanism |
01/04/2012 | Same domain, different approach | Go's proposed panic/recover exception-like mechanism |
01/03/2012 | Self-evident to the point of tautology | Go's proposed panic/recover exception-like mechanism |
03/26/2010 | I think people are too | Will data-intensive computing revolutionize programming languages? |
03/26/2010 | I think PLT folk | Will data-intensive computing revolutionize programming languages? |
03/24/2010 | var q = from b in blah | First-class environments. Discuss. ;) |
03/17/2010 | Missing the point | On the (Alleged) Value of Proof for Assurance |
03/18/2010 | Perhaps my perspective is | On the (Alleged) Value of Proof for Assurance |
06/19/2010 | Re SGLR applied to lexer | On the (Alleged) Value of Proof for Assurance |
03/11/2010 | Depending on how distant the | Have tracing JIT compilers won? |
02/18/2010 | How practical? | Small PL Thought Experiment |
02/11/2010 | Uppercase keywords | purposeful retrograde language design |
02/07/2010 | To save others the inconvenience of copy and paste for an url | Why prolog is by far the best, most productive, easiest programming language |
12/08/2009 | Modern IDEs track edit history independently | Differentiating Parsers |
12/08/2009 | Reparsing is fine | Differentiating Parsers |
12/08/2009 | As I've said elsewhere in | Differentiating Parsers |
12/08/2009 | By type-check, I mean | Differentiating Parsers |
12/08/2009 | IDE doesn't need incremental parsing | Differentiating Parsers |
12/09/2009 | If you have a language that | Differentiating Parsers |
12/09/2009 | I know my experience is | Differentiating Parsers |
11/19/2009 | Delphi, FWIW | Statically typed Pratt parsers |
11/01/2009 | Perhaps I read you wrong... | Seeking broad survey of wide range of concurrency idioms |
09/19/2009 | Testing | Turning every module into a functor automatically? |
09/20/2009 | Ditto | Turning every module into a functor automatically? |
08/10/2009 | Practical implicitions | A Veriļ¬ed Compiler for an Impure Functional Language |
05/20/2009 | Almost all informational | WolframAlpha |
01/22/2009 | Forgive my ignorance, but ... | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | Yes, it's the complexity of | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | That's cleared that up for me | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | "sample value" is just | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | The sample value must be a | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | he was saying that null was | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | "Memory resources into first | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | Of course they're not | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | Thank you for pointing out | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/24/2009 | You haven't told me anything | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/24/2009 | the part of this that has me | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/25/2009 | I have a fair amount of | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | Maybe == null for reference | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | He basically punts on the | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | From what I could briefly | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/22/2009 | Almost all languages' | What Are The Resolved Debates in General Purpose Language Design? |
06/09/2007 | Uh, that won't work | ECMAScript Edition 4 Reference Implementation |
07/14/2006 | Can't open PDF docs? | computerhistory's History of LISP |
02/11/2009 | I've arrived here while | LtU: blog not forum! |
05/25/2006 | Different Language | Software ideals and history |
05/26/2006 | But then | Software ideals and history |
10/25/2009 | LSP exists at the design level | The Next Mainstream Programming Languages |
04/11/2005 | Smaller is better | Language Design 101 |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |