Posts By: Achilleas Margaritis
| Date | Post | Topic |
| 11/28/2008 | What are the advantages of this model over the Actor model? | Functional building blocks as concurrency patterns |
| 12/02/2008 | Perhaps it depends on the language? | Functional building blocks as concurrency patterns |
| 12/02/2008 | Example? | Functional building blocks as concurrency patterns |
| 12/03/2008 | That's not a race condition. | Functional building blocks as concurrency patterns |
| 12/04/2008 | It's a race because | Functional building blocks as concurrency patterns |
| 12/04/2008 | Ok, it's a race condition | Functional building blocks as concurrency patterns |
| 12/02/2008 | It also exists in the dataflow approach. | Functional building blocks as concurrency patterns |
| 12/03/2008 | no race conditions == no logic errors? | Functional building blocks as concurrency patterns |
| 12/04/2008 | There cannot be races in | Functional building blocks as concurrency patterns |
| 12/04/2008 | Is it unexpressable, i.e. is | Functional building blocks as concurrency patterns |
| 12/04/2008 | So, at run-time, only one | Functional building blocks as concurrency patterns |
| 12/03/2008 | "Declarative concurrency is | Functional building blocks as concurrency patterns |
| 12/04/2008 | Thanks. | Functional building blocks as concurrency patterns |
| 12/05/2008 | Since the output and/or | Functional building blocks as concurrency patterns |
| 11/04/2008 | Interesting idea. | New Programming Language Idea |
| 08/26/2008 | Why should one prefer Java over Ada? | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 08/27/2008 | Merits of Java over Ada for hard real-time systems? | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 08/29/2008 | Are there any language advantages? | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 07/23/2008 | So the solution is linear types then? | FP in D 2.0 |
| 07/24/2008 | Why linear types do not make a good solution to the effect pb? | FP in D 2.0 |
| 06/23/2008 | Some ideas | Writing a new language - ideas? |
| 06/24/2008 | or your GUI demonstration, | Writing a new language - ideas? |
| 06/13/2008 | The absolutely very basics of software construction | Programming -- Principles and Practice Using C++ |
| 06/13/2008 | The most basic stuff... | Programming -- Principles and Practice Using C++ |
| 06/16/2008 | It is, but... | Programming -- Principles and Practice Using C++ |
| 06/17/2008 | The needs are not the same. | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | Your recommendations are not realistic. | Programming -- Principles and Practice Using C++ |
| 06/16/2008 | What is the use of teaching something not found in real life? | Programming -- Principles and Practice Using C++ |
| 06/17/2008 | That's only because STL containers are value-based. | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | No one is arguing that | Programming -- Principles and Practice Using C++ |
| 06/16/2008 | Pointers and references. | Programming -- Principles and Practice Using C++ |
| 06/17/2008 | First, I'll assume by | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | It's about the poor beginners, not me | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | It takes a pretty big | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | Although it's a totally | Programming -- Principles and Practice Using C++ |
| 05/30/2008 | The brain does not compute, it matches | Computational Thinking |
| 04/10/2008 | Yes, they can. | Can local variables assignments be considered pure functional without monads? |
| 04/03/2008 | What is different from the Actor model? | Erasmus: A Modular Language for Concurrent Programming |
| 03/21/2008 | Conclusion | STEPS Toward The Reinvention of Programming: First Year Progress Report |
| 07/23/2008 | The problem is not null itself, it's partial functions. | Is null needed? |
| 07/24/2008 | We define them as partial, but they are not really partial | Is null needed? |
| 02/27/2008 | Signals | exceptions again |
| 02/21/2008 | Static is necessary | Gilad Bracha: Cutting out Static |
| 02/22/2008 | I think what Gilad means is | Gilad Bracha: Cutting out Static |
| 02/07/2008 | Integrated persistence is desperately wanted | Jura, a OOMP language and potential DBMS |
| 02/05/2008 | I think languages should support signals natively. | Signals in an OOPL |
| 02/06/2008 | I use the actor model. | Signals in an OOPL |
| 02/07/2008 | Why the complexity? | Signals in an OOPL |
| 02/08/2008 | You are doing the work | Signals in an OOPL |
| 01/24/2008 | Is reflection unsafe if | How useful is reflection, anyway? |
| 01/25/2008 | Here is a case where introspection would be useful | How useful is reflection, anyway? |
| 01/21/2008 | It has some nice features. | Open5G web app language/system |
| 01/15/2008 | A standard for information modelling is required. | beyond programming languages |
| 01/16/2008 | I don't think it's a matter of programming language. | beyond programming languages |
| 01/24/2008 | More and more C++ apps will | Prediction for 2008 |
| 01/14/2008 | education should be split into domains | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/15/2008 | People are more interested | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/15/2008 | Programmers are not | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/16/2008 | A very small minority of programmers are researchers. | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/16/2008 | Experimenters are not researchers. | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/10/2008 | Is such dynamism effective in large-scale software engineering? | Io |
| 01/04/2008 | Evolving??? | Open Multi-Methods for C++ |
| 01/04/2008 | Not really. | Open Multi-Methods for C++ |
| 01/05/2008 | Thanks...but: | Open Multi-Methods for C++ |
| 01/04/2008 | KISS | Why Did Symbolics Fail? |
| 01/04/2008 | No native languages in programming, please. | Protium .. |
| 01/04/2008 | That's not the point of my comment. | Protium .. |
| 01/05/2008 | My problem is the 'tower of Babel' situation. | Protium .. |
| 01/05/2008 | If it extends to every communication between us, then yes. | Protium .. |
| 12/12/2007 | "If you build it, they will come" | CUFP write-up |
| 12/14/2007 | It all depends on how much accessible it is. | CUFP write-up |
| 12/14/2007 | Academia could organize it, at least. | CUFP write-up |
| 11/08/2007 | Type systems are computations. | Universal Type System |
| 10/26/2007 | Some disagreements | On the Importance of Purity |
| 10/29/2007 | [quote] | On the Importance of Purity |
| 10/30/2007 | It's not RT because you're | On the Importance of Purity |
| 10/31/2007 | The advantages of RT are | On the Importance of Purity |
| 11/01/2007 | It sounds like some logical | On the Importance of Purity |
| 11/02/2007 | On the contrary, modern | On the Importance of Purity |
| 11/28/2007 | I just don't believe that | On the Importance of Purity |
| 11/28/2007 | But it depends on the exact | On the Importance of Purity |
| 11/02/2007 | Many would agree with that, | On the Importance of Purity |
| 11/01/2007 | In most cases it shouldn't | On the Importance of Purity |
| 11/02/2007 | You can use any definition | On the Importance of Purity |
| 11/28/2007 | The point is that trying to | On the Importance of Purity |
| 11/28/2007 | [quote] | On the Importance of Purity |
| 11/01/2007 | If RT is good for avoiding | On the Importance of Purity |
| 11/02/2007 | It only seems complex | On the Importance of Purity |
| 11/02/2007 | That criterion is not the | On the Importance of Purity |
| 10/31/2007 | That dereference requires | On the Importance of Purity |
| 11/01/2007 | No, it doesn't. Imagine for | On the Importance of Purity |
| 11/02/2007 | Dereferencing your U* | On the Importance of Purity |
| 11/28/2007 | Therefore you can't | On the Importance of Purity |
| 11/28/2007 | That's an incomplete | On the Importance of Purity |
| 10/26/2007 | Perhaps this is how things should be... | ECMAScript 4 overview paper |
| 10/30/2007 | Some HTML documents are | ECMAScript 4 overview paper |
| 10/29/2007 | HTTP and HTML succeeded | ECMAScript 4 overview paper |
| 10/30/2007 | But if the language is | ECMAScript 4 overview paper |
| 10/29/2007 | Well, nothing of what you | ECMAScript 4 overview paper |
| 10/02/2007 | Isn't it practically the same result with monads? | Witnessing Side-Effects |
| 10/02/2007 | Difference between BNF and PEG grammars? | OMeta: an Object-Oriented Language for Pattern Matching |
| 10/03/2007 | So how does that make PEGs different from right-recursive BNFs? | OMeta: an Object-Oriented Language for Pattern Matching |
| 09/19/2007 | Isn't the Actor model enough for painless concurrency? | Uniqueness Types Instead STM |
| 08/28/2007 | If you untie the recursive loop for optimization... | What is a state? |
| 07/30/2007 | Shouldn't Java be able to modify itself? | Extending Java with Yield |
| 07/19/2007 | I think that #28 is ok | Or is it now? |
| 07/20/2007 | Saying that "compiling is a | Or is it now? |
| 07/10/2007 | YARD vs Spirit? | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/11/2007 | I prefer my grammar to be readable like EBNF. | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/12/2007 | Here is another take on it. | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/11/2007 | Some other questions | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/12/2007 | This is not a problem I | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/10/2007 | I think the usefulness of | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/09/2007 | PLs should offer the tools for writing DSLs, not be DSLs themsel | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/09/2007 | Microsoft is a business enterprise, | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/10/2007 | How exactly would you | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/10/2007 | I guessed something like | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/11/2007 | Have a look at | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/11/2007 | Not really. | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/12/2007 | I seriously doubt that. If | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/30/2007 | Why not a programming model like db4o? | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/03/2007 | Beanshell? | Good Language Design Principals for Scripting Languages |
| 07/03/2007 | Forth has some very nice qualities and some interesting problems | Forth in hardware ("not dead yet") |
| 07/03/2007 | But what about callbacks executed at arbitrary positions? | Forth in hardware ("not dead yet") |
| 07/04/2007 | Support for callbacks is essential for almost any program. | Forth in hardware ("not dead yet") |
| 07/06/2007 | Not really, I must insist. | Forth in hardware ("not dead yet") |
| 07/10/2007 | I am not saying it's not | Forth in hardware ("not dead yet") |
| 07/05/2007 | Why use Forth for lowlevel programming only? | Forth in hardware ("not dead yet") |
| 06/28/2007 | Previous discussion about linear types: | Singularity: Rethinking the Software Stack |
| 06/21/2007 | I don't get how... | Katahdin: Modifying your programming language as it runs |
| 06/15/2007 | automatic program parallelization for multicore cpus as a software problem | automatic program parallelization for multicore cpus as a software problem |
| 06/11/2007 | It's all about the cost | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/11/2007 | There are lots of applications that need control. | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/11/2007 | Although I like C++, I have | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/12/2007 | D follows the same logic as C++ | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/12/2007 | It could have been done in another way. | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/14/2007 | Among other things, this | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/15/2007 | But struct literals is exactly about that. | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/18/2007 | The tuples feature are a superset of lists feature. | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/04/2007 | Thanks. | How the Chicken Scheme compiler works |
| 06/04/2007 | Thank you. | How the Chicken Scheme compiler works |
| 05/22/2007 | mutating types | How to make the static represent the dynamic? |
| 05/10/2007 | And the reason why JS is the language of the future? | "The language of the future is javascript" |
| 05/07/2007 | Don't multimethods solve the problem? | The Expression Problem Revisited |
| 05/02/2007 | For me, Silverlight is not a very good "concept". | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/03/2007 | But: | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Nope. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/03/2007 | Perhaps. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Not really. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/11/2007 | not LISP; LISP-like | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/14/2007 | Why is it not possible? | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/14/2007 | Or | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | And the reason is? | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | It's a matter of design. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | It takes very little extra effort from library writers. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/11/2007 | Repetition is the mother of learning. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/14/2007 | Indeed, again and again. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | An example might illuminate the problem | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | I never stated 'absolutely anyone'. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | Nope. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/14/2007 | Discussion doesn't have to always include math. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | Could you please justify the term 'anti-social' behaviour? | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/16/2007 | So you think. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/14/2007 | I disagree. | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Too complex | Microsoft's new Dynamic Language Runtime (DLR) |
| 04/25/2007 | Link? | Asynchronous sequential processes/Theory of Distributed Objects? |
| 04/23/2007 | I hope LtU does not mind this question. | Almost invisible upgrade |
| 04/24/2007 | Thanks to everyone for replying. | Almost invisible upgrade |
| 04/17/2007 | Give me not food, but the tool to learn to fish | Twitter and Rails brouhaha |
| 04/08/2007 | I like it! | Cforall |
| 03/30/2007 | We clearly need better tools. | Expect New Major Language Within Five Years |
| 03/26/2007 | Holo-programming. | Living it up with a Live Programming Language |
| 04/06/2007 | I am not the proper person to answer that! | Living it up with a Live Programming Language |
| 03/23/2007 | Ok...we put functions into a table...so? | No Ifs, Ands, or Buts |
| 03/16/2007 | Why for microcontrollers only? | Virgil: Objects on the Head of a Pin |
| 03/15/2007 | LISP lists = Piccola forms? | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/13/2007 | OO actually stands for many unrelated concepts. | Implementation Inheritance |
| 03/14/2007 | I do not think it is necessarily better. | Implementation Inheritance |
| 03/15/2007 | C++ already supports interfaces. | Implementation Inheritance |
| 03/14/2007 | Yeap. | Implementation Inheritance |
| 03/15/2007 | Perhaps nothing should be subtyped. | Implementation Inheritance |
| 03/01/2007 | But it is better to define it as a program | The Computer Revolution Hasn't Happened Yet |
| 02/23/2007 | heavy on computation, light on I/O | Real Haskell projects query |
| 02/24/2007 | Thanks. It seems promising... | Real Haskell projects query |
| 02/20/2007 | Another name for reactive/event/signal programming | Automata-Based Programming |
| 02/15/2007 | Simplicity at all levels. | Easy to learn and use |
| 02/15/2007 | Multiple dispatch | Easy to learn and use |
| 02/07/2007 | Some observations. | ACM Queue: Realtime Garbage Collection |
| 02/06/2007 | Question about importance of proving termination. | Termination Checking with Types |
| 02/06/2007 | But what about more conventional type systems? | Termination Checking with Types |
| 02/07/2007 | Interesting. | Termination Checking with Types |
| 02/07/2007 | But... | Termination Checking with Types |
| 02/08/2007 | Why can't a program terminate with an erroneous result? | Termination Checking with Types |
| 02/09/2007 | The definition of correctness, and a question. | Termination Checking with Types |
| 02/08/2007 | Yeap, and it's doable in C++ as well... | Termination Checking with Types |
| 06/12/2007 | Do you mean 'not correct' in the context of ML? | Steps Toward The Reinvention of Programming |
| 06/15/2007 | Yes. | Steps Toward The Reinvention of Programming |
| 06/21/2007 | Types are defined by their usage. | Steps Toward The Reinvention of Programming |
| 02/02/2007 | How about making typing completely implicit? | Generic Programming, Now! |
| 02/02/2007 | Not exactly the same. | Generic Programming, Now! |
| 01/29/2007 | It's functional programming but not the same as in Haskell or ML | Ralf Lammel: Stop dysfunctional programming |
| 01/22/2007 | Not persuaded that the Erlang model can handle games | LCA2007: Concurrency and Erlang |
| 02/05/2007 | Those who need FP already use it. | Why people don't use functional programming? |
| 02/06/2007 | Perhaps I was not clear enough. | Why people don't use functional programming? |
| 02/06/2007 | Can you please show me some examples? | Why people don't use functional programming? |
| 02/07/2007 | While I do not disagree with | Why people don't use functional programming? |
| 02/08/2007 | Ok, but personal testimonies are equally interesting. | Why people don't use functional programming? |
| 02/07/2007 | Hmmm.... | Why people don't use functional programming? |
| 02/07/2007 | Can FP programs be easily parallelized? | Why people don't use functional programming? |
| 02/08/2007 | But Sisal offers explicit semantics for parallelization. | Why people don't use functional programming? |
| 02/27/2007 | Another reason is that they are ignorant. | Why people don't use functional programming? |
| 01/02/2007 | Why not leave the first element of an array unused? | Why numbering should start at 0 |
| 01/02/2007 | Already done? | Why numbering should start at 0 |
| 01/02/2007 | Isn't that the same with structural subtyping? | More Haskell in Java 7 or 8? |
| 12/22/2006 | Question | Comparing Approaches to Generic Programming in Haskell |
| 12/22/2006 | Excuse me... | Misc items |
| 12/08/2006 | Exceptions, reactive programming, CPS. | Exceptions |
| 11/29/2006 | Efficient languages need not be unreliable. | C++ has indeed become too "expert friendly" |
| 11/29/2006 | Not really. | C++ has indeed become too "expert friendly" |
| 12/04/2006 | Another possibly simpler solution | C++ has indeed become too "expert friendly" |
| 12/04/2006 | No problem with closures. | C++ has indeed become too "expert friendly" |
| 12/05/2006 | There is an implicit address-of-value-object in there. | C++ has indeed become too "expert friendly" |
| 12/05/2006 | Not irrelevant at all. | C++ has indeed become too "expert friendly" |
| 12/05/2006 | Yes, copying | C++ has indeed become too "expert friendly" |
| 12/05/2006 | 'Func' is an object with a member 'n'. | C++ has indeed become too "expert friendly" |
| 12/05/2006 | That's what I originally said. | C++ has indeed become too "expert friendly" |
| 12/05/2006 | Actually... | C++ has indeed become too "expert friendly" |
| 12/04/2006 | ava will also allocate from | C++ has indeed become too "expert friendly" |
| 12/05/2006 | Partially agreed. | C++ has indeed become too "expert friendly" |
| 11/28/2006 | Programming is not only mathematics. | The Future of LtU |
| 11/29/2006 | The purpose of LtU is not to | The Future of LtU |
| 11/29/2006 | It should be a programming site as well, though. | The Future of LtU |
| 11/20/2006 | The switch you wrote is a simple function. | OOP language extension |
| 11/21/2006 | Perhaps too complicated? | OOP language extension |
| 11/16/2006 | I dream of a specifications language... | Abstractly typed languages |
| 11/17/2006 | Nice! | Abstractly typed languages |
| 11/17/2006 | In a strict mathematical sense, yes. | Abstractly typed languages |
| 11/17/2006 | Either. | Abstractly typed languages |
| 11/13/2006 | OO design can be used with FP. | Functional programming and software engineering |
| 11/20/2006 | Perhaps then you can enlighten me on some issues. | Functional programming and software engineering |
| 11/13/2006 | Here is another good one: | Dodo |
| 11/02/2006 | Wouldn't meta-programming be enough for all these tasks? | A rationale for semantically enhanced library languages |
| 11/03/2006 | Not templates - the language itself executed at compile time | A rationale for semantically enhanced library languages |
| 11/03/2006 | You don't need any special syntax except for 1 keyword. | A rationale for semantically enhanced library languages |
| 11/01/2006 | I disagree. | Code generation vs. dynamic/introspective languages |
| 11/03/2006 | Fixing the verbosity problem means fixing the language. | Code generation vs. dynamic/introspective languages |
| 11/03/2006 | The less tools I use, the better. | Code generation vs. dynamic/introspective languages |
| 10/31/2006 | Interesting...where can I find more information? | A stackless runtime environment for a Pi-calculus |
| 10/31/2006 | I think an explanation without code would be a better start. | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |
| 11/07/2006 | I do not believe things will change much in the next 20 years. | Future of software design? |
| 11/08/2006 | Well, maybe. | Future of software design? |
| 11/09/2006 | Indeed. | Future of software design? |
| 11/20/2006 | A constant stream of insults does not help adopt FP, you know. | Future of software design? |
| 11/21/2006 | One final comment. | Future of software design? |
| 10/30/2006 | Continuations or first-class functions? | Ruby 2.0 News |
| 10/27/2006 | Does it compile? | Ruby 2.0 News |
| 10/30/2006 | Thanks for the tip. | Ruby 2.0 News |
| 10/31/2006 | But the thread scheduler can not be preemptive, can it? | Ruby 2.0 News |
| 10/17/2006 | C and Pascal and very similar... | Good Ideas, Through the Looking Glass |
| 10/17/2006 | Nice! | Good Ideas, Through the Looking Glass |
| 10/02/2006 | Can dynamic programs be 'executed' in the context of an IDE? | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Could input be faked? | Tim Bray: Dynamic-Language IDEs |
| 09/19/2006 | For what ages are we talking? | Why Johnny can't code |
| 09/04/2006 | Can finite set types be used for static contract verification? | Small Value Set Types |
| 09/05/2006 | But what about recursive algorithms? | Small Value Set Types |
| 08/28/2006 | Arrays are homogeneous tuples. | Implementing arrays |
| 08/25/2006 | Yes, in the context of depentent type systems. | unchecked exceptions are like runtime type checking? |
| 09/13/2006 | So the compiler must be a scripting language. | "Language Oriented Programming" Meta Programming System |
| 08/25/2006 | I prefer a mathematical solution to correctness... | "Language Oriented Programming" Meta Programming System |
| 09/13/2006 | A DSL does not mean code is not obfuscated. | "Language Oriented Programming" Meta Programming System |
| 08/14/2006 | Is C++ relevant any more? | How to make a *truly* better alternative to C++ |
| 07/28/2006 | But there is still an advantage. | Cost of provably-correct code |
| 07/21/2006 | I think it was a matter of | Erlang concurrency: why asynchronious messages? |
| 07/21/2006 | Question | Revealing the X/O impedance mismatch |
| 07/20/2006 | Java is pure OO? | A Comparison of Ada and Real-Time Java for Safety-Critical Applications |
| 07/17/2006 | Best text ever read about Haskell | HOPL III and the History of Haskell |
| 07/14/2006 | also... | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/03/2006 | A new implementation of recursive-descent parsing? | A new implementation of recursive-descent parsing? |
| 07/03/2006 | I think it is not entirely | A new implementation of recursive-descent parsing? |
| 07/04/2006 | Trampolines? | A new implementation of recursive-descent parsing? |
| 07/04/2006 | But your whole thing is | A new implementation of recursive-descent parsing? |
| 07/04/2006 | I suppose that you mean what | A new implementation of recursive-descent parsing? |
| 07/03/2006 | 1. Everything is a tail | A new implementation of recursive-descent parsing? |
| 07/04/2006 | Also, I doubt that you can | A new implementation of recursive-descent parsing? |
| 07/04/2006 | you're also suffering from | A new implementation of recursive-descent parsing? |
| 07/04/2006 | That is equivalent to | A new implementation of recursive-descent parsing? |
| 07/05/2006 | It means that the parser | A new implementation of recursive-descent parsing? |
| 07/03/2006 | It depends. Normally, the | A new implementation of recursive-descent parsing? |
| 07/04/2006 | A paper on trampolining. | A new implementation of recursive-descent parsing? |
| 06/28/2006 | Excuse me for saying so, but | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/26/2006 | I think the emotions raised | LtU: Policies document |
| 06/22/2006 | Petition for adding garbage collection to C++. | Petition for adding garbage collection to C++. |
| 06/23/2006 | Are there any sizeable | Petition for adding garbage collection to C++. |
| 06/23/2006 | I do not have a final word | Petition for adding garbage collection to C++. |
| 06/23/2006 | Thanks a lot for the link. | Petition for adding garbage collection to C++. |
| 06/23/2006 | I am aware of the technical | Petition for adding garbage collection to C++. |
| 06/23/2006 | c++/cli introduced the | Petition for adding garbage collection to C++. |
| 06/26/2006 | a syntactical difference | Petition for adding garbage collection to C++. |
| 06/23/2006 | First of all, in D objects | Petition for adding garbage collection to C++. |
| 06/26/2006 | Petition for adding garbage collection to C++. | Petition for adding garbage collection to C++. |
| 06/26/2006 | A minor correction. | Petition for adding garbage collection to C++. |
| 06/26/2006 | Petition for adding garbage collection to C++. | Petition for adding garbage collection to C++. |
| 06/29/2006 | I disagree. | Petition for adding garbage collection to C++. |
| 06/26/2006 | Obviously your requirements | Petition for adding garbage collection to C++. |
| 06/21/2006 | FP is about referential integrity. | What are the real benefits of FP? |
| 06/21/2006 | Thanks for the link. | What are the real benefits of FP? |
| 06/22/2006 | It seems like nobody noticed | What are the real benefits of FP? |
| 06/22/2006 | But my problem is not the | What are the real benefits of FP? |
| 06/23/2006 | Thanks, but that is not a | What are the real benefits of FP? |
| 06/23/2006 | First of all it is | What are the real benefits of FP? |
| 06/29/2006 | What are the real benefits of FP? | What are the real benefits of FP? |
| 06/26/2006 | And here we have the crux | What are the real benefits of FP? |
| 06/21/2006 | But if you're debugging a | What are the real benefits of FP? |
| 06/22/2006 | Not really. The only thing | What are the real benefits of FP? |
| 06/22/2006 | No one has replied to my | What are the real benefits of FP? |
| 06/22/2006 | Thanks, again. | What are the real benefits of FP? |
| 06/22/2006 | Thanks for your reply, it | What are the real benefits of FP? |
| 06/23/2006 | I think it is really needed. | What are the real benefits of FP? |
| 06/23/2006 | Let me assure you that | What are the real benefits of FP? |
| 06/19/2006 | Interesting. | Variance and Generalized Constraints for C# Generics |
| 06/19/2006 | What annoys me in mainstream | The OO barrier |
| 06/20/2006 | Unfortunately it is not | The OO barrier |
| 06/16/2006 | Tuples. | Why only 'minimal' languages |
| 06/19/2006 | A language should support first class tuple types. | Why only 'minimal' languages |
| 06/09/2006 | We've discussed this before: split LtU in high and low parts. | LtU: blog not forum! |
| 06/09/2006 | There are already many | LtU: blog not forum! |
| 06/08/2006 | There is no Turing-like really high-level programming language. | Why Are ALL Programming Languages So Low Level? |
| 06/07/2006 | Resumable exceptions in C++ could be modelled as... | Common Lisp Exception Handling |
| 06/01/2006 | Someone care to explain what was that all about? | The Weird World of Bi-Directional Programming |
| 05/30/2006 | Difference between union types and subtypes? | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | What prevents a compiler from keeping union types open? | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | I do not see how closedness allows for stronger type checking. | First Class Values, Types as values within a Programming Language |
| 06/01/2006 | By enabling you to say: | First Class Values, Types as values within a Programming Language |
| 06/01/2006 | The openness of a type can be user-defined. | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | I am a long-time fun of the idea that values are types. | First Class Values, Types as values within a Programming Language |
| 06/01/2006 | So how do you distinguish a | First Class Values, Types as values within a Programming Language |
| 06/15/2006 | I am trying. | First Class Values, Types as values within a Programming Language |
| 07/18/2006 | Some people do not understand types. | First Class Values, Types as values within a Programming Language |
| 07/18/2006 | Certainly. | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | Range types aren't types then? | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | Yeap. | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | Good observation! thanks. | First Class Values, Types as values within a Programming Language |
| 05/26/2006 | Honest critisism. | Software ideals and history |
| 05/20/2006 | Are continuations really needed? | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | How do you know when to | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | I do not need to save the stack and all the program's state. | Gilad Bracha: Will Continuations continue? |
| 05/24/2006 | The UI code has nothing to do with keeping the states. | Gilad Bracha: Will Continuations continue? |
| 05/17/2006 | We should talk more about VB6 and prior versions. | Paul Vick: BASIC principles |
| 05/18/2006 | No, they were right on ditching the old stuff. | Paul Vick: BASIC principles |
| 05/16/2006 | Which "gotcha's"? | ruby vs python |
| 05/17/2006 | But these problems are not 'first class'. | ruby vs python |
| 05/18/2006 | But multithreaded programming is not affected by that. | ruby vs python |
| 05/20/2006 | Yes, discussed previously. | ruby vs python |
| 05/22/2006 | It's all common sense. | ruby vs python |
| 05/24/2006 | If someone forgots the locks, then blame him instead of PL. | ruby vs python |
| 05/24/2006 | I do not see any problem at all. | ruby vs python |
| 09/24/2006 | If you use separate locks | ruby vs python |
| 09/24/2006 | It still does not prove native threading is evil. | ruby vs python |
| 05/22/2006 | And what optimizations are that? | ruby vs python |
| 05/24/2006 | Ok, so the compiler must be aware. So? | ruby vs python |
| 05/15/2006 | Some questions. | The Cat Programming Language |
| 05/16/2006 | Even more questions. | The Cat Programming Language |
| 05/16/2006 | Actually... | The Cat Programming Language |
| 05/17/2006 | Such as? | The Cat Programming Language |
| 05/18/2006 | No, I meant real-life examples. | The Cat Programming Language |
| 05/09/2006 | Great tutorial. | The Nature of Lisp (a tutorial) |
| 05/09/2006 | It matters if good languages are widely adopted. | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Let me disagree on a few things. | The Nature of Lisp (a tutorial) |
| 05/10/2006 | I wouldn't say Ruby and Python "caught on" | The Nature of Lisp (a tutorial) |
| 05/04/2006 | Eclipse, Visual Studio 6/2005 | Your favourite editor/IDE |
| 05/02/2006 | I am not entirely persuaded that state manipulation is 100% bad. | Functional Relational Programming: Out of the tar pit |
| 05/03/2006 | question | Functional Relational Programming: Out of the tar pit |
| 05/04/2006 | Manually-written RD parsers equal to table-driven parsers | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/28/2006 | A few questions about the parser. | Implementation of Hecl |
| 04/28/2006 | Thanks. | Implementation of Hecl |
| 04/25/2006 | Not only C... | Deconstructing Process Isolation |
| 03/29/2006 | The real question is if expressions should have side effects. | "Semi-complete" Boolean Evaluation? |
| 03/29/2006 | Maybe a solution like mutable/const would be better. | "Semi-complete" Boolean Evaluation? |
| 03/27/2006 | Values as types | Extremely static language? |
| 03/28/2006 | Both can co-exist. | Extremely static language? |
| 03/17/2006 | Maybe you could use Boost.Spirit or Gold Parser. | The Problem With Parsing - an essay |
| 03/15/2006 | I am afraid not much will change. | Programming: 50, 100 years from now |
| 03/16/2006 | Specific business cases | Programming: 50, 100 years from now |
| 04/02/2006 | What about experience-based programming? | Programming: 50, 100 years from now |
| 03/15/2006 | It is called 'inconsistencies'... | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | Yeap, I know the feeling. | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | It's not that simple. | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | Not too generic. | ACM Queue: On Usability of Programming Languages |
| 03/13/2006 | I like structural subtyping. | Contract Verification and Structural Subtyping of Interfaces |
| 03/13/2006 | Well, I would like to make a | Contract Verification and Structural Subtyping of Interfaces |
| 03/09/2006 | For me, the answer is simple. | Active Libraries and Universal Languages |
| 02/20/2006 | They have got tuples wrong. | Stroustrup: A Brief Look at C++0x |
| 02/21/2006 | But aggregates will not be tuples. | Stroustrup: A Brief Look at C++0x |
| 02/22/2006 | But they will bring some | Stroustrup: A Brief Look at C++0x |
| 02/23/2006 | boost tuples are not first class, aggregates are not tuples. | Stroustrup: A Brief Look at C++0x |
| 02/23/2006 | Tuple literals | Stroustrup: A Brief Look at C++0x |
| 02/27/2006 | The type of 0 is 'int'. | Stroustrup: A Brief Look at C++0x |
| 02/28/2006 | Well, I disagree. | Stroustrup: A Brief Look at C++0x |
| 02/28/2006 | C++ does not have first-class tuples according to... | Stroustrup: A Brief Look at C++0x |
| 02/28/2006 | but C++ functions are not first class values | Stroustrup: A Brief Look at C++0x |
| 02/27/2006 | I like it. | Stroustrup: A Brief Look at C++0x |
| 02/20/2006 | Bad template error reporting is not caused by lack of concepts. | Specifying C++ Concepts |
| 02/21/2006 | If C++ had a proper type system (2) | Specifying C++ Concepts |
| 02/22/2006 | I'm not quite sure what you | Specifying C++ Concepts |
| 02/23/2006 | Built-in types can not be subclassed. | Specifying C++ Concepts |
| 02/24/2006 | However, with int declaring | Specifying C++ Concepts |
| 02/27/2006 | It was not the only data type. They were lots more. | Specifying C++ Concepts |
| 02/27/2006 | I can not use enums to express Seconds/Milliseconds. | Specifying C++ Concepts |
| 02/28/2006 | I do not know where did you get that. | Specifying C++ Concepts |
| 02/27/2006 | Your link leads to this site. | Specifying C++ Concepts |
| 02/28/2006 | Details: | Specifying C++ Concepts |
| 02/20/2006 | Agreed. | The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James Gosling |
| 02/21/2006 | It means it does not do what you wanted. | The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James Gosling |
| 02/07/2006 | Instead of fixing protocols, we code around them. | Programming Languages: Application and Interpretation |
| 02/07/2006 | Indeed, HTTP is good for 'hypertext transfer'. Not for web apps. | Programming Languages: Application and Interpretation |
| 02/07/2006 | Isn't a new language/framework just as (or more) costly? | Programming Languages: Application and Interpretation |
| 02/02/2006 | Committees should listen to programmers. | A New Haskell and those anxious to change |
| 02/02/2006 | Very interesting and important stuff. | The Next Mainstream Programming Languages |
| 02/03/2006 | How is it different from just adding new fields to class Actor? | The Next Mainstream Programming Languages |
| 02/07/2006 | My question is still not answered. | The Next Mainstream Programming Languages |
| 02/03/2006 | Garbage collection without type information? | The Next Mainstream Programming Languages |
| 02/07/2006 | How about a 'limited' resource management calculus? | The Next Mainstream Programming Languages |
| 02/16/2006 | It is not reference counting. | The Next Mainstream Programming Languages |
| 07/18/2006 | It's not possible to | The Next Mainstream Programming Languages |
| 07/18/2006 | Not all cases can be | The Next Mainstream Programming Languages |
| 07/19/2006 | Think about what can distract you when you are "programming". | The Next Mainstream Programming Languages |
| 07/19/2006 | Abstractions... | The Next Mainstream Programming Languages |
| 02/01/2006 | The reason for packaging data and methods together is... | Packaging Data And Methods |
| 02/02/2006 | Classes are values too. | Packaging Data And Methods |
| 02/07/2006 | example of overloading based on values: | Packaging Data And Methods |
| 02/02/2006 | Encapsulation should be a matter of accessibilty, not syntax. | Packaging Data And Methods |
| 01/31/2006 | Agreed. But: | Weak vs. strong typing |
| 01/31/2006 | Thanks for replying. | Weak vs. strong typing |
| 01/31/2006 | playing with sets: | Weak vs. strong typing |
| 02/01/2006 | Yes. | Weak vs. strong typing |
| 02/01/2006 | Thank's a lot, I did not know these existed. | Weak vs. strong typing |
| 01/28/2006 | An O/S is (or should be) a lot more than a kernel. | Promising OS's from a Programming Language Perspective |
| 01/30/2006 | PL should handle semantics, O/S should handle protocol. | Promising OS's from a Programming Language Perspective |
| 01/28/2006 | I have once asked the same question... | Programming Language transformation? |
| 01/18/2006 | Lisp is hackerish, but it has got some pretty good ideas. | Lisp is sin |
| 01/17/2006 | But the Oberon system is quite primitive. | Project Oberon |
| 01/16/2006 | Would these issues exist if the compiler was a dll? | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/16/2006 | You did not understand. | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/17/2006 | So some compilers are not designed properly... | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/17/2006 | Not really. | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/18/2006 | Allow me to say that I disagree. | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/10/2006 | Several problems with XML; IT industry on acid trip. | Tim Bray: Don't Invent XML Languages |
| 01/11/2006 | Lisp was mentioned as an example. | Tim Bray: Don't Invent XML Languages |
| 01/11/2006 | "just can't inspire any kind of reasoned reply"??? | Tim Bray: Don't Invent XML Languages |
| 01/11/2006 | The guy is right. | Tim Bray: Don't Invent XML Languages |
| 01/11/2006 | Language Oriented Programming | Tim Bray: Don't Invent XML Languages |
| 01/11/2006 | Every program needs at least one global variable. | Singleton classes really that bad? |
| 01/03/2006 | Well, there are many things to improve in C++. | Stroustrup talking about C++0x |
| 12/30/2005 | FP already offers what Steele asks for. | Guy Steele on Language Design |
| 12/31/2005 | I really doubt FP requires more training than OO. | Guy Steele on Language Design |
| 12/29/2005 | The IT industry needs workers, as any other industry. | Joel Spolsky views on CS education |
| 12/30/2005 | My experience differs. | Joel Spolsky views on CS education |
| 12/31/2005 | A little bit of management is necessary. | Joel Spolsky views on CS education |
| 12/23/2005 | So, can I... | Back to Basic |
| 12/18/2005 | Wouldn't the problem be solved by an antivirus object? | G-Men Called on W-Hats for WMVD |
| 12/18/2005 | What about dynamically optimizing introspection? | Virtual machine implementation and dynamic languages |
| 10/11/2006 | Monads == uniqueness typing? | Tradeoffs between Unique Types and Monads |
| 10/12/2006 | I still not understand why they are considered different. | Tradeoffs between Unique Types and Monads |
| 10/12/2006 | Thanks. But... | Tradeoffs between Unique Types and Monads |
| 10/12/2006 | Well... | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | Perhaps... | Tradeoffs between Unique Types and Monads |
| 12/16/2005 | It's not difficult to write your own GC (at least for testing). | CPS without GC? |
| 12/18/2005 | The KISS principle applies well to writing GCs. | CPS without GC? |
| 12/06/2005 | What Livschitz says, it has been said many times in LtU. | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 11/21/2005 | Since Ruby is an imperative PL, why monads in Ruby? | Monads in Ruby |
| 11/18/2005 | Would FP work if destroyed values were pushed on the stack? | Felleisen: How to Design Class Hierarchies |
| 11/21/2005 | But I have to code in a way that data seem to be copied. | Felleisen: How to Design Class Hierarchies |
| 11/22/2005 | But the whole tree needs to be reassembled, plus the new value . | Felleisen: How to Design Class Hierarchies |
| 11/23/2005 | But at least one value will be replaced at each tree level. | Felleisen: How to Design Class Hierarchies |
| 10/13/2006 | Maybe this is mentioned already. | Ruby the Rival |
| 11/18/2005 | Impressive... | Fortress Specs Updated: 0.785 |
| 11/11/2005 | I do not understand why all the fuss. | The Role of Type Equality in Meta-Programming |
| 10/22/2005 | Personally I do not see a problem with aliasing. | Linear types for aliased resources |
| 10/24/2005 | Perhaps you did not understand my post. | Linear types for aliased resources |
| 10/29/2005 | Aha, somebody beat me to it. | Linear types for aliased resources |
| 10/29/2005 | Maybe I did not explain my solution enough. | Linear types for aliased resources |
| 12/07/2006 | Process variables, not names. | Linear types for aliased resources |
| 12/07/2006 | Now, consider that you can't | Linear types for aliased resources |
| 10/24/2005 | Yeap. But why such a restriction, | Linear types for aliased resources |
| 10/22/2005 | Programming languages will shape the future of humanity | What do you mean by studying "programming languages"? |
| 10/22/2005 | Naive examples | Bruce Tate: Technologies that may challenge Java |
| 10/24/2005 | It's another tool in the bag. | Bruce Tate: Technologies that may challenge Java |
| 10/29/2005 | There is a certain minimum that we need... | Bruce Tate: Technologies that may challenge Java |
| 10/18/2005 | What if an object deep in the hierarchy must be updated? | Object Oriented Programming + Referential Transparency |
| 10/03/2005 | Here are some tips(from personal experience) | Question: Graceful error recovery during parsing |
| 04/10/2006 | What about looking ahead? | Question: Graceful error recovery during parsing |
| 09/24/2005 | There is no need for continuations for web apps. | Continuations library for Java |
| 09/27/2005 | That does not mean Echo2 is not in the right track. | Continuations library for Java |
| 09/28/2005 | Nope. | Continuations library for Java |
| 09/29/2005 | I don't think that making thi | Continuations library for Java |
| 09/14/2005 | You don't need all that to make a DB application. | Visual Basic and LINQ |
| 09/14/2005 | A good PL will implement those as libraries. | Visual Basic and LINQ |
| 09/08/2005 | Maybe FP could be a little more loosen when it comes to I/O | Persistent functional databases |
| 09/03/2005 | Yet another doc about OO having failed. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/05/2005 | Um, what do you mean by that? | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/06/2005 | ...or Concurrent C. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/07/2005 | The widget's draw signal is o | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/26/2006 | Found an implementation of component-based programming. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/26/2006 | I disagree. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/28/2006 | So with that out of the way | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/28/2006 | well, yes, but... | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/26/2006 | It allows for greater reuse of components. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/28/2006 | Explanation. | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/05/2005 | Great way to extend programming languages! | OO Language Engineering for the Post-Java Era |
| 09/08/2005 | Compile-time code is quite useful | OO Language Engineering for the Post-Java Era |
| 01/17/2007 | APPLE | OO Language Engineering for the Post-Java Era |
| 01/17/2007 | How is that different from pattern matching? | OO Language Engineering for the Post-Java Era |
| 01/17/2007 | Question about the paper 'Laziness and Declarative Concurrency' | OO Language Engineering for the Post-Java Era |
| 01/18/2007 | Further explanation desired | OO Language Engineering for the Post-Java Era |
| 09/02/2005 | What? MVC is bad??? | ContextL |
| 05/04/2006 | Recent personal posts | Forum usability |
| 05/04/2006 | ah yes. Thank you. | Forum usability |
| 05/05/2006 | Not in 'recent posts' page, under the 'recent posts' command. | Forum usability |
| 08/04/2005 | Object orientation has failed. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | So the question of peculiar i | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | But then, it would just be mo | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | in maths you tend to omit par | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | This depends on what OO langu | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | Several FP languages nowaday | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | Note that the C++ code just u | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 07/20/2005 | Lack of communication = problem not explicitely defined | Grady Booch: Software Engineering Grand Challenges |
| 07/06/2005 | Although I am font of C++ (99 | The design of C++0x |
| 05/24/2005 | Indeed, why mutable state is | Haskell for C Programmers |
| 05/23/2005 | I remember the same post made | Haskell for C Programmers |
| 05/24/2005 | sorry, just asking. | Haskell for C Programmers |
| 05/23/2005 | Why not have compile-time tests? | Parameterized Unit Tests |
| 05/24/2005 | If the programmer doesn't und | Parameterized Unit Tests |
| 05/24/2005 | If the programmer doesn't und | Parameterized Unit Tests |
| 05/26/2005 | It is very easy to have an as | Parameterized Unit Tests |
| 05/26/2005 | The mechanism I describe will | Parameterized Unit Tests |
| 05/24/2005 | Your example sounds not unlik | Parameterized Unit Tests |
| 05/19/2005 | unlike in most mainstream typ | Grassroots computing languages hit the big time |
| 05/05/2005 | Let's make a programming language! | Let's make a programming language! |
| 05/06/2005 | Let's make a programming language! | Let's make a programming language! |
| 05/06/2005 | Ok, here is a first suggestion. | Let's make a programming language! |
| 05/04/2005 | Wow, nice language. | The Fortress Language Spec v0.618 |
| 04/25/2005 | Here is why: | Why do they program in C++? |
| 04/25/2005 | I was talking about Java 1.4. | Why do they program in C++? |
| 04/26/2005 | Ignoring your ironic tone, I | Why do they program in C++? |
| 04/25/2005 | The fact you did not understa | Why do they program in C++? |
| 06/08/2005 | Basically, the poster of the | Why do they program in C++? |
| 04/25/2005 | For all practical purposes, Q | Why do they program in C++? |
| 04/26/2005 | Thanks a lot for the links. I | Why do they program in C++? |
| 04/26/2005 | Conclusions | Why do they program in C++? |
| 05/05/2005 | would argue that those conce | Why do they program in C++? |
| 05/05/2005 | Achilleas, I believe that the | Why do they program in C++? |
| 04/25/2005 | Yeap, as I mention above, I w | Why do they program in C++? |
| 04/26/2005 | There is clear division betwe | Why do they program in C++? |
| 05/05/2005 | Let me humbly suggest, howeve | Why do they program in C++? |
| 06/08/2005 | Yeap, all these reasons are v | Why do they program in C++? |
| 04/19/2005 | You couldn't be closer to the | Why Dependent Types Matter |
| 04/18/2005 | Nice articles | Sam Ruby: Continuations for Curmudgeons |
| 04/19/2005 | Here is another silly C version | Sam Ruby: Continuations for Curmudgeons |
| 04/12/2005 | Let's not forget the chicken-and-egg problem | Links Slides |
| 09/17/2005 | Isn't 64 a hamming number? | expressivity of "idiomatic C++" |
| 09/14/2005 | A little question. | expressivity of "idiomatic C++" |
| 09/15/2005 | Anybody? please? | expressivity of "idiomatic C++" |
| 09/16/2005 | Wouldn't be possible for the | expressivity of "idiomatic C++" |
| 09/16/2005 | Is the following C++ solution O(n) ? | expressivity of "idiomatic C++" |
| 09/17/2005 | Firstly, your function does n | expressivity of "idiomatic C++" |
| 09/17/2005 | Here is the C++ O(n) solution. | expressivity of "idiomatic C++" |
| 09/18/2005 | lazy O(n) solution in C++ better than Haskell(!) | expressivity of "idiomatic C++" |
| 09/19/2005 | 1) To compute some Hamming nu | expressivity of "idiomatic C++" |
| 09/21/2005 | But isn't Haskell doing 3 mul | expressivity of "idiomatic C++" |
| 09/19/2005 | Template parameters can be constants. | expressivity of "idiomatic C++" |
| 09/21/2005 | No problem with run-time parameterization. | expressivity of "idiomatic C++" |
| 09/19/2005 | Conclusion | expressivity of "idiomatic C++" |
| 09/21/2005 | C++ solution on par with Haskell | expressivity of "idiomatic C++" |
| 09/22/2005 | Indeed, I implemented some su | expressivity of "idiomatic C++" |
| 09/27/2005 | Your reaction is understandable. | expressivity of "idiomatic C++" |
| 02/11/2005 | The system must do the type/class bookkeeping | Transparent Persistence |
| 12/18/2006 | RT could also work with restricted assignment. | Transparent Persistence |
| 12/19/2006 | Why restricted assignment operator is not RT? | Transparent Persistence |
| 12/19/2006 | Almost. | Transparent Persistence |
| 12/19/2006 | The ability to do in-place value updates? | Transparent Persistence |
| 12/20/2006 | Arguments would be modifiable. | Transparent Persistence |
| 12/20/2006 | Already replied to that. | Transparent Persistence |
| 12/20/2006 | Perhaps... | Transparent Persistence |
| 12/20/2006 | I disagree: | Transparent Persistence |
| 07/28/2006 | Question | Transparent Persistence |
| 02/02/2005 | Any good links on how to write a new front end? | GCC Wiki |
| 02/02/2005 | Let me play the devils advocate... | Unimperative Programming Language - Teaser |
| 02/03/2005 | The MyFxn version can be used | Unimperative Programming Language - Teaser |
| 01/21/2005 | Pointers much appreciated, bu | Getting Started |
| 01/20/2005 | Maybe the author has not worked in large scale projects. | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | I am talking about two things | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | I don't think logic/declarati | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | Functional programming is not | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | I think you confuse a constra | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | Well, it is not: maybe a good | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | I am not talking about unmain | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | OOP is nothing more than proc | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | Er, why do you ask? | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | But we don't code the algorit | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | I fail to see how not coding | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | Let's see it from a practical | OOP Is Much Better in Theory Than in Practice |
| 10/22/2005 | Maybe, maybe not. | the Chinese natual language |
| 02/26/2007 | One step away from full meta-programming. | Sun ships "extensible" Java compiler? |
| 09/11/2005 | Could static algebraic expressions be part of types? | Why type systems are interesting - part II |
| 07/05/2008 | The industry does not care about this distinction though. | Why type systems are interesting |
| 07/06/2008 | Of course it's easier, but I didn't mean that. | Why type systems are interesting |
| 07/05/2008 | An important distinction | Why type systems are interesting |
| 07/07/2008 | Humans know more interesting properties than the compiler | Why type systems are interesting |
| 10/26/2007 | Not really different. | Explaining monads |
| 07/13/2006 | Do Haskell compilers treat the IO monad specially? | Explaining monads |
| 07/13/2006 | Nice tutorial. | Explaining monads |
| 12/05/2006 | Monads are structures that enforce patterns. | Understanding continuations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |