Lambda the Ultimate

type	title	author	last post
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Service Abstractions, yes. Interoperable, no. by dmbarbour Branded class by dmbarbour Lol. It works better coming by dmbarbour "Objects" is a very loosely by dmbarbour	Sean McDirmid	2013-08-07 23:59
Forum topic	The Future of Programming according to Bret Victor I might believe my evidence by dmbarbour One can easily clarify that by dmbarbour If your claim is "I believe by dmbarbour The quickest way I've found by dmbarbour Rendering can be useful for by dmbarbour Designers rarely field by dmbarbour Shallow Semblance of Procedural by dmbarbour Precision is orthogonal by dmbarbour Re: Procedures by dmbarbour A cheaper link by dmbarbour	Christian Lindig	2013-08-02 14:28
Story	Extensible Effects -- An Alternative to Monad Transformers Which operations are part of by dmbarbour A good effects system allows by dmbarbour	naasking	2013-08-01 13:03
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Temporal logic never by dmbarbour Logic Programming does not by dmbarbour Temporal logic programming by dmbarbour	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Re: Picking from a list is better than touch typing? by dmbarbour Touch is among the worst by dmbarbour Intelligent pick lists or by dmbarbour We read code more often than by dmbarbour They already do. They look by dmbarbour	Sean McDirmid	2013-07-28 00:17
Forum topic	mobile web apps are slow -- and GC is to blame Reference Counting with Multiple Threads by dmbarbour	Christian Lindig	2013-07-18 22:05
Forum topic	Tools that provide "closed" view of open/extensible abstractions? Intentional programming does by dmbarbour I pursued this problem for a by dmbarbour	Tess Foley	2013-07-12 17:23
Forum topic	Cost of provably-correct code Secure and Evolvable by dmbarbour	Ehud Lamm	2013-07-06 19:56
Story	The Three Laws of Programming Language Design Subtyping in the PL sense is by dmbarbour There is a long history of by dmbarbour I'm judging subtyping by dmbarbour Intuitions for subtyping are by dmbarbour Presentation by dmbarbour There are many reasons we by dmbarbour You're consistently missing by dmbarbour Meh. by dmbarbour Examples are procedural.In by dmbarbour Most things that can be by dmbarbour ...	bashyal	2013-07-04 14:32
Forum topic	When will we all have effect systems? Effect types by dmbarbour Time (and Space) in Types by dmbarbour	raould	2013-07-01 20:38
Story	the gnu extension language Reporting conflicts by dmbarbour Interoperability by dmbarbour Fexprs are more expressive by dmbarbour Fexprs, unconstrained, can by dmbarbour When people speak of by dmbarbour Toil is an option by dmbarbour Metaprogramming is programming by dmbarbour A modification to the by dmbarbour no waiting by dmbarbour Islands bridged by abstractions by dmbarbour ...	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Define it twice -- preemptive bughunting or waste of time? Intersection of Definitions by dmbarbour	Ray Dillinger	2013-06-15 09:31
Forum topic	Teaching Garbage-Collection Low on memory can be by dmbarbour	shriramk	2013-06-13 16:51
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Since large-scale JavaScript by dmbarbour I'm happy to see this. I by dmbarbour	Charles Torre	2013-05-21 02:56
Forum topic	what's a useful definition of equivalent functions? Domain by dmbarbour	Ray Dillinger	2013-05-20 09:29
Forum topic	Everybody Needs a Syntax Extension Sometimes It is my strong preference by dmbarbour Many logic programming and by dmbarbour All your talk about bias is by dmbarbour Seriously? by dmbarbour If you think economics is by dmbarbour Economics of Language Design by dmbarbour	danbst	2013-05-19 12:26
Forum topic	Unordered pairs and their representation In practice, programs are by dmbarbour Pointers are in the same by dmbarbour Ordering Pointers by dmbarbour Your characterization of by dmbarbour Arbitrary Ordering by dmbarbour Arbitrary Fixed Ordering by dmbarbour	Douglas McClean	2013-05-16 16:11
Story	Observational Equality, Now! The ability to prove by dmbarbour	James Iry	2013-05-16 02:24
Forum topic	We're doing it wrong.... Or energy analysis. by dmbarbour	Ray Dillinger	2013-05-15 19:34
Forum topic	"Relational Model Outgrown" CACM May 2013 UI Integration by dmbarbour The view-update challenge by dmbarbour Update through View by dmbarbour Relational model requires by dmbarbour If the implementation bleeds by dmbarbour Interface, not Implementation by dmbarbour Nulls and ordered multisets by dmbarbour Relational models scale. by dmbarbour	Hewitt	2013-05-10 01:56
Forum topic	The Unreasonable Effectiveness of C Fallacy of the Right Tool by dmbarbour Non-leaky? by dmbarbour	raould	2013-05-08 19:47
Forum topic	Nesting of quasi-quotation "Staged computation" simply by dmbarbour We can model staged by dmbarbour Why does an AST not by dmbarbour Well, the answer is simple. by dmbarbour I have not argued that by dmbarbour How does structured editing by dmbarbour I dislike quasiquotation by dmbarbour This is a problem that has by dmbarbour	Jules Jacobs	2013-05-08 03:50
Forum topic	An interactive approach to teaching programming concepts Programmable spells by dmbarbour [technical] you should separate by dmbarbour CodeSpells is another recent by dmbarbour	Damian Gill	2013-04-29 12:22
Forum topic	Call-by-reference decided by caller To counter your earlier by dmbarbour Beware the fallacy of the by dmbarbour There is no general by dmbarbour How could this option be by dmbarbour Libraries, frameworks, services by dmbarbour	tkirchner	2013-04-27 23:23
Story	Dependent Types for JavaScript I have two family members in by dmbarbour Static Statistics by dmbarbour Intentional and Descriptive Typing by dmbarbour When answering "What else by dmbarbour Typeful programming by dmbarbour Typeful programming, as I by dmbarbour Structured editing, by dmbarbour	naasking	2013-04-18 10:44
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