Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: Daniel Slaney

  Date    Post    Topic  
12/11/2007MSPA Growable Language Manifesto
09/25/2007They are similarUniqueness Types Instead STM
09/27/2007There seems to be more thanUniqueness Types Instead STM
08/04/2007InterestingThe Karmasphere DP language
05/19/2007Multi-Stage Programming (MSP)Sun's new JavaFX Script language
03/10/2007Planner?How do you call such a design pattern
01/08/2007Eta-expansion of abstractions outside the lambda-calculusEta-expansion of abstractions outside the lambda-calculus
01/08/2007Let me see if I have this right...Eta-expansion of abstractions outside the lambda-calculus
01/09/2007Thanks again.Eta-expansion of abstractions outside the lambda-calculus
01/06/2007AOP?Charming Python: Decorators make magic easy
12/31/2006Antiobjects ~= Fields?AgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/16/2006I thought a similar thingPractical Type Inference Based on Success Typings
01/02/2007Intersection Types?Practical Type Inference Based on Success Typings
12/16/2006If you don't have a specialJava Open Review Project
11/27/2006Partial EvaluationRequest for feedback: hobbyist post on "the significance of the meta-circular interpreter."
11/13/2006Nominal vs. StructuralFunctional programming and software engineering
09/28/2006"intuition comes fromMachine Obstructed Proof
09/12/2006IDEsDynamic Languages Symposium Program Online
08/03/2006Isn't this called (object) slicing?Covariance and typing
08/03/2006I should have been more explicit.Covariance and typing
08/04/2006It is possible in Java andCovariance and typing
08/04/2006So it's not slicing, it'sCovariance and typing
08/05/2006I agree, to agree to disagree.Covariance and typing
07/21/2006OO tends toward graphs not trees.Revealing the X/O impedance mismatch
07/21/2006You're right, tendng towardsRevealing the X/O impedance mismatch
06/22/2006They wouldn't complain aboutWhat are the real benefits of FP?
06/22/2006You may well have point about AIWhat are the real benefits of FP?
05/24/2006Microthreading for mobile code on MonoContinuations and MicroThreads on Mono
05/04/2006VS, Eclipse and CrimsonEditorYour favourite editor/IDE
05/03/2006I believe...What do you believe about Programming Languages (that you can't prove (yet))?
05/04/2006Here's a good place to lookWhat do you believe about Programming Languages (that you can't prove (yet))?
05/04/2006I'm not working on ParrotWhat do you believe about Programming Languages (that you can't prove (yet))?
04/25/2006Lists for computers, either conceptually.The fundamental difference between Sets and Lists?
02/02/2006Good points...The Next Mainstream Programming Languages
07/24/2006We were using A* for pathThe Next Mainstream Programming Languages
07/28/200620-30% in our case if memoryThe Next Mainstream Programming Languages
01/13/2006P.E. is pretty tricky to do properly* ...New for Python 2.5
06/07/2006Like Eiffel's feature { X } ?Return of the Global Variables?
12/01/2005CiteseerConjunction types
11/02/2005Curry/Howard and DisjunctionCurry/Howard and Disjunction
09/23/2005Intuitive is a predicate withWhat is Intuitive?
08/05/2005Sea, IslandsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
07/20/2005Programming SystemsGrady Booch: Software Engineering Grand Challenges

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/