recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	What is a monad, why should I use it, and when is it appropriate? liftM2 by Neil Madden thanks! you've no idea how by andrew cooke It's not just for Maybes by sigfpe Maybe Example... by Greg Buchholz Nifty combinators by Dave Menendez I know this one! (Maybe :-) by Neil Madden ML union by vc For example, say you wanted by andrew cooke No, not really by Charles Stewart A very simple definition by greg travis ...	Jonathan Allen	2006-02-03 10:54
Forum topic	What is a Proposition? Yep by Charles Stewart Analogy in PLs by Niki Estner I'm sorry by Brian Hurt Pragmatically speaking by Hank Thediek propositions and sentences by vc After further consideration... by Chris Rathman Propositions and identity by Charles Stewart "The theorem demonstrates by vc Actually, Godel showed that by vc "As for unprovable by vc ...	andrew cooke	2006-02-03 17:04
Forum topic	What is a state? It's a great question by Paul Snively Motivation for Suggestion by Paul Snively Humans are curious by by rmalafaia It sounds like... by Kay Schluehr Another example by Anton van Straaten Narrowing Focus by Paul Snively Shifting goalposts by Philippa Cowderoy thanks! by rmalafaia The Slope Isn't That Slippery by Paul Snively Guesses are cheap by Anton van Straaten ...	Hank Thediek	2007-09-07 13:41
Forum topic	What is a Type? Blast From the Past by Paul Snively I agree on the emphasis by Z-Bo Thanks by andrew johnson Types are second order by Marc Hamann Semantic and syntactic notions of type by Oleg Contracts by Andreas Rossberg 'Subsets' confuses too many by dmbarbour Types ?= subsets by L Spice Infinities are tricky. by Tom Duff Types = subsets by johnwcowan ...	andrew johnson	2009-10-28 20:53
Forum topic	What is a type? My idea was to make by Mats Constrained type? by dmbarbour Types could lay the by Mats Types as incompatibility? by dmbarbour When comparing types vs by Mats re what a type can be used for by dmbarbour So a type can be anything by Mats Wrong question, a type could be anything by marco Intrinsic and extrinsic by John Shutt	Mats	2020-10-30 19:19
Forum topic	What is a type? What's a type, take #2 by cpurdy Not quite the same as axiomatic ADT by Bakul Shah Code Contracts by Z-Bo Definition of the term "behavior" by cpurdy The program you describe can by dmbarbour Computability and halting by dmbarbour re It is also true that (naasking) by Thomas Lord re: A TM is a model of computation that ... by Thomas Lord re: Infinite vs. unbounded by Thomas Lord Did misread you, Ray - sorry by Thomas Lord ...	cpurdy	2023-01-25 22:53
Forum topic	What is an Actor? ActorScript is a very simple programming language by Hewitt Okay, I'll grant that by dmbarbour Producedure calling is not faster than message passing by Hewitt Performance by dmbarbour	Hewitt	2011-02-21 02:34
Forum topic	What is computation? Concurrency versus Turing's Model Actors are computationally more powerful than NDTMs by Hewitt A Nondeterministic Turing Machine has bounded nondetermiminism by Hewitt re: computational representation theorem by Thomas Lord Computatonal Representation Theorem by Hewitt analogy considered harmful by el-vadimo This is not about the by John Shutt ActorScript has types that are Actors by Hewitt Actor partial orders by Thomas Lord Great Product by marco Mike Davey's TM by el-vadimo ...	Hewitt	2011-02-22 13:52
Forum topic	What is considered source code? What is a programming language by Ewan Geekisms by Frank Atanassow I'm sure you didn't mean to be offensive by rici Source Code by Jonathan Allen Source Code by Frank Atanassow Here's a slightly more theore by Ehud Lamm Why be tied to a definition? by sigfpe Whatever you call it... by Dave Griffith Depends on the point of view by Scott Johnson Source Code + Whatever = Configuration by Kannan Goundan	Jonathan Allen	2006-01-17 09:26
Forum topic	what is GVScript?	raould	2008-01-16 02:39
first page previous page next page last page