recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The perfect advanced programming language for the productive industrial developer This seems like a contradiction by JeffB Possible Haskell answers to a couple of points by BenMoseley At the start of the project, by naasking A Matter of Perspective by Michael Pavone Re: a single language? by raould Encapsulated mutability within a pure functional language by Adam C Familiarity by Denis Bredelet -jido Hidden concept of Time by dmbarbour Layered Languages by dmbarbour The difference is in terminology. by Serguey Zefirov ...	Adam C	2010-12-12 19:11
Forum topic	Web application shootout? olio ? by Deniz Varsay Thanks for the link! That by Adam Chlipala off-putting incidentals by Isaac Gouy Comparative study of web frameworks by Robert Pfeiffer understandable, but by Isaac Gouy Bad Statistics are Worse than None by Sam Tobin-Hochstadt I wasn't interpreting by Adam Chlipala I'm hoping you did not by lmeyerov show me the components by Isaac Gouy To me, this is quantifiable by Adam Chlipala ...	Adam Chlipala	2008-11-15 13:21
Forum topic	ANN: Ur/Web: Statically-typed metaprogramming for the web Integer overflow by Sean Leather It won't be that surprising by Adam Chlipala Or maybe not... by natecain Row polymorphism? by Chris Rathman Row Types? by drinkinglizard Fixed, thanks by Adam Chlipala Broken links in demo by Sean Leather	Adam Chlipala	2008-10-28 23:49
Forum topic	Certified Programming with Dependent Types: home stretch! For data structures in Haskell... by neelk Thanks! by Adam Chlipala OK by Paul Snively Me? I don't care either way. by Kay Schluehr Gratitude by Paul Snively Lost by Paul Snively What's a tautology? by Matt M Using the terms like Adam by Kay Schluehr I should probably explain by Adam Chlipala Suggestion by Paul Snively ...	Adam Chlipala	2012-04-22 22:31
Forum topic	The TechEmpower Web Framework Benchmarks	Adam Chlipala	2014-05-06 11:41
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco Pierce's too by Andy Gocke Right by Adam Chlipala Excellent by Chris Warburton Dependently typed Red-Black trees by Damien Guichard	Adam Chlipala	2014-01-15 13:50
Forum topic	Testing release of a platform for hosting pure functional web applications One nit by Z-Bo :) by Matt M Should we be able to share a by dmbarbour Still no sale by Matt M this thread isn't visually narrow enough by raould Forms Example by dmbarbour The Blue and Pink Planes by Z-Bo VERY good question by Z-Bo Extremely fine grained composition by Matt M Still no counter-example by Matt M ...	Adam Chlipala	2010-02-26 23:30
Forum topic	Stealing language features for fun and profit in Ruby LtU comes to the rescue by Daniel Yokomizo Interesting by christophercyll Thanks for the feedback by christophercyll No, not subclass, he means instance by Logan Capaldo Pattern Matching is orthogonal to Multiple Dispatch by Leon P Smith Hierarchy of Smalltalk classes by Isaac Gouy I think in Smaltalk an by Felicia Li Svilling In Common Lisp pattern by Felicia Li Svilling subclass? by gabriele renzi Stems from smalltalk by Chris Rathman ...	Adam K	2006-05-27 14:25
Forum topic	Incremental addition of types and contracts Erlang is rich by raould Typed Scheme by Derek Dreyer cool! by raould	Adam Solove	2009-09-29 18:04
Forum topic	excitement in language research? This a little more applied... by gmol I agree bigtime by adamarthurryan re: Two Cents by adamarthurryan I agree that (1) is most by Ehud Lamm One, Two by Marc Hamann I'll third the by BigZaphod Two Cents by Paul Snively Type System Black Hole by rhat Focus on getting real by Andreas Rossberg Not in the field, but... by James Hague	adamarthurryan	2006-12-13 08:50
first page previous page next page last page