recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Branching constructs in intermediate languages Sounds right by Douglas McClean I would say a case by Derek Elkins	Douglas McClean	2009-11-02 22:43
Forum topic	Overlapping instances without chaos	Douglas McClean	2010-12-31 00:03
Forum topic	Unifying map and mapM through subtyping? Arity-polymorphism by Jacques Carette Great idea by Douglas McClean Type family tricks by Sjoerd Visscher	Douglas McClean	2010-02-28 14:57
Forum topic	Ruling out nonsensical data type definitions What sort of logic is that? by Matt M Maybe complain about void by Brandon Moore The test is "does it carry by dmbarbour I'm reluctant to perpetuate by Matt M That's fair. by dmbarbour Also... by Matt Hellige Not a total stranger... by Matt Hellige I roughly consider "type" by dmbarbour If it's a poll... by Matt Hellige Agreed, optimize out is the way to go... by dmbarbour ...	Douglas McClean	2009-02-03 22:54
Forum topic	Should let be generalized? Is this really a problem with generalized let? by Ray Dillinger Right on by Douglas McClean GADTs are bizzare, type classes arent relations, and Tim's right by Matt M Top-level vs other by Tim Sweeney Good point by Douglas McClean None of the above by Matt M Outside ACM Paywall by James Iry	Douglas McClean	2010-03-12 21:18
Forum topic	Unordered pairs and their representation In practice, programs are by dmbarbour The crux by Douglas McClean That's fine. I thought that by Douglas McClean Pointers are in the same by dmbarbour I was vague there, sorry. by Douglas McClean Pointers as I meant them are by Douglas McClean Ordering Pointers by dmbarbour Question..... by Barry Watson Wrong words, but I think I am being consistent by Douglas McClean I would be interested if you by Chris Warburton ...	Douglas McClean	2013-05-16 16:11
Forum topic	Languages without operator precedence Mathematics class by intrepidis My language, Kayia, does it this way by David Broderick Be fair by Jonathan Brandmeyer Or you could infer... by RM Schellhas Whitespace implied parenthesis by Adam Kelly Where aren't the nasal demons lurking in C? by Douglas McClean C has more flexibility than just choosing an order by James Dennett in Lisp, they are obligatory by David Golden In C, the issue with side effects by Scott Johnson Side effects by Douglas McClean ...	Douglas McClean	2014-09-10 20:40
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Optimization? by Douglas McClean Indeed by Douglas McClean international standards by dmbarbour I'm not sure that radians by naasking Actually I tried to argue by Jules Jacobs I think you misunderstood by naasking Why is this wrong? Droplets by Jules Jacobs In a unit system that by Jules Jacobs Whatever/Whatever by Hank Thediek Frequency vs. the SI by Alan Eliasen ...	Douglas McClean	2014-01-14 17:44
Forum topic	Are extensible records first class patterns? I agree, it's exactly that by Douglas McClean disjointness by skaller Polymorphic record by neelk Developing intuition about why by Douglas McClean Extensible programming with first-class cases by Sam Lindley	Douglas McClean	2011-11-07 03:49
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Stream a -> Sream b by NicolasOury bravo! by pigworker Better with delimited continuations by Sam Lindley dirty money where my pottymouth is by pigworker my mistake, then by pigworker Informal isotopes by Matt M Isotopes and streamwatching by pigworker Bushes and trees by sigfpe What's an isotope? by Matt M pigworker tricked us by Matt M ...	Douglas McClean	2011-10-14 15:45
first page previous page next page last page