recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Smalltalk case-statement Style by Luke Gorrie Hmm... by Matt Hellige Dictionary lookup variation by Chris Rathman faithful to the OOP doctrine... by Isaac Gouy other approaches by Luke Gorrie OO uber-zealotry considered silly by Scott Johnson Pronouncing ">>" by Greg Buchholz If considered harmful by James McCartney Nit by Derek Elkins You know, of course, that the by Ehud Lamm ...	Luke Gorrie	2005-11-04 05:20
Forum topic	Geometric Algebra Re: Thesis by raould Been there... by genneth Don't rant against Cambridge by raould The Category of Vector Spaces and QC and FP by Derek Elkins Actually... by Derek Elkins Combinators -> Functors by brianbec Combinators by Greg Buchholz A different approach by Leland McInnes GA as a computational calculus by brianbec Divine Proportions by David B. Wildgoose ...	Derek Elkins	2005-11-04 00:16
Story	Alloy: A Simple Structural Modeling Language Based on First-Order Logic And Rice... by Ehud Lamm Agreed by Paul Snively Lightweight Formal Methods by Ehud Lamm Outstanding by erk	Paul Snively	2005-11-03 22:50
Forum topic	Jakarta Commons Monad, er, Chain [snipped pointless sarcasm] by andrew cooke Sorry by Andris Birkmanis neat! by Dave Herman What's Next? by Paul Snively	Andris Birkmanis	2005-11-03 21:12
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
Forum topic	Curry/Howard and Disjunction Both sum type former and logical disjunction are inclusive or by Charles Stewart Think of a proof term (ie, a by neelk	Daniel Slaney	2005-11-02 16:48
Story	Does Visual Studio Rot the Mind? C header files, Lazy if, Python list comps, another anecdote by shapr General refutations for general claims by Anton van Straaten actually... by rmalafaia Demo movies by Brian T Rice Refactoring in the presence of hygienic macros by Per Vognsen Refactoring with macros by Anton van Straaten Hm, do you know anywhere you by Felicia Li Svilling Interesting... by Dave Griffith I program mostly on Unix-deri by Pierre Phaneuf Do what the pros do... by Scott Johnson ...	Ehud Lamm	2005-11-02 15:37
Forum topic	Would LISP/FP help here? Lava by satnam Check John O'Donnels Hydra. by Christopher Campbell What, you actually want help?! by Noel Strafunski by Allan McInnes I know nothing about hardware design but by Matthew Willson Thanks! Any thoughts on tree manipulation then? by Laurent Bruter stacks and chips design - looked into Forth yet? by Arne Dehli Halvorsen Confluence by Paul Snively Wasn't this in Koen Claessen' by Allan McInnes Hmm... by marco ...	Laurent Bruter	2005-11-02 14:44
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? ML type theory is a dependent by neelk Confusing indeed by Sjoerd Visscher Notation by Kimberley Burchett WF types by Charles Stewart Thanks for the correction. by neelk neelk wrote: I'm pretty sure by Charles Stewart Option (1) is spot on by Charles Stewart Thanks for the clarification by Dave Menendez Re: Be Constructive by raould Pure Type Systems are a gener by neelk ...	Ehud Lamm	2005-11-02 01:34
Forum topic	Why Lists? Shifting arrays? by Andris Birkmanis Array and list interfaces versus implementations by Dave Menendez I guess you can say that its by Felicia Li Svilling Why arrays can't be like that? by Achilleas Margaritis Hmm, what sorts of things are by Tayssir John Gabbour Because they're the most natural? by Carlos Scheidegger While python's list is implem by erickt It seems that there is a diff by Felicia Li Svilling lisp lists == python lists?? by shahbaz Why lists? Five reasons. by Frank Atanassow ...	David B. Held	2005-11-01 21:15
first page previous page next page last page