Lambda the Ultimate

type	title	author	last post
Forum topic	OO type systems and BNFs Enso or OMeta. by dmbarbour	Sean McDirmid	2012-07-20 19:36
Forum topic	Evolved Turing neural networks - Unorganized machines and the brain Configuring the Genome by dmbarbour Supervised by dmbarbour	Cyril	2012-07-14 11:08
Forum topic	Why languages and not systems? I certainly didn't get into by dmbarbour I agree strongly. PL is very by dmbarbour Not all things are possible by dmbarbour	giuseppemag	2012-07-13 11:39
Forum topic	Erik Meijer started a discussion on Domain Specific Languages Static analysis can be staged, too by dmbarbour Expressiveness, as described by dmbarbour Embedding a DSL is by dmbarbour manipulating some level of by dmbarbour External DSLs on the other by dmbarbour	w7cook	2012-07-13 00:52
Forum topic	Why are exceptions not described as 'purely functional'? No need for continuation by dmbarbour Hacking the language by dmbarbour Exceptions are not (usually) syntactic shorthand by dmbarbour No Exceptions by dmbarbour Continuations by dmbarbour I'm assuming you don't have by dmbarbour Conditions with pure functions by dmbarbour Maybe Just Either Left, Right or Nothing by dmbarbour	bryanedds	2012-07-11 15:05
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Perl? or Lisp? by dmbarbour True. I thought about that by dmbarbour Users are concurrent. But, by dmbarbour Concurrency without Parallelism by dmbarbour The confusion you describe by dmbarbour Concurrency is not a type of by dmbarbour Not disagreeing, but we by dmbarbour Bah, Humpty Dumpty Definitions by dmbarbour inConsistent Experience by dmbarbour In practice by dmbarbour ...	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited RE: What is internal composition? by dmbarbour Natural Divisions do not Exist outside our Minds by dmbarbour Composite Pattern and UIs by dmbarbour Composites vs. Composite Pattern by dmbarbour Pessimism fully warranted by dmbarbour Begging the Question; Impostors by dmbarbour	Z-Bo	2012-06-28 01:36
Forum topic	Null, bottom, etc.? So you are saying one could by dmbarbour Of course it is dependent on by dmbarbour the distinction between by dmbarbour What may have been part of by dmbarbour I expect we accept different by dmbarbour Non-termination and runtime by dmbarbour Knowing the Unobserveable by dmbarbour Operational semantics by dmbarbour Provable is not the same as by dmbarbour What do you mean by by dmbarbour ...	oconnor0	2012-06-25 23:41
Forum topic	Functional Relational Programming: Out of the tar pit Text merge as cooperative work by dmbarbour	abayley	2012-06-24 17:25
Forum topic	Quantitative comparison of unit testing vs. static typing? Inline State by dmbarbour If you have generic or by dmbarbour Dynamic just means behavior by dmbarbour Live staged programming by dmbarbour Inference by dmbarbour Phase Separation by dmbarbour Typeful Dynamic by dmbarbour Separate compilation is by dmbarbour Not necessarily Tedious or Brittle by dmbarbour None vs. Null by dmbarbour ...	lmeyerov	2012-06-22 02:59
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
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