Posts By: axilmar
| Date | Post | Topic |
| 11/11/2005 | I think both systems are too heavy. | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/10/2005 | Program requirements have lots of forms. | Battling Bugs: A Digital Quagmire |
| 11/11/2005 | The problem would be solved by user-defined annotations. | Battling Bugs: A Digital Quagmire |
| 11/15/2005 | Indeed, but... | Battling Bugs: A Digital Quagmire |
| 11/15/2005 | What if requirements were types? | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | Most work is on software engineering, not PLs? | Software Factories at OOPSLA 2005 |
| 11/09/2005 | Both sides were correct; the problem was the lack of typing. | Classification according to type vs function - An anecdote |
| 11/07/2005 | Please don't use the name "Nicol". | Programming Language Names |
| 10/31/2005 | The solution is simple: get rid of type declarations... | The Type-System-Feature-Creep Death Spiral |
| 10/31/2005 | naive question, but why should we be interested in termination? | The Type-System-Feature-Creep Death Spiral |
| 11/01/2005 | That's what I am also saying. | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | Exactly. | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | Types and functions are not disparate concepts. | The Type-System-Feature-Creep Death Spiral |
| 10/24/2005 | Because lists can be linked together, | Why Lists? |
| 11/01/2005 | Why arrays can't be like that? | Why Lists? |
| 10/22/2005 | Programming languages will shape the future of humanity | What do you mean by studying "programming languages"? |
| 10/19/2005 | You should provide all possible solutions. | Best default sequence? |
| 10/18/2005 | Is XML really needed? | LINQ BOF at OOPSLA |
| 10/14/2005 | map p f l | Implementing Higher Order Messages |
| 10/14/2005 | And who is going to implement the results? | New GUI paradigm |
| 10/14/2005 | Statements are commands, expressions are requests | Expressions vs Statements |
| 10/17/2005 | Storage is an implementation issue though. | Expressions vs Statements |
| 10/19/2005 | always expressions, never statements. | Expressions vs Statements |
| 10/12/2005 | A very tiny correction, if I am allowed to say so :-) | Macros/Syntax vs. AST manipulation |
| 10/18/2005 | It can also do pattern matching on static expressions. | Macros/Syntax vs. AST manipulation |
| 10/07/2005 | Very interesting discussion. | Scalability |
| 10/10/2005 | I'm not sure what you mean wh | Scalability |
| 10/04/2005 | I like recursion better. | "The Anatomy of a Loop" |
| 09/28/2005 | Split up the site in scientific and public parts. | LtU: Style and Focus |
| 09/28/2005 | I would hate to see this happ | LtU: Style and Focus |
| 09/29/2005 | comments of the form "X suck | LtU: Style and Focus |
| 09/29/2005 | Excuse me, but I think that b | LtU: Style and Focus |
| 09/22/2005 | No GUI support though. | Visual Haskell |
| 09/22/2005 | RPC is good in some cases, bad in some others. | RPC Under Fire |
| 09/22/2005 | does Haskell98 needs extensions to support OO? | Haskell's overlooked object system |
| 09/11/2005 | If transition to Haskell is difficult, how about a functional C? | Haskell and creative freedom |
| 09/12/2005 | I am willing to do a C to functional C translator... | Haskell and creative freedom |
| 09/12/2005 | Pre/post conditions would be | Haskell and creative freedom |
| 09/13/2005 | You can do OOP if the languag | Haskell and creative freedom |
| 09/12/2005 | Learning syntax and FP at the same time... | Haskell and creative freedom |
| 09/15/2005 | I tried it, but I was lost. | Haskell and creative freedom |
| 09/13/2005 | FP is in fact vastly superior | Haskell and creative freedom |
| 09/14/2005 | C++ does not cut it. | Haskell and creative freedom |
| 09/14/2005 | The C++ mindshare is not on its functional features, though. | Haskell and creative freedom |
| 09/14/2005 | features? the absolutely needed ones. | Haskell and creative freedom |
| 09/06/2005 | Simple thread usage is fine, though. | Threads Cannot be Implemented as a Library |
| 09/07/2005 | You haven't had problems beca | Threads Cannot be Implemented as a Library |
| 09/08/2005 | Aha, thanks for the info (I a | Threads Cannot be Implemented as a Library |
| 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 |
| 08/29/2005 | Do we really need more imperative languages? | Tim Bray on Ruby |
| 08/28/2005 | It's lack of abstraction that adds fuziness. | Does Abstraction add Fuzziness? |
| 08/28/2005 | Where is the abstraction in t | Does Abstraction add Fuzziness? |
| 08/25/2005 | Shall I consider Erasmatron a | Deikto user interface in Erasmatron storytelling engine |
| 08/23/2005 | The hidden information problem. | Ivory Towers and Gelfand's Principle |
| 08/23/2005 | Another solution is to write | Ivory Towers and Gelfand's Principle |
| 08/24/2005 | Let's be honest. | Ivory Towers and Gelfand's Principle |
| 08/24/2005 | This is not what I want. | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | Nice examples, but by looking | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | 'Practical' means that I have | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | You asked if a number of thin | Ivory Towers and Gelfand's Principle |
| 08/08/2005 | I think what's important is t | Coupling of concepts - good or bad |
| 08/05/2005 | Theoritically, the problem yo | Overloading - Syntactic Heroin? |
| 08/05/2005 | The common contract is that o | Overloading - Syntactic Heroin? |
| 08/06/2005 | And on a related gripe; I hat | Overloading - Syntactic Heroin? |
| 08/06/2005 | seat belts and air bags are u | Overloading - Syntactic Heroin? |
| 08/05/2005 | I think the Python approach | Overloading - Syntactic Heroin? |
| 08/06/2005 | I never associated "+" with a | Overloading - Syntactic Heroin? |
| 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/28/2005 | It is quite an enlighting sit | [Fun, crass] The Daily WTF |
| 07/27/2005 | A software engineering problem: how would functional programming solve it? | A software engineering problem: how would functional programming solve it? |
| 07/27/2005 | Tk does not support the Model | A software engineering problem: how would functional programming solve it? |
| 07/28/2005 | Thanks a lot for the replies, | A software engineering problem: how would functional programming solve it? |
| 07/25/2005 | The essay is not about buffer | ACM Queue: Security Problem Solved? |
| 07/22/2005 | Reflection, Java and C++ | Concerning introspection and compilation. |
| 07/22/2005 | I meant that a JVM can replac | Concerning introspection and compilation. |
| 07/21/2005 | Objects have failed. | On the Revival of Dynamic Languages |
| 07/21/2005 | Static typing does not prohibit change | On the Revival of Dynamic Languages |
| 07/20/2005 | Lack of communication = problem not explicitely defined | Grady Booch: Software Engineering Grand Challenges |
| 07/19/2005 | Conversion of 'functional' to 'imperative' algorithms: is it possible? | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/20/2005 | SSA | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/11/2005 | It's freightening to read CS | Classic LISP books online |
| 07/08/2005 | An honest question | Parrot 0.2.2 Released |
| 07/06/2005 | Although I am font of C++ (99 | The design of C++0x |
| 07/05/2005 | Nice tutorial. | Squeak tutorial |
| 07/11/2005 | REBOL | Dead Languages |
| 06/27/2005 | Recursion was much less intuitive than iteration in my course | Why recursing is better than looping |
| 06/11/2005 | DSLs are not needed for web apps; current PLs are fine. | Connecting The Dots |
| 09/29/2005 | What he says is that referent | From Perl Monks: "pissed off about functional programming" |
| 09/30/2005 | wasn't it ML that allowed symbols with the same name? | From Perl Monks: "pissed off about functional programming" |
| 09/30/2005 | Misunderstandings... | From Perl Monks: "pissed off about functional programming" |
| 10/03/2005 | I agree, and I already said problem is exagerrated. | From Perl Monks: "pissed off about functional programming" |
| 08/04/2005 | A segmentation fault is the r | Memory fault and segmentation faults |
| 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++? |
| 01/28/2005 | Question from the imperative camp | BitC, a new OS implementation language |
| 07/13/2005 | I haven't read of course all | Why type systems are interesting - part III: latent types |
| 07/13/2005 | I think textual matching is e | Why type systems are interesting - part III: latent types |
| 09/11/2005 | Could static algebraic expressions be part of types? | Why type systems are interesting - part II |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |