Posts By: Marcin Tustin
Date | Post | Topic |
10/10/2005 | If this were settled, then it | The Church-Turing Thesis: Breaking the Myth |
10/10/2005 | MONAD THE ULTIMATE | The Church-Turing Thesis: Breaking the Myth |
10/10/2005 | Lambda the ultimate imperativ | The Church-Turing Thesis: Breaking the Myth |
09/30/2005 | In any case where we have f x | "The Anatomy of a Loop" |
09/29/2005 | I want you to think about wha | Invokedynamic |
09/27/2005 | For all that some people like | Abstractions considered harmful? |
09/24/2005 | "This is a for-loop" | What is Intuitive? |
09/24/2005 | For one because it is impossi | Ruby: Language of the Programming Übermensch? |
09/16/2005 | Pattern matching is available | Most Productive FP Lang? |
09/16/2005 | Really? Functional languages | Most Productive FP Lang? |
09/16/2005 | No, it is available for free: | Most Productive FP Lang? |
09/23/2005 | It is because you have not bo | Most Productive FP Lang? |
09/15/2005 | Are you joking? | Haskell and creative freedom |
09/15/2005 | When's the last time you work | Haskell and creative freedom |
09/08/2005 | They appear to be different. | Persistent functional databases |
08/30/2005 | Not the most egregious problem | Yearning for a practical scheme |
09/01/2005 | Why not actually just write a | Yearning for a practical scheme |
08/24/2005 | Actually, we have other probl | Should Computer Science Get Rid of Protocols? |
08/25/2005 | Poor design practices are a f | Should Computer Science Get Rid of Protocols? |
08/24/2005 | This seems to be literal nons | Should Computer Science Get Rid of Protocols? |
08/24/2005 | In that sense, though, anythi | Should Computer Science Get Rid of Protocols? |
08/24/2005 | If only he could have formed | Should Computer Science Get Rid of Protocols? |
08/24/2005 | He's failed to articulate any | Should Computer Science Get Rid of Protocols? |
08/24/2005 | Oh man returning of lambda fo | When to create syntax? |
08/21/2005 | SMV is really for modelling s | Formal semantics for working programmers |
08/12/2005 | Probably the most complex sta | Invariants/Contracts vs. types |
08/14/2005 | Static typing just helps to | Invariants/Contracts vs. types |
08/11/2005 | There's a huge sub-thread on | Expressivity |
08/15/2005 | They recently made much more | Concatenative Language Kont |
08/11/2005 | ... one could even conclude t | Concatenative Language Kont |
08/13/2005 | As O said, I interpreted his | Concatenative Language Kont |
08/11/2005 | As in "arse" or "donkey"? | Concatenative Language Kont |
08/07/2005 | I must admit, the SML 97 lang | Have scripting languages peaked? |
08/07/2005 | Random testing | Have scripting languages peaked? |
08/06/2005 | "I think we can do a lot better than this" | Have scripting languages peaked? |
08/06/2005 | Then maybe he should not have | Have scripting languages peaked? |
08/06/2005 | and btw... | Have scripting languages peaked? |
08/06/2005 | Actually, no: A programmer is | Overloading - Syntactic Heroin? |
08/06/2005 | Never appended a string in Ja | Overloading - Syntactic Heroin? |
08/06/2005 | I've never used a butter knif | Overloading - Syntactic Heroin? |
08/06/2005 | I think you've been sidetrack | Overloading - Syntactic Heroin? |
08/06/2005 | Might be true for java, but... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | I wonder if this is a self-pe | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Indeed. And it's worth noting | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | I find that I can use a web b | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | So, your point is that you do | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/07/2005 | I fully understand how code c | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Why can't you copy from lynx? | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | I use code completion in XEma | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | How can you say? Detachment i | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | "i'm wondering if you ever us | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/07/2005 | Frankly, I can't stand eclips | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/07/2005 | I've written a lot of java in | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/08/2005 | I'm referring to being challe | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/07/2005 | I'm not talking about opening | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/08/2005 | Could you point to where I ha | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | There no IDEs for C that are | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Visual Studio supports C. As | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Actually, I think you'll find | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Well, one can probably induce | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/09/2005 | Name one. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | "Perceived slowness"? Perceiv | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | On a more serious point - any | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/06/2005 | Sure, it's not cut-and-dried-and-universal | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/11/2005 | Hmm, what's wrong with storin | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/11/2005 | Why not make a prototype in l | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/04/2005 | Prolog has the purity of a st | Mercury Vs Prolog |
08/04/2005 | Sure, but I can think of enti | Mercury Vs Prolog |
08/06/2005 | Shot with a poisoned arrow? | Causal Nets |
08/01/2005 | This would cause me so much p | New Fortress Specification |
08/01/2005 | One time... | Vacation |
08/01/2005 | It's the continuations make t | Vacation |
07/22/2005 | Sure, but there's an apprecia | The Complexity Zoo |
07/23/2005 | My serious point is that diff | The Complexity Zoo |
07/24/2005 | So, what, we should all progr | The Complexity Zoo |
07/21/2005 | What would be the application | On the Revival of Dynamic Languages |
07/22/2005 | Tuareg mode? | On the Revival of Dynamic Languages |
07/12/2005 | Such systems which document b | Static Typing Where Possible, Dynamic Typing When Needed |
07/11/2005 | I recommend taking two co-cod | Classic LISP books online |
07/11/2005 | While this is true, lisp, lik | Data is code |
07/10/2005 | Well, what languages/compiler | CTM |
07/06/2005 | That standard is so fresh and | The New C Standard |
07/06/2005 | Have you come across CMUCL? T | The design of C++0x |
07/05/2005 | More importantly, when I look | Squeak tutorial |
07/05/2005 | When I tried GNU Smalltalk a | Squeak tutorial |
07/09/2005 | "Formal" eh? It's defined in | Martin Fowler on Language Workbenches and DSLs |
06/29/2005 | I print them, annotate them, | Organizing papers... |
06/29/2005 | If you're using Java, a simpl | Hungarian Notation vs The Right Thing |
07/01/2005 | Spolsky covered this in his a | Hungarian Notation vs The Right Thing |
07/01/2005 | Because it is a primitive for | Hungarian Notation vs The Right Thing |
07/03/2005 | What do you mean by The Right | Hungarian Notation vs The Right Thing |
07/04/2005 | Well, there are decent static | Hungarian Notation vs The Right Thing |
07/01/2005 | Have you heard of common lisp | Functions as Classes: Which languages? |
06/27/2005 | Sounds like you should look a | Functions as Classes: Which languages? |
06/23/2005 | There's some paper by Steele | A Monadic Framework for Subcontinuations |
06/23/2005 | Well, that's not what the stu | Why recursing is better than looping |
06/22/2005 | Unnamed studies quoted by my | Why recursing is better than looping |
06/22/2005 | Yes, but it's nice to have so | Why recursing is better than looping |
07/12/2005 | What???? ANSI C remains the m | Embedded Languages in Java |
07/12/2005 | Oh man that is such a killer | Embedded Languages in Java |
07/12/2005 | My point is that for most jav | Embedded Languages in Java |
06/17/2005 | What is a "non-wellfounded da | Tim Bray: On Threads |
06/15/2005 | I disagree. I think that Java | Java Generics, Arrays, and Comparables |
06/11/2005 | Sure, but design inheres in a | Connecting The Dots |
06/10/2005 | Well, if a language is better | Happy Birthday, PHP... |
06/09/2005 | I find the ruby syntax hideou | Happy Birthday, PHP... |
06/10/2005 | Perhaps I was looking in the | Happy Birthday, PHP... |
06/11/2005 | To address the syntactical po | Happy Birthday, PHP... |
06/11/2005 | I don't use perl very much, b | Happy Birthday, PHP... |
06/11/2005 | As I've said, it's been somet | Happy Birthday, PHP... |
06/10/2005 | Yeah, I publicly apologise fo | Happy Birthday, PHP... |
06/01/2005 | Being a vague observer of the | What is so bad about compiling? |
05/26/2005 | Hmm, surely this loses out to | Context Free: Grammars as Graphics |
05/23/2005 | More generally, tutorials don | Haskell for C Programmers |
05/24/2005 | Tony Hoare recently gave a ta | Parameterized Unit Tests |
05/19/2005 | Yes, I believe they're a form | Funny characters inference |
05/20/2005 | Why did you call the language | Tail recursion |
05/19/2005 | I thought that would rather l | Grassroots computing languages hit the big time |
05/14/2005 | From the information on espac | Language-based security for mobile code, with applications to smart cards |
05/15/2005 | As has been pointed out befor | A question about COBOL! |
07/26/2005 | Hey why don't we ask one of o | GADTs + Extensible Kinds = Dependent Programming |
05/17/2005 | Well, it's one answer to "Why | Call for Papers: ACM Symposium on Dynamic Languages |
05/01/2005 | Well, if you believe that con | What makes Centum a bad language? |
05/02/2005 | Right, because in the lisp ca | What makes Centum a bad language? |
05/01/2005 | What's its hook? | What makes Centum a bad language? |
05/01/2005 | Well, you claim to be lisp-li | What makes Centum a bad language? |
05/03/2005 | Common lisp shows that typing | Expressivity of lisp/scheme but speed of assembly/C/C++ |
05/04/2005 | Bother to read the words on your screen | Expressivity of lisp/scheme but speed of assembly/C/C++ |
05/04/2005 | This is true. After all, thei | Expressivity of lisp/scheme but speed of assembly/C/C++ |
04/26/2005 | What could be better? | Implementing a Lisp Editor - Would like some advice. |
04/22/2005 | What are your problems with i | Why do they program in C++? |
05/18/2005 | Perhaps I'm being stupid, but | Why do they program in C++? |
05/18/2005 | Thanks. | Why do they program in C++? |
04/23/2005 | There are a number of project | Why do they program in C++? |
04/25/2005 | Most of what you say makes no | Why do they program in C++? |
04/25/2005 | Ok, leaving aside the fact th | Why do they program in C++? |
04/25/2005 | Sure - but I'm not going to a | Why do they program in C++? |
04/25/2005 | [...]Java is way too clever f | Why do they program in C++? |
04/25/2005 | It's not just that C++ gives | Why do they program in C++? |
04/25/2005 | There's a fast way to map int | Why do they program in C++? |
04/25/2005 | I'm happy to go on the record | Why do they program in C++? |
04/25/2005 | Actually, I find it hard to s | Why do they program in C++? |
04/25/2005 | I think you'll find that I've | Why do they program in C++? |
04/26/2005 | Allocate an array of size MAX | Why do they program in C++? |
04/26/2005 | Pray tell why? | Why do they program in C++? |
04/27/2005 | Actually, I failed to take ac | Why do they program in C++? |
04/25/2005 | Please explain the difference | Why do they program in C++? |
04/26/2005 | Correct; however, there is no | Why do they program in C++? |
04/25/2005 | How often do you find lazines | Why do they program in C++? |
04/13/2005 | The only secure way for the c | Links |
04/13/2005 | This does not require the sta | Links |
04/14/2005 | You seem to have left out the | Links |
04/10/2005 | High-yield languages? | Computerworld Development Survey |
04/04/2005 | Surely you mean that code wri | expressivity of "idiomatic C++" |
04/05/2005 | In my experience, there is a | expressivity of "idiomatic C++" |
04/05/2005 | You do know what quotes signi | expressivity of "idiomatic C++" |
04/06/2005 | I meant in English. Simply be | expressivity of "idiomatic C++" |
03/30/2005 | IMHO the version of each func | expressivity of "idiomatic C++" |
03/29/2005 | Full C++ listing please | expressivity of "idiomatic C++" |
03/29/2005 | OP? | expressivity of "idiomatic C++" |
03/29/2005 | An attempt at a full C++ version | expressivity of "idiomatic C++" |
03/30/2005 | I note that the "full haskell | expressivity of "idiomatic C++" |
03/29/2005 | Another modification | expressivity of "idiomatic C++" |
03/29/2005 | The version you replied to pr | expressivity of "idiomatic C++" |
04/02/2005 | What, because strictly speaki | expressivity of "idiomatic C++" |
04/02/2005 | Why can this not be written a | expressivity of "idiomatic C++" |
04/02/2005 | This looks horrible. At first | expressivity of "idiomatic C++" |
04/04/2005 | Inspired by scheme in what wa | expressivity of "idiomatic C++" |
04/04/2005 | You're really saying that tha | expressivity of "idiomatic C++" |
04/05/2005 | Yes - that's my point: If you | expressivity of "idiomatic C++" |
04/05/2005 | Can you explain why the diffe | expressivity of "idiomatic C++" |
03/21/2005 | Why not use an off-the-shelf | Script Vs Java |
04/25/2005 | I would broadly agree with th | Script Vs Java |
03/22/2005 | Surely the definition of "scr | Script Vs Java |
03/19/2005 | The two goals are not, of cou | The fate of reduce() in Python 3000 |
06/03/2005 | This pdf seems pretty accepta | Issue One of The Monad.Reader, monthly Haskell eZine |
10/24/2005 | Firstly, I've seen studies of | the Chinese natual language |
07/13/2005 | Simple matching will fail to | Why type systems are interesting - part III: latent types |
07/13/2005 | OK, but all that shows is tha | Why type systems are interesting - part III: latent types |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |