recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Term Rewrite System Implementations? Yeah well by marco η by Ivan V. definitions by dmbarbour As I stated before by marco I'm not sure of that by John Shutt βη by Ivan V. Confused by gasche Well, fwiw, by John Shutt Got me there... by Ivan V. They take a typed input and by John Shutt ...	Ivan V.	2016-09-18 00:10
Story	Functional Pearl: Type-safe pattern combinators hallelujiah by raould Nicer types for Type-safe by naasking Template Haskell by AaronNGray Exhaustiveness checking by marco Right, exhaustiveness by naasking Exhaustiveness checking by Vesa Karvonen See also, Compiling with by naasking One feature that the by naasking "Representing monads" by Noam Nice by Vesa Karvonen ...	naasking	2016-09-16 18:18
Forum topic	Looking for references on the expressiveness and computational completeness of a relational programming language Simplicity and Elegance by Keean Schupke I think I would rather say by davidb Right for wrong reasons. by Keean Schupke Some additional references by davidb Modern datalog is TC by davidb Function Symbols by Keean Schupke . by Keean Schupke Prolog has function symbols by Neil Madden Of Course Prolog is Turing Complete by Keean Schupke Data vs program complexity by Neil Madden ...	davidb	2016-09-08 06:02
Forum topic	Lecturing birds how to fly lecture styles by John Shutt I'm not sure "leader" by John Shutt Are you sure? by chrisoliver History by marco The flip side of generalized theories by marco I don't agree with some of by naasking Plato and Aristotle by John Shutt Happens a lot by marco	Charles Stewart	2016-09-07 18:46
Forum topic	NOOL 2016	Roly Perera	2016-09-07 09:00
Forum topic	Programming Languages as Mathematical Representations state of mathematics by John Shutt If math can be programmed in Turing machine by Ivan V. You can also flip the question and see math as programming by marco Andrej Bauer's take on by naasking applied by John Shutt substrate vs. goal by Bruce J. Bell thinking previously impossible thoughts by John Shutt dogs playing chess by raould o_O by John Shutt tongue in cheek by raould ...	mfidelman	2016-09-03 23:25
Forum topic	Whither FRP? Functional Reactive by bashyal Thanks for Letting me Know by Kevin Greer Yes, very Similar by Kevin Greer Your foam web site by chrisoliver FOAM looks like an by naasking FRP in FOAM by Kevin Greer See site by lmeyerov What is falcor? by mamcx Yep by lmeyerov Which paper? by neelk ...	raould	2016-09-03 12:47
Forum topic	Viability of a static type system (like ML) for a relational language? Counter-example: need for RENAME by AntC Sufficiency by Keean Schupke Five are not enough by davidb Cross join is enough by Keean Schupke Unique column names. by Keean Schupke The type system in The Third Manifesto is pretty good by davidb Rename is not needed if the design is done right by davidb Cross joins are not quite enough by davidb Rename and Explicitness by Keean Schupke Codd, cross and natural by AntC ...	mamcx	2016-08-29 22:50
Forum topic	language handling of memory and other resource failures Multiple processors by Keean Schupke Concurrency = Unpredictability by Andrew Moss when vs how much by Rys McCusker Modern processors are complicated by Matt M Time as a resource by Keean Schupke More on Time by skaller Time by skaller Close down and continue by Keean Schupke re: checkpoints and failure by dmbarbour Checkpoints by Keean Schupke ...	Rys McCusker	2016-08-27 18:57
Forum topic	Is there a language with the ability to write arbitrary type functions? Trait Objects by Keean Schupke Rust trait's don't always by Blaisorblade Rust Traits by Keean Schupke Yes, D is good by davidb Haskell can do it, Rust I'm not so sure by davidb Second class types are enough by davidb Generative generics by davidb dogged by raould You look at the code? Still by mamcx re: code by raould ...	davidb	2016-08-24 18:18
first page previous page next page last page