Lambda the Ultimate

type	title	author	last post
Forum topic	Why Do Some Programming Languages Live and Others Die? The goal of live programming by dmbarbour Grammar of Blubs by dmbarbour Well said, Jules. I agree by dmbarbour RE: Live vs. Modal by dmbarbour UI with two checkboxes and a by dmbarbour UI as PL by dmbarbour Re: Apologies by dmbarbour Temporal Working Set by dmbarbour You don't need live by dmbarbour Testing by dmbarbour ...	Sean McDirmid	2012-06-18 23:33
Forum topic	Type classes in a dynamic language Configurations by dmbarbour Scope of definitions by dmbarbour Typeclass Issues by dmbarbour Associating Values with Types by dmbarbour Not seeing much motive... by dmbarbour	vorov2	2012-06-17 11:05
Forum topic	Graphical languages of the Russian space program Just a subset by dmbarbour Programming and User Interface by dmbarbour With point-free programming, by dmbarbour pointless by dmbarbour	Manuel J. Simoni	2012-06-15 06:43
Forum topic	Looking for more info on precise types I could say more, but it by dmbarbour I don't believe "precise by dmbarbour	Cyril	2012-06-14 19:14
Forum topic	Updating immutable data structures & hybrids from functional to imperative Lazy Functional State Threads by dmbarbour Applicatives by dmbarbour Lenses, ST, Applicative by dmbarbour	Jules Jacobs	2012-06-13 21:03
Forum topic	Languages & Niches SIMD parallelism in PLs by dmbarbour Language design and by dmbarbour Live Programming, Interactive Programming, Gestures and Touch by dmbarbour	Mike Abolazemi	2012-06-07 08:22
Forum topic	Languages with 'unique' programs SQL is Turing Complete, by dmbarbour You seem to be decoupling by dmbarbour Not relevant. You are by dmbarbour But in a "language with by dmbarbour Performance Abstractions by dmbarbour Keen Point. by dmbarbour Why would it be? It isn't as by dmbarbour Your language would just be by dmbarbour Finding this translation and by dmbarbour easy solutions were the only ones by dmbarbour ...	dataangel	2012-06-04 11:11
Forum topic	Talents: Dynamically Composable Units of Reuse	dmbarbour	2012-06-03 21:23
Forum topic	Implementing abstract classes automatically? Types or Something Types Provide by dmbarbour Good support for weakly by dmbarbour	Sean McDirmid	2012-06-02 04:54
Forum topic	Higher order versus Object order Interesting. You are saying by dmbarbour They only look internal to by dmbarbour Custom architecture is not a crisis by dmbarbour Open systems are essential. by dmbarbour Hmm by dmbarbour Essential Difficulty by dmbarbour Impure Calculus by dmbarbour Secure Tokens vs. Capabilities by dmbarbour When a file descriptor ocap by dmbarbour First class procedures and by dmbarbour ...	Francis McCabe	2012-05-17 17:45
Forum topic	Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning Are you sure it's an by dmbarbour Contributing Editor by dmbarbour	Charles Torre	2012-04-13 20:16
Forum topic	Disruptive PLT Revisited Types by any other name by dmbarbour NoACID? by dmbarbour SMT Solvers by dmbarbour Type-dependent behavior, by dmbarbour	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design Bad ideas can be written in by dmbarbour Formalism and Coherence by dmbarbour Coherent Formal Design? by dmbarbour	giuseppemag	2012-03-30 05:42
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? Not separate concerns by dmbarbour Conflating real-time and resource control by dmbarbour Anticipation by dmbarbour Linear Typed by dmbarbour Hard Memory Limits do not imply Real-time by dmbarbour Hard Real-time by dmbarbour Synchronous reactive by dmbarbour	bryanedds	2012-03-29 23:06
Forum topic	Coding at the Speed of Touch Interactive Languages by dmbarbour Speech based by dmbarbour 3D Touch by dmbarbour Chorded Keyboard by dmbarbour Mess and Merge by dmbarbour Zany Doodle by dmbarbour temporarily ill typed by dmbarbour Type inference by dmbarbour Contextual Clipboard by dmbarbour Contextual Clipboard! by dmbarbour	Sean McDirmid	2012-03-27 18:25
Forum topic	crazy PL idea: prescriptive trait inference Accessing position has and by dmbarbour No resolution? by dmbarbour Structured Frustration? by dmbarbour You aren't resolving a name by dmbarbour Ambiguous, Not Abstract by dmbarbour Inference through Attrition by dmbarbour Where is it marked? by dmbarbour Deriving Usage and Yet by dmbarbour How is `semantic intent` represented by dmbarbour Taking `Position` by dmbarbour ...	Sean McDirmid	2012-03-26 23:20
Forum topic	Distributed capabilities versus network latency Uni-Tea by dmbarbour Client-Immediate EC by dmbarbour State Model by dmbarbour Unum Pattern by dmbarbour Remote Batching by dmbarbour Under which conditions do by dmbarbour	Jules Jacobs	2012-03-26 17:45
Story	Language mystery: identify the source language to a worm based on its object code broken link by dmbarbour	James Iry	2012-03-20 23:15
Forum topic	Long rant on Erlang-style Actors: Lost Dimension Keyboard state by dmbarbour model with state by dmbarbour meaning of event by dmbarbour Not very by dmbarbour not naturally event-driven by dmbarbour creating and destroying new event sources by dmbarbour Interactive Programming by dmbarbour Events not essential by dmbarbour Initial event source by dmbarbour Deprecating observer pattern by dmbarbour ...	const	2012-03-20 08:57
Forum topic	Software Cartography and Code Navigation More Resources by dmbarbour	Sean McDirmid	2012-03-16 00:17
Forum topic	What work in FRP models programs which can change the type of output and input they have? Type as a function of what? by dmbarbour	Steven StewartGallus	2012-03-12 15:14
Story	What does focusing tell us about language design? Purity by dmbarbour non-termination isn't an by dmbarbour Total semantics by dmbarbour	Manuel J. Simoni	2012-03-07 19:07
Story	Computing Needs Time Neither does global time by dmbarbour Strongly Timed by dmbarbour Turing whisper... by dmbarbour Once you start down the by dmbarbour Computing needs Energy by dmbarbour Not Turing Complete by dmbarbour Time as a Side Effect by dmbarbour Temporal Reactive Displays by dmbarbour Actors Model "Time" by dmbarbour	Allan McInnes	2012-03-05 19:35
Forum topic	Bret Victor's Inventing on Priniciple Why Anticipation? by dmbarbour Serving Time in a PL Jail by dmbarbour Transcript by dmbarbour	Sean McDirmid	2012-03-05 10:44
Story	A Concept Design for C++ Concept maps by dmbarbour	James Iry	2012-03-04 21:35
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