Lambda the Ultimate

type	title	author	last post
Forum topic	Theory of a Declarative Language If you're stuck with JSON, by dmbarbour You do need to address how by dmbarbour Types and definitions are by dmbarbour Any decent module system by dmbarbour	thomash	2013-08-29 13:43
Forum topic	Commutative Effects Programmers love lies if it by dmbarbour It seems like a nice by dmbarbour In an ideal world, we could by dmbarbour Time is external, like your by dmbarbour Non-convergence is a by dmbarbour the clock should only by dmbarbour If we look at the "state" of by dmbarbour There is no way to "know" by dmbarbour kicking encapsulated state by dmbarbour The complications you by dmbarbour ...	Sean McDirmid	2013-08-29 02:13
Forum topic	Request for advice on a senior thesis SPLASH and Onward! are other by dmbarbour	Taymon A Beal	2013-08-26 17:21
Forum topic	lambda cube... 3D Then why do you have an by dmbarbour Intuitions by dmbarbour Not "hiding" a physics engine by dmbarbour Functional Reactive Physics and Objects by dmbarbour Time leaks in Haskell are a by dmbarbour You misunderstand the by dmbarbour Behaving Well by dmbarbour There is no global analysis by dmbarbour Cycles and Bookkeeping by dmbarbour Real Consistency? by dmbarbour ...	raould	2013-08-26 05:25
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax The Programmer in the Language by dmbarbour Link update: why syntax by dmbarbour	Thomas Lord	2013-08-25 05:05
Forum topic	Beyond FRP: physics-inspired programming abstractions? Functional Reactive Physics by dmbarbour True continuous time varying by dmbarbour This seriously deserves its by dmbarbour The idea of leveraging by dmbarbour	Sean McDirmid	2013-08-22 19:13
Forum topic	Error reporting strategies during parsing if garbage is shipped, why by dmbarbour Crowdsource that. by dmbarbour Yeah, I agree with that. by dmbarbour Perhaps we should learn how by dmbarbour	Matt Fenwick	2013-08-15 20:16
Forum topic	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Not Pervasively Turing complete by dmbarbour What is unbounded by dmbarbour	Hewitt	2013-08-14 18:34
Forum topic	Future of Programs using Assertions, Goals, and Plans There is no corresponding by dmbarbour None of those problems exist by dmbarbour You're an idiot. by dmbarbour Nah, they don't have by dmbarbour Read the paper, Mr. Hewitt. by dmbarbour No, if you want to prove a by dmbarbour Modularity wasn't relevant by dmbarbour Not a problem. by dmbarbour Note that temporal state by dmbarbour Batching would exist at the by dmbarbour ...	Hewitt	2013-08-10 01:07
Forum topic	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores Sadly, no relationship to by dmbarbour	Sean McDirmid	2013-08-09 22:24
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
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