Lambda the Ultimate

type	title	author	last post
Forum topic	How much power should programmers have? Behaviors and Strategies by dmbarbour Programs are not by dmbarbour Ends and Means by dmbarbour There are many by dmbarbour Crypto-fascist by dmbarbour Agree by dmbarbour	Ray Dillinger	2012-09-19 03:12
Forum topic	Alien worlds, values, and you can't touch this Very nice. I might need to by dmbarbour Frequency by dmbarbour Batching by dmbarbour Progammer's Time by dmbarbour Even between lightweight by dmbarbour Partition Types by dmbarbour	Sean McDirmid	2012-09-11 13:15
Forum topic	IDE design for immediate feedback Look into F* (Fstar) from by dmbarbour	David Wagner	2012-09-04 09:14
Forum topic	Enso: William Cook's new programming model Excellent. Front page. by dmbarbour Lock-based implementation not relevant by dmbarbour A Language of Micro Databases by dmbarbour Scalable models are compositional by dmbarbour Re: Transactions at scale by dmbarbour Imperative cycles by dmbarbour Cyclic Graphs by dmbarbour	Rafael	2012-08-29 17:46
Story	Parsing: The Solved Problem That Isn't Stateful Semantics by dmbarbour Allowances and constraints by dmbarbour The state in my example is by dmbarbour Art of the State by dmbarbour May not Should by dmbarbour Countering some Skepticisms by dmbarbour Parse as a Stable Model by dmbarbour Expressive Power by dmbarbour	James Iry	2012-08-26 09:11
Forum topic	Why prolog is by far the best, most productive, easiest programming language AI Complete by dmbarbour Schemas Matter by dmbarbour Languages as Databases by dmbarbour Assume agent F is confined by dmbarbour Reactive Demand Programming by dmbarbour That programming language by dmbarbour 'Pure' Prolog? by dmbarbour Re:flection by dmbarbour Semantic Web by dmbarbour RE: TRS for Logic by dmbarbour ...	marshallp	2012-08-23 03:24
Forum topic	Crafting a toy language for learning purposes Logo by dmbarbour Kahn Academy by dmbarbour	helltone	2012-08-21 17:39
Forum topic	The Economist: Language and Computers: Why language isn't computer code I doubt they're fuzzy in the by dmbarbour Fuzzy waza problem domain by dmbarbour Re: performance adaptive collections by dmbarbour Statistical Mud by dmbarbour Why Language Could Be Computer Code by dmbarbour	kms	2012-08-11 20:37
Forum topic	Language Implementation 101 Sure, there can be many by dmbarbour Opportunity Costs by dmbarbour Slippery Sloped Staging? by dmbarbour Library First by dmbarbour Approaching parsing as a by dmbarbour Growing the Heap by dmbarbour Starting at a Higher Level by dmbarbour Spike by dmbarbour	qznc	2012-08-09 07:37
Forum topic	Immediate mode GUIs As developers, one of our by dmbarbour User Model State by dmbarbour The association between by dmbarbour Widget Identity by dmbarbour The usual difficulty with by dmbarbour	Sean McDirmid	2012-07-27 04:18
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
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