recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Learning Pragmatics of Implementing a "Modern" Type Systems Re: type systems as sequent calculi solvers by raould I personally understand most by Philippa Cowderoy Use your head by marco It'd be easier if you didn't ignore me! by Philippa Cowderoy Go get yourself a copy of by Scott Johnson Nag by Matt Hellige I'll try to clarify... by scottmcl Clarification? by RM Schellhas Implementation approaches by Philippa Cowderoy Hmmm.... by marco ...	scottmcl	2009-01-02 22:51
Forum topic	Seeking thoughtful criticisms of functional programming and languages Isn't the memory footprint impractical ? by Michael Moser a while ago, I wrote a brief on Scheme vs. Common Lisp. by Ray Dillinger It's still out there, if you dig... by Dan Moniz No hard feelings, I hope by Matt Hellige Hmm, by Zarko Oh, I dunno... by Matt Hellige Who hurt you? by Frank Atanassow NDFA-like computes by dmbarbour Documentation? by pdf23ds Referential Transparency Def by dmbarbour ...	scottmcl	2013-03-31 00:40
Forum topic	Is Small Still Beautiful? orthogonality in the semantics by Onnie Lynn Winebarger Mmm... by Rehno Lindeque OK by scottmcl I must admit my ignorance by scottmcl My notions of embedded programming are way out of date by scottmcl Funny you should mention .... by scottmcl FWIW, I really like the direction of your comments by scottmcl "Convenience kills" by scottmcl What are you replying by Z-Bo We have the CLR because MS by Z-Bo ...	scottmcl	2009-12-11 21:05
Forum topic	Interesting Standard Libraries to Study I understand by Z-Bo You might have misunderstood by scottmcl Scala's XML support was rare by Sean McDirmid For example, imho, to by Z-Bo Main themes aren't always the most profitable by Z-Bo That sounds like Collaborative Scaladoc by Miguel Garcia - Scala Co... available for free by Jason Grossman A standard library by dmbarbour Philosophical differences abound by Mike Lewis What is a standard library? by scottmcl ...	scottmcl	2011-01-06 17:54
Forum topic	Brief Question on extension to ANF IR Whoops, a little mistake by scottmcl	scottmcl	2012-03-26 11:56
Forum topic	Module Initialization and Ordering - Another Module Question The finest wisdom by Sam Tobin-Hochstadt R6RS, OSGi and the NetBeans Module System by vieiro Agreed by Manuel J. Simoni readscheme.org by Matt Hellige Not really research papers, by Ehud Lamm	scottmcl	2009-11-22 23:04
Forum topic	Parsing user defined operators with precedence/assoc ala ML I think that the typical by Jeremy Avoiding mutable state altogether? by Andreas Rossberg Global state by Jeremy Yes, but... by Andreas Rossberg So I'm thinking.... by scottmcl Javascript may not be by dolf Yacc + some handwork by Andreas Rossberg	scottmcl	2009-08-01 12:05
Forum topic	Articles on deforestation of functional array/vector/matrix operations in a strict language Thank you! That is a place I by scottmcl single assignment C by Jacques Carette	scottmcl	2010-08-26 14:42
Forum topic	Simple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs The programmer in me . . . by yminsky Setwise lookup? by gasche Not so by Andreas Rossberg All recursive by skaller In these other cases (like by gasche What about member function defs (type class defs, etc.)??? by scottmcl Parsing is some extra work, by Matt M The input sequence to get a by Jules Jacobs If you allow the user to by Matt M I agree with you that code by Jules Jacobs ...	scottmcl	2012-12-02 19:19
Forum topic	Types from imported modules "leaking" into a module's public interface Formalizing some of this by dmbarbour How do you formalize all of this? by Matt M Code Search - Semantics vs. IDE feature by dmbarbour Ok, your modules are by Sean McDirmid Global Environment/Types as Glue by scottmcl Very Good Question by scottmcl Linker as Constraint Solver by dmbarbour Jiazzi leveraged explicit by Sean McDirmid Comments of this caliber by Matt M What's the problem? by Scott Kilpatrick ...	scottmcl	2011-05-01 17:19
first page previous page next page last page