Posts By: Neil Madden
| Date | Post | Topic |
| 06/08/2006 | Algorithm = Logic + Control | Why Are ALL Programming Languages So Low Level? |
| 06/09/2006 | Debug REPL | Common Lisp Exception Handling |
| 05/29/2006 | Java | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | Not at all | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | Even in Java | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Tcl | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Types are fundamental? | Buried Treasure - No Fluff Just Stuff |
| 06/02/2006 | Re "defining addition by | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | Good points | Buried Treasure - No Fluff Just Stuff |
| 05/24/2006 | Because locking an operation | ruby vs python |
| 05/16/2006 | Is a Cow an Animal? | How do Java generics correspond to System F-(omega)? |
| 04/22/2006 | Ordered tuples as sets | The fundamental difference between Sets and Lists? |
| 04/23/2006 | Yes, but the question was | The fundamental difference between Sets and Lists? |
| 04/26/2006 | Yes. That's what I said, too. | The fundamental difference between Sets and Lists? |
| 04/10/2006 | I can't count the number of | public vs. published interfaces |
| 04/06/2006 | Stack-based allocation | any functional language without GC? |
| 04/04/2006 | Observable side-effects | any functional language without GC? |
| 04/04/2006 | Everything is a string | Purity in PLT |
| 04/04/2006 | 3-Lisp | Purity in PLT |
| 05/17/2006 | Moved | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) |
| 03/29/2006 | Class hierarchies and Ontologies | Class hierarchies and Ontologies |
| 03/30/2006 | The usual Computer Science | Class hierarchies and Ontologies |
| 04/01/2006 | Re: Machine understanding | Class hierarchies and Ontologies |
| 03/30/2006 | Could you expand on the | Class hierarchies and Ontologies |
| 03/30/2006 | Logical semantics | Class hierarchies and Ontologies |
| 04/01/2006 | Thanks | Class hierarchies and Ontologies |
| 03/29/2006 | When to use rules | ObjectiveCLIPS Updated |
| 03/28/2006 | Just one cell? | Google Magic |
| 03/17/2006 | Haskell MVC? | ACM Queue: On Usability of Programming Languages |
| 02/28/2006 | ParTcl | Jon Udell: Multi-language runtimes |
| 02/23/2006 | Previously on LtU | Rich resource site for the programming language "K" |
| 03/02/2006 | Technology | Introduction to the Java EE 5 Platform |
| 02/19/2006 | Why do static types help? | Gilad Is Right |
| 02/12/2006 | Mutability vs scope | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Cognitive model? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | But I do think that backward | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Forward chaining usually | Guido: Language Design Is Not Just Solving Puzzles |
| 02/09/2006 | GADTs and Dependent Types | How are GADTs useful in practical programming? |
| 02/02/2006 | I know this one! (Maybe :-) | What is a monad, why should I use it, and when is it appropriate? |
| 02/03/2006 | liftM2 | What is a monad, why should I use it, and when is it appropriate? |
| 01/31/2006 | Set theory vs type theory (vs. ...) | Lambda the Ultimate Set Comprehension |
| 01/23/2006 | Mac OS X | Choice of OS of LtU readers |
| 01/18/2006 | AIMA | Lisp is sin |
| 01/19/2006 | ADTs and S-expressions | Spring School on Datatype-Generic Programming 2006 |
| 01/19/2006 | Algebraic datatypes are typef | Spring School on Datatype-Generic Programming 2006 |
| 01/12/2006 | Towards the best collection traversal interface | Towards the best collection traversal interface |
| 01/14/2006 | Thanks | Towards the best collection traversal interface |
| 01/18/2006 | Re: complaints | Towards the best collection traversal interface |
| 01/12/2006 | Just pass the counter object to each thread | Singleton classes really that bad? |
| 01/12/2006 | I don't know about the specif | Singleton classes really that bad? |
| 01/13/2006 | Global variables vs globally shared state | Singleton classes really that bad? |
| 12/01/2005 | Need work | Collection of links to monad implementations in various languages. |
| 11/22/2005 | Ambiguous per se? | Fortress Specs Updated: 0.785 |
| 11/23/2005 | You almost make it sound conv | Fortress Specs Updated: 0.785 |
| 11/23/2005 | Thank you for the days... | Fortress Specs Updated: 0.785 |
| 10/25/2005 | Pure arrays | Why Lists? |
| 10/25/2005 | Fair enough | Why Lists? |
| 10/17/2005 | TOOT | Object Oriented Programming + Referential Transparency |
| 10/10/2005 | Will you answer "no" to this question? | The Church-Turing Thesis: Breaking the Myth |
| 09/26/2005 | Separating parser and compiler | Non-Lisp, natively extensible? |
| 09/24/2005 | Tcl and Pop-11 | Non-Lisp, natively extensible? |
| 09/25/2005 | Fold, etc | Don Box: Scheme Is Love |
| 09/26/2005 | FP in Tcl | Don Box: Scheme Is Love |
| 09/27/2005 | Off-topic | Don Box: Scheme Is Love |
| 09/22/2005 | Idle thought | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | A more viable compromise betw | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Not the point | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 08/28/2005 | Abstractionless programming | Does Abstraction add Fuzziness? |
| 08/25/2005 | Deikto user interface in Erasmatron storytelling engine | Deikto user interface in Erasmatron storytelling engine |
| 08/25/2005 | Erasmatron | Deikto user interface in Erasmatron storytelling engine |
| 08/27/2005 | A storytelling DSL | Deikto user interface in Erasmatron storytelling engine |
| 08/22/2005 | Macros vs (Lazy) Procedures | When to create syntax? |
| 08/23/2005 | Thanks for the link | When to create syntax? |
| 08/25/2005 | Yes | When to create syntax? |
| 08/23/2005 | Hutton/Meijer | Neko 1.0 |
| 08/17/2005 | Sidebar | Forum usability |
| 08/17/2005 | Off-topic | 'Information and Computation' Open Access |
| 08/15/2005 | Strings and glue | Syntax Design |
| 08/15/2005 | Strings and things | Syntax Design |
| 08/15/2005 | Maybe, but one problem is tha | Syntax Design |
| 08/16/2005 | Re: Safety | Syntax Design |
| 08/15/2005 | ... but what if the implement | Syntax Design |
| 08/08/2005 | Self-hosting | Have scripting languages peaked? |
| 08/08/2005 | Lisp | Have scripting languages peaked? |
| 07/27/2005 | Tk (again...) | A software engineering problem: how would functional programming solve it? |
| 07/21/2005 | ...and Tcl too | Grady Booch: Software Engineering Grand Challenges |
| 07/20/2005 | Copy-on-Write | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/15/2005 | Types as functions? | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/06/2005 | Scripted Compiler | The design of C++0x |
| 07/04/2005 | Tk | Behaviour: Using CSS selectors to apply Javascript functionality |
| 06/28/2005 | Enum | Generics are a mistake? |
| 06/22/2005 | Study | Why recursing is better than looping |
| 06/27/2005 | Fold! | Why recursing is better than looping |
| 06/12/2005 | GUI + solver | Sudoku |
| 06/11/2005 | Scripting | Happy Birthday, PHP... |
| 05/27/2005 | Link? | Scrap your boilerplate with class: extensible generic functions |
| 05/16/2005 | Haskell Road | Resources related to logic? |
| 05/08/2005 | Naming | subtext: Uncovering the simplicity of programming |
| 05/08/2005 | If a name only exists when it | subtext: Uncovering the simplicity of programming |
| 05/12/2005 | Better representation or better interpretation? | subtext: Uncovering the simplicity of programming |
| 05/22/2005 | Languages with Mixins | AOP blog and aosd discussion |
| 04/29/2005 | Language Representation | The Fortress Language Spec v0.618 |
| 04/22/2005 | C vs C++ | Why do they program in C++? |
| 04/22/2005 | Haskell/Ocaml and Tcl | Why do they program in C++? |
| 05/18/2005 | Tcl library docs | Why do they program in C++? |
| 04/29/2005 | mmap | Why do they program in C++? |
| 04/11/2005 | Aside: Tk | Links Slides |
| 04/04/2005 | Elephant | Starlog |
| 03/18/2005 | Grady Booch: AOSD keynote | |
| 03/22/2005 | "Procedural Manifesto" | Will Wright Presents Spore... and a New Way to Think About Games |
| 02/22/2005 | Some Tcl/Tk tools | Special characters' input methods |
| 01/26/2005 | Natural progression | Langauges and Hardware... |
| 01/21/2005 | Design Docs - Tcl TIPs | Design Docs - Tcl TIPs |
| 01/20/2005 | OO or relational? | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | Definition of "good" programmer | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | What is programming? | OOP Is Much Better in Theory Than in Practice |
| 01/22/2005 | Objects as interpreters? | OOP Is Much Better in Theory Than in Practice |
| 01/10/2005 | How does it let me avoid 1M LOC systems? | The Four Questions |
| 01/11/2005 | Return/tail call | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Types and macros | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Added to reading list | Ian Bicking: The challenge of metaprogramming |
| 01/03/2005 | It is a tragedy that almost n | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 12/30/2004 | Suggestion | PL for interactive simulation |
| 12/30/2004 | Concurrency | PL for interactive simulation |
| 12/21/2004 | Condolences | Absence |
| 12/14/2004 | AI | Lazy evaulation and combining user streams |
| 11/23/2004 | License | Little language for use within Java, suited for users to define "rules" |
| 11/23/2004 | Re: Jacl | Little language for use within Java, suited for users to define "rules" |
| 11/23/2004 | Maintained | Little language for use within Java, suited for users to define "rules" |
| 11/25/2004 | Drools | Little language for use within Java, suited for users to define "rules" |
| 11/25/2004 | Sorry | Little language for use within Java, suited for users to define "rules" |
| 11/17/2004 | Forward/Backward-chaining | Natural Programming Languages |
| 10/05/2005 | Exceptional non-deterministic search | Ken Shan: Shift to Control |
| 10/05/2004 | Java GC vs scalability | J2SE 5.0 released |
| 10/05/2004 | Quality of program | J2SE 5.0 released |
| 10/26/2004 | pop-11 | Multidimensional arrays |
| 08/22/2004 | Turing Completeness | New result re "linguistic determinism" |
| 08/02/2004 | User stylesheet | HTML guidelines |
| 07/21/2004 | TixClips | PyCLIPS - expert systems shell in Python |
| 07/18/2004 | Accessibility | Formatting hints from Mark |
| 07/15/2004 | Imperfect/incomplete knowledge | Why type systems are interesting |
| 07/16/2004 | Example | Why type systems are interesting |
| 07/16/2004 | Not a solution | Why type systems are interesting |
| 07/16/2004 | Implementation hiding | Why type systems are interesting |
| 07/16/2004 | Not true | Why type systems are interesting |
| 07/16/2004 | Exactly | Why type systems are interesting |
| 07/18/2004 | Nice | Why type systems are interesting |
| 07/14/2004 | Still don't quite get it | Explaining monads |
| 07/14/2004 | Ahhh! | Explaining monads |
| 07/02/2004 | Tcl's variable traces can do similar | Types in CMUCL |
| 07/01/2004 | Interesting | Pragmatic Programmers Interview |
| 06/28/2004 | Incremental Compiler | Poplog |
| 07/05/2004 | Anywhere to get hold of the media file? | Whiteboard with Anders Hejlsberg |
| 06/25/2004 | Is "type" a fundamental intrinsic property of values? | Is "type" a fundamental intrinsic property of values? |
| 06/25/2004 | ADTs | Is "type" a fundamental intrinsic property of values? |
| 06/25/2004 | Thanks | Is "type" a fundamental intrinsic property of values? |
| 06/25/2004 | Links to individual comments | The site discussions forum |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |