Lambda the Ultimate

type	title	author	last post
Story	Concurrent Revisions Concurrent revisions are by dmbarbour	naasking	2013-03-20 22:37
Story	Object Algebras I agree. Rank 2 generic by dmbarbour Object algebras are a very by dmbarbour This is an interesting by dmbarbour	James Noble	2013-03-16 14:38
Story	Sketchpad: A man-machine graphical communication system Sketchpad is at least a by dmbarbour	Luke Gorrie	2013-03-14 21:04
Forum topic	Fixpoint theory, induction and recursion OCM and functional programming by dmbarbour Effectively self-modifying by dmbarbour virtually impossible to by dmbarbour Computations and Calculations by dmbarbour Re: Explicit loops by dmbarbour Explicit loops considered problematic by dmbarbour	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? I wish you luck with your by dmbarbour Quibbling definitions of by dmbarbour I see nothing in the OOP by dmbarbour Temporary Data by dmbarbour Integrated Code and Data by dmbarbour OOP is not well defined, but by dmbarbour Code and Data by dmbarbour Speech-based by dmbarbour Phones are physically too small for IDEs by dmbarbour Programming AR and Ubiquitous Systems by dmbarbour ...	Sean McDirmid	2013-03-01 03:45
Story	Simple Generators v. Lazy Evaluation Thanks for the by dmbarbour Zip by dmbarbour	Manuel J. Simoni	2013-02-26 12:23
Forum topic	how to learn DSLs? Harder than a good API by dmbarbour	raould	2013-02-17 04:26
Forum topic	Library maintenance - key to language success? Wikipedia has fault-tolerant by dmbarbour If you aren't entrusting by dmbarbour Controlling entanglement of by dmbarbour Entanglement of wiki-based by dmbarbour Wiki style can work fine, by dmbarbour	John Nagle	2013-02-07 10:39
Forum topic	Numbers and how to represent them. Numerical programmers in by dmbarbour Numerical programmers aren't by dmbarbour A typed language will not by dmbarbour A matrix could be validated by dmbarbour The kind of analysis that by dmbarbour Meh. I disagree with your by dmbarbour The reason you find by dmbarbour As I said above, you can by dmbarbour A language that addressed by dmbarbour Static or Lazy Inexactness by dmbarbour ...	Ray Dillinger	2013-02-03 20:13
Forum topic	Bloom: a language for disorderly distributed programming Related by dmbarbour	Sean McDirmid	2013-01-25 20:14
Forum topic	Workshop on Probabilistic Programming in December If the sampling is by dmbarbour simply replicate the whole by dmbarbour A language for ML could be by dmbarbour The important questions by dmbarbour Correct in the sense that it by dmbarbour Heterogeneity by dmbarbour Probabilistic programming by dmbarbour The phrase "conditioning on by dmbarbour I was unable to extract by dmbarbour Modeling with probabilities by dmbarbour ...	Daniel Roy	2013-01-23 15:36
Forum topic	Import Systems Static reasoning in by dmbarbour Modules are compatible with by dmbarbour DI, plugins, reflection by dmbarbour	Kay Schluehr	2013-01-14 15:05
Forum topic	Relational Model Considered Obsolete SQL can represent bitemporal by dmbarbour A primary key isn't really by dmbarbour [dup] by dmbarbour SQL supports Relational by dmbarbour They are one way. by dmbarbour Paraconsistent logics are by dmbarbour No, it doesn't and isn't. by dmbarbour I did not ask how relational by dmbarbour Actor concurrency may by dmbarbour Why actors? by dmbarbour	Hewitt	2013-01-12 03:12
Forum topic	Pointer-Free Parallel Programming Re: Haskell comparison by dmbarbour manual GC not a problem here by dmbarbour Typically I'd call that "no by dmbarbour This looks pretty good. You by dmbarbour	sttaft	2013-01-11 15:58
Story	Rob Pike on Go at Google Have you considered that by dmbarbour Not hung up on 'dev time' by dmbarbour dev-time is poor excuse for bad abstractions by dmbarbour Multiple development models by dmbarbour Meh two by dmbarbour Not as much need for names as you assume by dmbarbour But for once I think I by dmbarbour Certainly we must use by dmbarbour I haven't a clue how Ben L. by dmbarbour Natural language doesn't by dmbarbour ...	Ehud Lamm	2013-01-09 22:52
Forum topic	Seeking feedback for a tutorial paper draft about GADTs Try the Haskell google by dmbarbour	Anton Dergunov	2013-01-08 22:02
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" New by dmbarbour Aliasing by dmbarbour Typeclasses, Collections, Existentials by dmbarbour In practice, OOP is not by dmbarbour Has-a and Is-a by dmbarbour Re: Inheritance by dmbarbour I share your cynicism about by dmbarbour The overhead of implementing by dmbarbour Of course you should invent by dmbarbour Re: Multmethods by dmbarbour ...	w7cook	2013-01-08 20:02
Forum topic	Type evolution during construction Typestate and Linear Types by dmbarbour	shap	2013-01-08 18:45
Forum topic	Multimap unification Considering that unification by dmbarbour Lazy evaluation was not by dmbarbour Unification has undesirable by dmbarbour	Robbert van Dalen	2012-12-23 23:20
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) Mixfix precedence by dmbarbour	Greg Buchholz	2012-12-20 20:48
Forum topic	Eventually consistent distributed STM Merging Transactions by dmbarbour Types for Eventual Consistency by dmbarbour	cypof	2012-12-10 06:15
Forum topic	Distributed Transactional Memory Nice by dmbarbour	cypof	2012-12-08 05:40
Forum topic	The Programming Language Tag Clouds Sweet (Everyone here should try to contribute) by dmbarbour	blambeau	2012-12-02 11:41
Forum topic	Abolishing zeros Multiplicative Inverse by dmbarbour If I was forced to make a by dmbarbour	Robbert van Dalen	2012-12-01 04:39
Forum topic	Learnable Programming I can't see where Aha! by dmbarbour Any PL is unusable without by dmbarbour Do you think that if we by dmbarbour PLs need to first solve the by dmbarbour Models of Models are common by dmbarbour We were talking about by dmbarbour Most errors caused by by dmbarbour Not Sequitur by dmbarbour No, it's an argument against by dmbarbour No implementation can avoid by dmbarbour ...	dmbarbour	2012-11-29 21:57
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation