recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Differences between gradual, soft, and dynamic dependent typing? Search "Soft Typing" by Chris Rathman	Alex Rubinsteyn	2009-02-13 21:59
Forum topic	Overloading in a statically typed functional language Thank you very much. by Alex Rubinsteyn A couple of approaches by Daniel Yokomizo	Alex Rubinsteyn	2008-04-01 20:49
Forum topic	Subtyping + overloading Semantics by marco Great book, where's my towel ;-) by marco Since when does Haskell98 have existentials? by Philippa Cowderoy Don't panic by Philippa Cowderoy Too much machinery by marco Object vs meta by Philippa Cowderoy Yeah well, we were talking intuition by marco Semantics by Matthieu Sozeau Look at the options by marco As far as I can tell, Num by Philippa Cowderoy ...	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Genericity over tuples Arity-generic programming by naasking Generic Haskell and Template Meta Programming by marco A few points by Sam Tobin-Hochstadt An explanation by Sam Tobin-Hochstadt For example the type of '(4 by Felicia Li Svilling Neat by Alex Rubinsteyn I don't totally understand by Alex Rubinsteyn Typing polyvariadic functions, including zipNWith by Oleg Do we Need Dependent by Gal Amram Typed Scheme by Sam Tobin-Hochstadt ...	Alex Rubinsteyn	2010-02-03 21:04
Forum topic	Generating useful errors in a functional stream parser I don't know if finding errors exactly is possible by Watson Ladd explicitly reified error nodes by Rys McCusker Sure, but also just by Ehud Lamm Out of interest, would you by Philippa Cowderoy I'll answer nevertheless. by Serguey Zefirov Slightly off topic by Ehud Lamm	Alex Rubinsteyn	2007-09-13 16:14
Forum topic	Closures without function pointers You'd probably need lambda by dmbarbour Compilation tradeoffs by Alex Rubinsteyn Exponential code explosives by dmbarbour DX11 supports dynamic HLSL by Sean McDirmid Compile times by Alex Rubinsteyn Yep, abstractions are fine by Sean McDirmid If you mean aggregating by Sean McDirmid Depends on the shader model by Sean McDirmid Just Different Terminology by marco Perhaps I am missing something obvious by shap ...	Alex Rubinsteyn	2010-11-17 21:12
Forum topic	Extensible tuples? I assumed by Andreas Rossberg Only with the much weaker by dmbarbour Moot by Andreas Rossberg Ur includes a generic record by Adam Chlipala Because... by dmbarbour Right. So? by Andreas Rossberg It doesn't. Ambiguity by dmbarbour So how by Andreas Rossberg But it does make a by dmbarbour Er... by Andreas Rossberg ...	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Deprecating the Observer Pattern Glitch-freedom between Vats by dmbarbour I somehow missed the middle by Ingo Maier I am aware of the by Ingo Maier Definitely. We are slowly by Ingo Maier ... and (almost) back from by lmeyerov Thank you! by neelk Me :) Here you go! Say try by Sean McDirmid scala.react Status? by Paul Snively If you have some kind of by Ingo Maier Re: Memoization by dmbarbour ...	Alex Cruise	2010-09-28 03:56
Forum topic	Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)	Alex Cruise	2010-08-11 17:46
Forum topic	Deterministic Concurrency Strategy statement on Synchronic Computation by Alex Berka Youtube & slides links. by Alex Berka Better search term. by Alex Berka Synchronic State Diagram by dmbarbour	Alex Berka	2020-12-01 15:10
first page previous page next page last page