recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	The Transactional Memory / Garbage Collection Analogy A part! by renox One difference between GC and arbitrary transactions... by Scott Johnson Verifying Correct Usage of Atomic Blocks and Typestate by Tommy McGuire whence Haskell and Clojure? by raould More analogy... by Andrei Formiga Sigh by James Iry You know, by Tommy McGuire I'm not sure what you mean by Jake M Actually a bit harder by James Iry True, but... by Tommy McGuire ...	Tommy McGuire	2008-09-19 18:33
Story	The Triumph of Types: Principia Mathematica's Impact on Computer Science Very nice :) by Cyril	Ehud Lamm	2010-11-27 19:28
Story	The Trouble with Erlang It seems like that to me by Timothy Beyer LFE by Leon P Smith see LFE? by raould ill suited for every purpose by dmbarbour Really, really general purpose programming language by Charles Stewart No by dmbarbour Would it be fair then to say that by Matt M Multi-domain programming by dmbarbour General : no weaker than necessary outside the comfort zone by gasche Does the post only feature weak arguments? by Charles Stewart ...	Charles Stewart	2011-10-14 03:57
Forum topic	The Two Dualities of Computation: Negative and Fractional Types Category collapses for another reason by Ross Angle Belated correction, and taming the frays of this system by Ross Angle Assuming makes anything out of anything by Ross Angle Very funny Ha ha by Matt M Why series expansions? by Ross Angle I had never thought about by dmbarbour 1/(1 - Nat) is still Nat, but surely 1/(1 - a) isn't a! by L Spice I think we just need to by Matt M Maybe it works like this by Ross Angle Rationalization by Matt M ...	Greg Buchholz	2017-04-26 16:36
Forum topic	The Type of 42 Being strict by Anton van Straaten Eval in two lines by Anton van Straaten Good idea by cdiggins (int int)->(int) by cdiggins Will the real integers please stand up? by Anton van Straaten A Cheshire Cat? by Marc Hamann Propagation instead of inference? by pkhuong Not all programs can be by cdiggins What is your type system for? by Marc Hamann Sorry ... by cdiggins ...	cdiggins	2006-10-27 19:09
Forum topic	The Type of a Recursive Combinator Good idea by cdiggins This is a pure guess, but by Logan Capaldo	cdiggins	2006-11-10 03:10
Forum topic	the type of eval in Shen	Mark Tarver	2017-05-15 16:21
Forum topic	The Type-System-Feature-Creep Death Spiral Compilers are just programs by Chris Rathman Compile-time is but a stage. by Philippa Cowderoy Not everyone likes VMs by David B. Held Stageable dynamically checked by Philippa Cowderoy In my little system functions by rossjudson I think it's all the same. Staging happens. by shapr Types and functions are not disparate concepts. by Achilleas Margaritis but.. by Luke Gorrie Exactly. by Achilleas Margaritis "Get rid of type declarations" by Tim Sweeney ...	jesuswaffle	2005-11-02 17:15
Story	The undergraduate language course: what to do? OT: Miranda by Chris Rathman Wadler's critique online. by Humberto Ortiz Zuazaga The students seem to be able to handle it by Jacques Carette Too hard... by Ehud Lamm What about at the graduate level? by Jacques Carette Good question! by Ehud Lamm I think your attitude that wo by Felicia Li Svilling Please not smorgasbord by Logan Capaldo Critiques of SICP by Ulrich Hobelmann	Chung-chieh Shan	2005-12-27 15:53
Story	The Underhanded C Contest They are at it again... My by Ehud Lamm	Ehud Lamm	2006-04-05 17:46
first page previous page next page last page

user error: The total number of locks exceeds the lock table size
query: UPDATE sessions SET uid = 0, hostname = '35.191.10.234', session = 'messages|a:0:{}', timestamp = 1714690943 WHERE sid = 'dea9ecea404e547c75f40213c1a6c77f' in /home/ltu/www/includes/database.mysql.inc on line 66.