Posts By: scottmcl
| Date | Post | Topic |
| 03/25/2012 | Brief Question on extension to ANF IR | Brief Question on extension to ANF IR |
| 03/26/2012 | Whoops, a little mistake | Brief Question on extension to ANF IR |
| 11/08/2011 | People erroneously believe | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/08/2011 | No, evolution is completely | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Sorry, I didn't mean to | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Maybe something like the old | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/25/2011 | Very well said. | John McCarthy has passed |
| 10/17/2011 | Excellent counter | "Crutches in language design", accidental complexity and feature overlap |
| 10/10/2011 | Because most programming is | Google's Dart announced |
| 10/10/2011 | Simple Question - Beta reduction and pattern matching (compile time, static) | Simple Question - Beta reduction and pattern matching (compile time, static) |
| 10/10/2011 | Thanks for the reference. | Simple Question - Beta reduction and pattern matching (compile time, static) |
| 10/12/2011 | Thanks, I'll look at the SPJ | Simple Question - Beta reduction and pattern matching (compile time, static) |
| 10/10/2011 | First impressions | F# type providers |
| 09/10/2011 | I agree strongly. | What needs to be done? |
| 09/11/2011 | I have no numbers at my fingertips | What needs to be done? |
| 09/10/2011 | What Needs to Be Done is Mostly Boring | What needs to be done? |
| 08/29/2011 | Agreed. | Opa |
| 07/25/2011 | Developer Phenomenology vs. Artifact Attributes in Language Design | Developer Phenomenology vs. Artifact Attributes in Language Design |
| 06/23/2011 | Ha! IIRC, I asked about this | modules are anti-modular |
| 05/20/2011 | Looks like a very impressive | Nemerle 1.0 released |
| 04/28/2011 | Types from imported modules "leaking" into a module's public interface | Types from imported modules "leaking" into a module's public interface |
| 04/30/2011 | Global Environment/Types as Glue | Types from imported modules "leaking" into a module's public interface |
| 04/30/2011 | Very Good Question | Types from imported modules "leaking" into a module's public interface |
| 04/15/2011 | Hey, just for kicks here on | Redhat's New Language |
| 03/30/2011 | I find this an interesting | Extensible nesting of classes |
| 03/20/2011 | Thanks! His musings on the | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | This is a mere matter of | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | This is on target. The later | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/24/2011 | "An object is quite | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/12/2011 | Very Quick Question On "where" vs. "letrec", "letfn", "labels", etc. | Very Quick Question On "where" vs. "letrec", "letfn", "labels", etc. |
| 03/12/2011 | Thanks! | Very Quick Question On "where" vs. "letrec", "letfn", "labels", etc. |
| 03/06/2011 | A few admittedly naive | Keyword and Optional Arguments in PLT Scheme |
| 03/04/2011 | PLT Newbie's Query | Middle History of Logic Programming |
| 02/16/2011 | Hmmm, I see your point, but | Extending Syntax from Within a Language |
| 02/19/2011 | Looks very nice. Pleasantly | Ela, dynamic functional language |
| 02/09/2011 | Strongly Typed Coroutines (minor question) | Strongly Typed Coroutines (minor question) |
| 02/13/2011 | Thanks all | Strongly Typed Coroutines (minor question) |
| 02/09/2011 | Give Yeti a Look | I've run out of programming languages to study |
| 12/30/2010 | This corresponds to my | The AST Typing Problem |
| 12/20/2010 | Interesting Standard Libraries to Study | Interesting Standard Libraries to Study |
| 12/20/2010 | Good call on STL | Interesting Standard Libraries to Study |
| 12/20/2010 | How to find the std Scala library docs? | Interesting Standard Libraries to Study |
| 12/20/2010 | Excellent suggestion | Interesting Standard Libraries to Study |
| 12/21/2010 | Another ancient tome already on the shelf | Interesting Standard Libraries to Study |
| 12/21/2010 | I recall eagerly reading the | Interesting Standard Libraries to Study |
| 12/31/2010 | I'm not sure the CL MOP is a "standard library" | Interesting Standard Libraries to Study |
| 12/31/2010 | What is a standard library? | Interesting Standard Libraries to Study |
| 01/06/2011 | You might have misunderstood | Interesting Standard Libraries to Study |
| 12/04/2010 | I don't care one single bit | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 10/19/2010 | Mostly Prosaic, Boring Reasons [Long] | The barrier to take-up of language innovation |
| 10/06/2010 | I interpret these comments | Design Principles Behind Smalltalk |
| 09/27/2010 | cpp | Omega - Language of the Future |
| 09/04/2010 | Yes! Due to some health | Dependency injection via parameterized types (?!) |
| 09/04/2010 | Related question. If we have | Dependency injection via parameterized types (?!) |
| 08/27/2010 | Go team! Very nice. I hope | Theoretical Computer Science StackExchange Beta now open |
| 08/24/2010 | Articles on Precise GC with Parametric Polymorphism | Articles on Precise GC with Parametric Polymorphism |
| 12/08/2010 | My primary concern is | Articles on Precise GC with Parametric Polymorphism |
| 08/24/2010 | "Representation passing" | Articles on Precise GC with Parametric Polymorphism |
| 08/25/2010 | Some Clean Source Code.... | Articles on Precise GC with Parametric Polymorphism |
| 12/05/2010 | Combine Stack Maps and Bitmask Parameters? | Articles on Precise GC with Parametric Polymorphism |
| 12/08/2010 | Sound promising. Any more | Articles on Precise GC with Parametric Polymorphism |
| 12/07/2010 | .NET, with its runtime | Articles on Precise GC with Parametric Polymorphism |
| 12/08/2010 | If I understand the first | Articles on Precise GC with Parametric Polymorphism |
| 12/08/2010 | Thanks for the reference. | Articles on Precise GC with Parametric Polymorphism |
| 08/24/2010 | Articles on deforestation of functional array/vector/matrix operations in a strict language | Articles on deforestation of functional array/vector/matrix operations in a strict language |
| 08/26/2010 | Thank you! That is a place I | Articles on deforestation of functional array/vector/matrix operations in a strict language |
| 08/25/2010 | Latently typed? | new kid on the block: fun4j is a new fp project for the Java VM |
| 08/23/2010 | In addition to queued, | Unifying Actors and Objects? |
| 08/18/2010 | Quick OT Doc Authoring/Equation Editting Question | Quick OT Doc Authoring/Equation Editting Question |
| 08/22/2010 | I'll definitely take a peek | Quick OT Doc Authoring/Equation Editting Question |
| 08/23/2010 | Just a note. So far, LyX | Quick OT Doc Authoring/Equation Editting Question |
| 08/19/2010 | I greatly prefer this tuple | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/23/2010 | Hmm. I just saw a binding | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/23/2010 | No doubt. But is this | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/25/2010 | Integer Thoughts | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/26/2010 | Heck, I view bounds checking | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/26/2010 | To speak plainly, because an | The Grafwegen Hi Compiler named Hic release 0.1 |
| 09/03/2010 | Very good point | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/23/2010 | How about the good old x86 | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/16/2010 | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Thanks. That's great that I | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/17/2010 | It's safe to say that one, | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/19/2010 | Thanks for the Stephen Kell | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Inventors and Assignees | Miguel de Icaza on Java lawsuit |
| 08/16/2010 | Good | Miguel de Icaza on Java lawsuit |
| 08/16/2010 | Could well be such a warning | The ideal style/system for namespaces. |
| 08/16/2010 | Again '->' pointer dereference is very much in C but .... | The ideal style/system for namespaces. |
| 08/15/2010 | Won't simple binding handle | The ideal style/system for namespaces. |
| 08/15/2010 | Interesting. I want to get | The ideal style/system for namespaces. |
| 08/16/2010 | Usefulness of modules? | The ideal style/system for namespaces. |
| 08/16/2010 | p.p.s. In my experience, we | The ideal style/system for namespaces. |
| 10/19/2010 | We need a moderated site on | Compiler Design Q&A Site |
| 08/09/2010 | How to classify type of ML's exn ? (Naive question) | How to classify type of ML's exn ? (Naive question) |
| 08/09/2010 | So in a language with a | How to classify type of ML's exn ? (Naive question) |
| 08/09/2010 | Ah yes, roger that. | How to classify type of ML's exn ? (Naive question) |
| 08/09/2010 | Computed Optional Keyword Args Nice Feature for Prototyping This | Type Classes as Objects and Implicits |
| 08/19/2010 | From the above mentioned | Type Classes as Objects and Implicits |
| 08/22/2010 | Thanks for the update! Hard | Type Classes as Objects and Implicits |
| 08/23/2010 | Just a curiosity of mine, | Type Classes as Objects and Implicits |
| 07/21/2010 | Odd, I'm not getting any | Scribble: Closing the Book on Ad Hoc Documentation Tools |
| 06/16/2010 | There are so many factors. | Evaluating code quality |
| 06/18/2010 | Yes! "Software Inspection". | Evaluating code quality |
| 06/09/2010 | BTW, are there any | Why a film about the APL array language family? |
| 06/10/2010 | Well said! It's pretty much | Why a film about the APL array language family? |
| 06/07/2010 | Just Forget Eval | berp |
| 05/25/2010 | Java inching toward Scala? | Adding Type Constructor Parameterization to Java |
| 05/24/2010 | Types/Ordering of canonical FP compiler transforms and optimizations? | Types/Ordering of canonical FP compiler transforms and optimizations? |
| 05/26/2010 | Simpleton question, sorry - | Types/Ordering of canonical FP compiler transforms and optimizations? |
| 05/27/2010 | Thanks | Types/Ordering of canonical FP compiler transforms and optimizations? |
| 05/27/2010 | Thanks | Types/Ordering of canonical FP compiler transforms and optimizations? |
| 05/13/2010 | Means to Limit or Constrain Side Effects | Means to Limit or Constrain Side Effects |
| 05/13/2010 | Aims and Motives | Means to Limit or Constrain Side Effects |
| 05/13/2010 | BTW - Constraints on My Inquiry | Means to Limit or Constrain Side Effects |
| 05/13/2010 | Clojure's Transients | Means to Limit or Constrain Side Effects |
| 05/14/2010 | The real problem here is | Means to Limit or Constrain Side Effects |
| 05/14/2010 | Different goals | Means to Limit or Constrain Side Effects |
| 05/10/2010 | Still Miss "Lisp Pointers" | Code Quarterly - The Hackademic Journal |
| 05/01/2010 | Basic Question on Array and Hash Dict Intensive Langs | Any research on garbage collection for a pure langauge? |
| 04/20/2010 | Seeking thoughtful criticisms of functional programming and languages | Seeking thoughtful criticisms of functional programming and languages |
| 04/20/2010 | Thanks here's a freebie reference to the paper | Seeking thoughtful criticisms of functional programming and languages |
| 04/21/2010 | I'm inclined to agree - ML kinda rules :-) | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | Very odd that there aren't more head on criticisms | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Why should we care at all | Seeking thoughtful criticisms of functional programming and languages |
| 04/26/2010 | Boy, am I totally in the dark | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | We did have serviceable | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Is it such a weakness? | Seeking thoughtful criticisms of functional programming and languages |
| 04/25/2010 | Odd comment on Bling's home page | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Not so sure about programmer (in)capabilities | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Transitioning, Learning, etc. | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Ah men, brother | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | Exactly! | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | C++ is the best C we've got... | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | What about the CLR and Scala 2.8? | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Thank you! | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | Good and Bad of Agile | How can C Programs be so Reliable? |
| 04/22/2010 | You make me feel like a dinosaur :-) | How can C Programs be so Reliable? |
| 04/20/2010 | Has anyone considered a limited exception design | How can C Programs be so Reliable? |
| 04/20/2010 | Thanks - I'm encouraged! | How can C Programs be so Reliable? |
| 04/21/2010 | Good design prefered over convenience? | How can C Programs be so Reliable? |
| 04/21/2010 | Tedium of enumerating exceptions.... | How can C Programs be so Reliable? |
| 04/21/2010 | Exceptions vs. HOF = fauly type systems? | How can C Programs be so Reliable? |
| 04/17/2010 | More interesting things to do than implement JavaScript | Ideas for a PL-oriented honors thesis |
| 04/09/2010 | "Originally Written" ? | iPhone PL lockdown |
| 04/11/2010 | Don't despair too much | iPhone PL lockdown |
| 04/11/2010 | Apple has a clear out on this issue | iPhone PL lockdown |
| 04/08/2010 | Could you clarify "solvers"? | Specifying Solvers? |
| 04/07/2010 | Higher order functions vs. function arity and calling conventions | Higher order functions vs. function arity and calling conventions |
| 04/09/2010 | Can't Scheme just use apply (most of the time) | Higher order functions vs. function arity and calling conventions |
| 04/08/2010 | Declarations and function types... | Higher order functions vs. function arity and calling conventions |
| 04/08/2010 | p.s. Partial Application > Curried Functions | Higher order functions vs. function arity and calling conventions |
| 04/08/2010 | Thanks for the clarification! | Higher order functions vs. function arity and calling conventions |
| 04/09/2010 | Tuples vs. Currying | Higher order functions vs. function arity and calling conventions |
| 04/09/2010 | Very good point.... | Higher order functions vs. function arity and calling conventions |
| 03/31/2010 | My beef with exceptions.... | Go's proposed panic/recover exception-like mechanism |
| 03/26/2010 | To repectively disagree (for the near future) | Will data-intensive computing revolutionize programming languages? |
| 03/25/2010 | CL's Lambda Lists and DSL's | Clojure's Mini-languages |
| 03/23/2010 | Static analysis and compilation | First-class environments. Discuss. ;) |
| 03/25/2010 | Typed Scheme Totally Rocks | First-class environments. Discuss. ;) |
| 03/14/2010 | quick imho reply | Type system design choices |
| 06/16/2010 | Reductionism | plt vs. something else for programming in the large? |
| 05/26/2010 | So much is wrong, IMHO | plt vs. something else for programming in the large? |
| 02/17/2010 | Small PL Thought Experiment | Small PL Thought Experiment |
| 02/18/2010 | Versioning | Small PL Thought Experiment |
| 02/18/2010 | Exceptions et. al. | Small PL Thought Experiment |
| 02/18/2010 | I did a quick citeseer search | Small PL Thought Experiment |
| 02/18/2010 | Not really concerned with Web apps per se | Small PL Thought Experiment |
| 02/18/2010 | I Read It | Small PL Thought Experiment |
| 02/19/2010 | Discriminating on Types | Small PL Thought Experiment |
| 02/22/2010 | Pattern matching over types | Small PL Thought Experiment |
| 02/18/2010 | Syntax | Small PL Thought Experiment |
| 02/22/2010 | Ok, My Own Votes for Potential Additional Features | Small PL Thought Experiment |
| 02/14/2010 | Stacks, Queues vs. ...... | What data sets would tell you the most about what sort of programming language to design? |
| 01/14/2010 | Discoverability, Language Features, and the First Step Toward Composition | Discoverability, Language Features, and the First Step Toward Composition |
| 01/15/2010 | The potential of indexing | Discoverability, Language Features, and the First Step Toward Composition |
| 01/15/2010 | Great Comments, but Maybe Horses Before Carts? | Discoverability, Language Features, and the First Step Toward Composition |
| 01/15/2010 | Roll forward | Discoverability, Language Features, and the First Step Toward Composition |
| 08/09/2010 | Goal Reminds me of XLisp, XScheme, Bob, etc. | Scheme from Scratch project |
| 01/05/2010 | C has advantages and disadvantages | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 12/24/2009 | Citations/Tutorials on Scala "Modules" | Parameterized Modules |
| 12/21/2009 | Unfulfilled Promises of Software Technologies? (!) | Unfulfilled Promises of Software Technologies? (!) |
| 12/22/2009 | A few answers and comments | Unfulfilled Promises of Software Technologies? (!) |
| 12/22/2009 | Very reasonable views | Unfulfilled Promises of Software Technologies? (!) |
| 12/28/2009 | Hope to Remove Spam and Some More Clarifications | Unfulfilled Promises of Software Technologies? (!) |
| 12/20/2009 | I'll admit, I'm not sure I understand..... | Chunked sequences: Lookahead laziness |
| 12/14/2009 | Naive Question? Definition of "Higher Order" | Naive Question? Definition of "Higher Order" |
| 12/14/2009 | Just quick, an alternative | Using a single stack in the presence of continuations |
| 12/10/2009 | Implementation of Cardelli and Daan Leijen Style Record Systems? | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | Yup, that's the one. The two | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | An "Ouch" Case | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | Roger that | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | I have to agree.... | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/12/2009 | If we're talking tracking requirements.... | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | Handling illegal fields | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/12/2009 | I was confusing two articles/systems | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | Motivating cases | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | It might take 20 years.... | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/14/2009 | Efficient Record Restriction and Extension | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/05/2009 | Is Small Still Beautiful? | Is Small Still Beautiful? |
| 12/08/2009 | "Convenience kills" | Is Small Still Beautiful? |
| 12/08/2009 | FWIW, I really like the direction of your comments | Is Small Still Beautiful? |
| 12/06/2009 | The Demise of the Core of Orthoganal Features? | Is Small Still Beautiful? |
| 12/08/2009 | Funny you should mention .... | Is Small Still Beautiful? |
| 12/07/2009 | Parts of a Solution? | Is Small Still Beautiful? |
| 12/08/2009 | My notions of embedded programming are way out of date | Is Small Still Beautiful? |
| 12/08/2009 | I must admit my ignorance | Is Small Still Beautiful? |
| 12/08/2009 | OK | Is Small Still Beautiful? |
| 12/02/2009 | For some documented things.... | "Corpus" of lisp/scheme programs which can be used for research |
| 12/02/2009 | 1) Open Multimethods? 2) Nominal vs. Structural Subtyping | Go Interfaces |
| 11/19/2009 | Module Initialization and Ordering - Another Module Question | Module Initialization and Ordering - Another Module Question |
| 11/16/2009 | I Seek a Reasonable Survey on the Concept of "Module System" | I Seek a Reasonable Survey on the Concept of "Module System" |
| 11/18/2009 | Thanks for all the (divergent) pointers | I Seek a Reasonable Survey on the Concept of "Module System" |
| 11/14/2009 | Seeking nearly anything re: so called language "bootstrapping" process | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/15/2009 | How about SmallTalks - classic "image" based bootstrap | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/15/2009 | And by the way - What About Lisp Machines..... | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/16/2009 | Dragon Book and T Diagrams | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/16/2009 | There's gotta be more war stories here.... type systems? | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/18/2009 | Appel again.... | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/16/2009 | Quick thought on GC and Sys Prog Lang | Go or Unladen Swallow? |
| 11/16/2009 | Just look at the staff behind Go.... | Go or Unladen Swallow? |
| 11/16/2009 | Last little thought, promise | Go or Unladen Swallow? |
| 11/27/2009 | A GC question | Go or Unladen Swallow? |
| 11/14/2009 | This is really COOL | State of the art C compiler optimization tricks |
| 10/23/2009 | Type constructors based on capabilities of type arguments? | Type constructors based on capabilities of type arguments? |
| 10/17/2009 | I'll wager a guess | meta-Scheme? |
| 10/14/2009 | Seeking broad survey of wide range of concurrency idioms | Seeking broad survey of wide range of concurrency idioms |
| 10/15/2009 | Thanks - Looking also for coarser grained mechanisms | Seeking broad survey of wide range of concurrency idioms |
| 10/15/2009 | p.s. On the lower level control mechanism ..... | Seeking broad survey of wide range of concurrency idioms |
| 10/28/2009 | Sort of (d)evolved conversation | Seeking broad survey of wide range of concurrency idioms |
| 10/29/2009 | Thanks! | Seeking broad survey of wide range of concurrency idioms |
| 11/01/2009 | Clarification | Seeking broad survey of wide range of concurrency idioms |
| 08/17/2009 | And FALSE in some languages. | Kinds of Null |
| 07/29/2009 | Parsing user defined operators with precedence/assoc ala ML | Parsing user defined operators with precedence/assoc ala ML |
| 08/01/2009 | So I'm thinking.... | Parsing user defined operators with precedence/assoc ala ML |
| 06/19/2009 | SSA vs. CPS (and ANF?) | SSA vs. CPS (and ANF?) |
| 06/22/2009 | Thanks all | SSA vs. CPS (and ANF?) |
| 11/17/2010 | Domain Modeling Not Necessary? | Why are objects so unintuitive? |
| 01/26/2009 | Let's create an implementation oriented sub forum | Detailed discussion forum and/or IRC channel? |
| 01/16/2009 | Compilation/method resolution with structural subtyping | Compilation/method resolution with structural subtyping |
| 12/28/2008 | Learning Pragmatics of Implementing a "Modern" Type Systems | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/29/2008 | I'll try to clarify... | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/16/2008 | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/17/2008 | re: the inherent difficulty with these sort of or-types... | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/16/2008 | Roger that | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/17/2008 | I too do not like functions | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/17/2008 | Thanks for for the feedback - a few comments | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/17/2008 | I'm sincerely and humbly | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/18/2008 | So, if I understand correctly .... | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/18/2008 | Re: Typed Scheme | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/19/2008 | Typed scheme | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/22/2008 | On typed scheme, many thanks | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/18/2008 | Re: Maybe a = Just a | Nothing | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/19/2008 | I recall a recent LTU thread on Maybe a and heap allocation | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/18/2008 | Re: RTTI.... | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 10/24/2008 | I don't really think (quote | A bit of Scheming |
| 09/08/2008 | Arity pattern matching for &opt and &rest args - Interesting | Clojure's Approach to Identity and State |
| 07/07/2008 | Of Generics and Erasure and, of all things, GC and memory layout | Of Generics and Erasure and, of all things, GC and memory layout |
| 06/27/2008 | Type system that can type list structure? | Type system that can type list structure? |
| 06/27/2008 | I mucked around a bit. Sorry | Type system that can type list structure? |
| 06/17/2008 | Higher-order type constructor polymorphism vs./and template style specialization | Higher-order type constructor polymorphism vs./and template style specialization |
| 06/06/2008 | First class class objects, class vs. value namespaces, etc. | First class class objects, class vs. value namespaces, etc. |
| 06/02/2008 | Multiple Value Return - Common Lisp vs. Tuples and destructuring | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/03/2008 | CL style return values and performance | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/03/2008 | A construct like this? | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/03/2008 | You're reading my mind | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/03/2008 | I'm glad you asked that question :) | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/30/2008 | Of "consing" and avoiding multiple fun calls with mv return | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 09/08/2008 | Pattern matching MV returns? | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 09/09/2008 | Aha - CPS! | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 01/14/2011 | Thanks for the reference! | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 04/13/2008 | Simple type system oriented question | Simple type system oriented question |
| 04/13/2008 | Thanks! - and I'm 42 years old (not homework....) | Simple type system oriented question |
| 12/19/2010 | Old thread, but I just took | Pico Lisp: A Case for Minimalist Interpreters? |
| 01/14/2010 | Essential Reading on FRP? | Reactive Programming |
| 04/13/2008 | Hmmm... First, have an ABI | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/14/2011 | I might be wrong, but | Multi-Return Function Call |
| 04/12/2011 | Just trying to get my head | Multi-Return Function Call |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |