Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Marcin Tustin

  Date    Post    Topic  
10/10/2005If this were settled, then itThe Church-Turing Thesis: Breaking the Myth
10/10/2005MONAD THE ULTIMATEThe Church-Turing Thesis: Breaking the Myth
10/10/2005Lambda the ultimate imperativThe Church-Turing Thesis: Breaking the Myth
09/30/2005In any case where we have f x"The Anatomy of a Loop"
09/29/2005I want you to think about whaInvokedynamic
09/27/2005For all that some people likeAbstractions considered harmful?
09/24/2005"This is a for-loop"What is Intuitive?
09/24/2005For one because it is impossiRuby: Language of the Programming Übermensch?
09/16/2005Pattern matching is availableMost Productive FP Lang?
09/16/2005Really? Functional languagesMost Productive FP Lang?
09/16/2005No, it is available for free:Most Productive FP Lang?
09/23/2005It is because you have not boMost Productive FP Lang?
09/15/2005Are you joking?Haskell and creative freedom
09/15/2005When's the last time you workHaskell and creative freedom
09/08/2005They appear to be different.Persistent functional databases
08/30/2005Not the most egregious problemYearning for a practical scheme
09/01/2005Why not actually just write aYearning for a practical scheme
08/24/2005Actually, we have other problShould Computer Science Get Rid of Protocols?
08/25/2005Poor design practices are a fShould Computer Science Get Rid of Protocols?
08/24/2005This seems to be literal nonsShould Computer Science Get Rid of Protocols?
08/24/2005In that sense, though, anythiShould Computer Science Get Rid of Protocols?
08/24/2005If only he could have formedShould Computer Science Get Rid of Protocols?
08/24/2005He's failed to articulate anyShould Computer Science Get Rid of Protocols?
08/24/2005Oh man returning of lambda foWhen to create syntax?
08/21/2005SMV is really for modelling sFormal semantics for working programmers
08/12/2005Probably the most complex staInvariants/Contracts vs. types
08/14/2005Static typing just helps toInvariants/Contracts vs. types
08/11/2005There's a huge sub-thread onExpressivity
08/15/2005They recently made much moreConcatenative Language Kont
08/11/2005... one could even conclude tConcatenative Language Kont
08/13/2005As O said, I interpreted hisConcatenative Language Kont
08/11/2005As in "arse" or "donkey"?Concatenative Language Kont
08/07/2005I must admit, the SML 97 langHave scripting languages peaked?
08/07/2005Random testingHave scripting languages peaked?
08/06/2005"I think we can do a lot better than this"Have scripting languages peaked?
08/06/2005Then maybe he should not haveHave scripting languages peaked?
08/06/2005and btw...Have scripting languages peaked?
08/06/2005Actually, no: A programmer isOverloading - Syntactic Heroin?
08/06/2005Never appended a string in JaOverloading - Syntactic Heroin?
08/06/2005I've never used a butter knifOverloading - Syntactic Heroin?
08/06/2005I think you've been sidetrackOverloading - Syntactic Heroin?
08/06/2005Might be true for java, but...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005I wonder if this is a self-peObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Indeed. And it's worth notingObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005I find that I can use a web bObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005So, your point is that you doObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005I fully understand how code cObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Why can't you copy from lynx?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005I use code completion in XEmaObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005How can you say? Detachment iObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005"i'm wondering if you ever usObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Frankly, I can't stand eclipsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005I've written a lot of java inObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005I'm referring to being challeObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005I'm not talking about openingObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Could you point to where I haObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005There no IDEs for C that areObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Visual Studio supports C. AsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Actually, I think you'll findObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Well, one can probably induceObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/09/2005Name one.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005"Perceived slowness"? PerceivObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005On a more serious point - anyObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Sure, it's not cut-and-dried-and-universalObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005Hmm, what's wrong with storinObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005Why not make a prototype in lObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005Prolog has the purity of a stMercury Vs Prolog
08/04/2005Sure, but I can think of entiMercury Vs Prolog
08/06/2005Shot with a poisoned arrow?Causal Nets
08/01/2005This would cause me so much pNew Fortress Specification
08/01/2005One time...Vacation
08/01/2005It's the continuations make tVacation
07/22/2005Sure, but there's an appreciaThe Complexity Zoo
07/23/2005My serious point is that diffThe Complexity Zoo
07/24/2005So, what, we should all progrThe Complexity Zoo
07/21/2005What would be the applicationOn the Revival of Dynamic Languages
07/22/2005Tuareg mode?On the Revival of Dynamic Languages
07/12/2005Such systems which document bStatic Typing Where Possible, Dynamic Typing When Needed
07/11/2005I recommend taking two co-codClassic LISP books online
07/11/2005While this is true, lisp, likData is code
07/10/2005Well, what languages/compilerCTM
07/06/2005That standard is so fresh andThe New C Standard
07/06/2005Have you come across CMUCL? TThe design of C++0x
07/05/2005More importantly, when I lookSqueak tutorial
07/05/2005When I tried GNU Smalltalk aSqueak tutorial
07/09/2005"Formal" eh? It's defined inMartin Fowler on Language Workbenches and DSLs
06/29/2005I print them, annotate them,Organizing papers...
06/29/2005If you're using Java, a simplHungarian Notation vs The Right Thing
07/01/2005Spolsky covered this in his aHungarian Notation vs The Right Thing
07/01/2005Because it is a primitive forHungarian Notation vs The Right Thing
07/03/2005What do you mean by The RightHungarian Notation vs The Right Thing
07/04/2005Well, there are decent staticHungarian Notation vs The Right Thing
07/01/2005Have you heard of common lispFunctions as Classes: Which languages?
06/27/2005Sounds like you should look aFunctions as Classes: Which languages?
06/23/2005There's some paper by SteeleA Monadic Framework for Subcontinuations
06/23/2005Well, that's not what the stuWhy recursing is better than looping
06/22/2005Unnamed studies quoted by myWhy recursing is better than looping
06/22/2005Yes, but it's nice to have soWhy recursing is better than looping
07/12/2005What???? ANSI C remains the mEmbedded Languages in Java
07/12/2005Oh man that is such a killerEmbedded Languages in Java
07/12/2005My point is that for most javEmbedded Languages in Java
06/17/2005What is a "non-wellfounded daTim Bray: On Threads
06/15/2005I disagree. I think that JavaJava Generics, Arrays, and Comparables
06/11/2005Sure, but design inheres in aConnecting The Dots
06/10/2005Well, if a language is betterHappy Birthday, PHP...
06/09/2005I find the ruby syntax hideouHappy Birthday, PHP...
06/10/2005Perhaps I was looking in theHappy Birthday, PHP...
06/11/2005To address the syntactical poHappy Birthday, PHP...
06/11/2005I don't use perl very much, bHappy Birthday, PHP...
06/11/2005As I've said, it's been sometHappy Birthday, PHP...
06/10/2005Yeah, I publicly apologise foHappy Birthday, PHP...
06/01/2005Being a vague observer of theWhat is so bad about compiling?
05/26/2005Hmm, surely this loses out toContext Free: Grammars as Graphics
05/23/2005More generally, tutorials donHaskell for C Programmers
05/24/2005Tony Hoare recently gave a taParameterized Unit Tests
05/19/2005Yes, I believe they're a formFunny characters inference
05/20/2005Why did you call the languageTail recursion
05/19/2005I thought that would rather lGrassroots computing languages hit the big time
05/14/2005From the information on espacLanguage-based security for mobile code, with applications to smart cards
05/15/2005As has been pointed out beforA question about COBOL!
07/26/2005Hey why don't we ask one of oGADTs + Extensible Kinds = Dependent Programming
05/17/2005Well, it's one answer to "WhyCall for Papers: ACM Symposium on Dynamic Languages
05/01/2005Well, if you believe that conWhat makes Centum a bad language?
05/02/2005Right, because in the lisp caWhat makes Centum a bad language?
05/01/2005What's its hook?What makes Centum a bad language?
05/01/2005Well, you claim to be lisp-liWhat makes Centum a bad language?
05/03/2005Common lisp shows that typingExpressivity of lisp/scheme but speed of assembly/C/C++
05/04/2005Bother to read the words on your screenExpressivity of lisp/scheme but speed of assembly/C/C++
05/04/2005This is true. After all, theiExpressivity of lisp/scheme but speed of assembly/C/C++
04/26/2005What could be better?Implementing a Lisp Editor - Would like some advice.
04/22/2005What are your problems with iWhy do they program in C++?
05/18/2005Perhaps I'm being stupid, butWhy do they program in C++?
05/18/2005Thanks.Why do they program in C++?
04/23/2005There are a number of projectWhy do they program in C++?
04/25/2005Most of what you say makes noWhy do they program in C++?
04/25/2005Ok, leaving aside the fact thWhy do they program in C++?
04/25/2005Sure - but I'm not going to aWhy do they program in C++?
04/25/2005[...]Java is way too clever fWhy do they program in C++?
04/25/2005It's not just that C++ givesWhy do they program in C++?
04/25/2005There's a fast way to map intWhy do they program in C++?
04/25/2005I'm happy to go on the recordWhy do they program in C++?
04/25/2005Actually, I find it hard to sWhy do they program in C++?
04/25/2005I think you'll find that I'veWhy do they program in C++?
04/26/2005Allocate an array of size MAXWhy do they program in C++?
04/26/2005Pray tell why?Why do they program in C++?
04/27/2005Actually, I failed to take acWhy do they program in C++?
04/25/2005Please explain the differenceWhy do they program in C++?
04/26/2005Correct; however, there is noWhy do they program in C++?
04/25/2005How often do you find lazinesWhy do they program in C++?
04/13/2005The only secure way for the cLinks
04/13/2005This does not require the staLinks
04/14/2005You seem to have left out theLinks
04/10/2005High-yield languages?Computerworld Development Survey
04/04/2005Surely you mean that code wriexpressivity of "idiomatic C++"
04/05/2005In my experience, there is aexpressivity of "idiomatic C++"
04/05/2005You do know what quotes signiexpressivity of "idiomatic C++"
04/06/2005I meant in English. Simply beexpressivity of "idiomatic C++"
03/30/2005IMHO the version of each funcexpressivity of "idiomatic C++"
03/29/2005Full C++ listing pleaseexpressivity of "idiomatic C++"
03/29/2005OP?expressivity of "idiomatic C++"
03/29/2005An attempt at a full C++ versionexpressivity of "idiomatic C++"
03/30/2005I note that the "full haskellexpressivity of "idiomatic C++"
03/29/2005Another modificationexpressivity of "idiomatic C++"
03/29/2005The version you replied to prexpressivity of "idiomatic C++"
04/02/2005What, because strictly speakiexpressivity of "idiomatic C++"
04/02/2005Why can this not be written aexpressivity of "idiomatic C++"
04/02/2005This looks horrible. At firstexpressivity of "idiomatic C++"
04/04/2005Inspired by scheme in what waexpressivity of "idiomatic C++"
04/04/2005You're really saying that thaexpressivity of "idiomatic C++"
04/05/2005Yes - that's my point: If youexpressivity of "idiomatic C++"
04/05/2005Can you explain why the diffeexpressivity of "idiomatic C++"
03/21/2005Why not use an off-the-shelfScript Vs Java
04/25/2005I would broadly agree with thScript Vs Java
03/22/2005Surely the definition of "scrScript Vs Java
03/19/2005The two goals are not, of couThe fate of reduce() in Python 3000
06/03/2005This pdf seems pretty acceptaIssue One of The Monad.Reader, monthly Haskell eZine
10/24/2005Firstly, I've seen studies ofthe Chinese natual language
07/13/2005Simple matching will fail toWhy type systems are interesting - part III: latent types
07/13/2005OK, but all that shows is thaWhy 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

Chris Rathman/ Chris.Rathman@tx.rr.com