Lambda the Ultimate

type	title	author	last post
Forum topic	Toward a better programming Useful Coupling of Concerns by dmbarbour	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? String Representation not resolved... by dmbarbour Agreed, but... by dmbarbour Not in general, no... by dmbarbour No language expressive by dmbarbour Formal Semantics Unresolved by dmbarbour Is Formal Semantics a Resolved Debate? by dmbarbour Language defined in Language by dmbarbour If you point at the by dmbarbour First Class Locality by dmbarbour UTF-8 reading, writing, and by dmbarbour ...	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future nonces with assertEq by dmbarbour and check that the reference by dmbarbour control of effects by dmbarbour	bashyal	2014-03-26 03:53
Forum topic	"null" is to tagged unions as ???? is to records Pointer arithmetic by dmbarbour	Kannan Goundan	2014-03-22 20:06
Forum topic	Julia has no dependent types Ideally, dependent types are by dmbarbour	andrew cooke	2014-03-13 16:43
Forum topic	Resilient Languages I already provided by dmbarbour Reuse is necessary for by dmbarbour Reuse as prerequisite for Right by dmbarbour Developing an architecture by dmbarbour Easier and More Fun in PL by dmbarbour technical merit by dmbarbour there is no strong boundary by dmbarbour Confronted with the by dmbarbour value that they place on by dmbarbour if only people would resolve by dmbarbour ...	spdegabrielle	2014-03-11 00:57
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Yes, that post is a nice by dmbarbour Informally, concurrent by dmbarbour But the actor model. by dmbarbour Futures and promises have a by dmbarbour Misleading title by dmbarbour	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium The most stable resolution by dmbarbour Concrete Languages by dmbarbour Cost and price are not dual by dmbarbour Cost is not Price by dmbarbour the economic analysis in my by dmbarbour Activation Energy by dmbarbour Real cost of tools by dmbarbour Oh. That makes much more by dmbarbour Which kernels in mainstream by dmbarbour	Luke Gorrie	2014-03-04 20:32
Forum topic	Wolfram Language Very impressive demo. Thanks by dmbarbour Symbolic Computation by dmbarbour	Sean McDirmid	2014-02-26 09:48
Forum topic	Disallow shadowing? Tags are useful. For by dmbarbour Heuristic Techniques by dmbarbour the mapping step is implicit by dmbarbour Not a killer by dmbarbour Positional indices are great. by dmbarbour 😒 by dmbarbour History is useful for by dmbarbour Control flow is paradigmatic flaw by dmbarbour Bottleneck on Abstractive Power by dmbarbour Grasp the bottleneck by dmbarbour ...	Y	2014-02-25 02:06
Forum topic	Parallelism and Concurrency in the Actor Model CCA by dmbarbour Research is always ongoing. by dmbarbour What is your evidence that by dmbarbour What does 'organizational by dmbarbour	Hewitt	2014-02-21 05:06
Forum topic	Booleans vs strings Language can hinder clean by dmbarbour Kiwi coercions are by dmbarbour Booleans as data by dmbarbour Refinements by dmbarbour So you'd suggest we never by dmbarbour Because these assumptions by dmbarbour Patterns help only if they refine by dmbarbour Program refactoring by dmbarbour Coupling structure and logic by dmbarbour when we're writing code to by dmbarbour ...	jamii	2014-02-15 22:49
Forum topic	Limitations of Prolog-style clausal programs Modal by dmbarbour	Hewitt	2014-02-11 10:53
Forum topic	Verification games: Making verification fun How practical? by dmbarbour	George Morrison	2014-02-08 16:31
Forum topic	PuzzleScript Modularity by dmbarbour REBOL seems to have been by dmbarbour	Tess Foley	2014-02-01 15:29
Forum topic	Examples for benefitfs of dynamic programming languages Double standard by dmbarbour Dynamic typing is simpler by dmbarbour The problem is not that a by dmbarbour Only for self-modifying code by dmbarbour Conflating properties by dmbarbour pay as you go by dmbarbour Typecase and Reflection vs. Dynamic Types by dmbarbour Indeed. by dmbarbour There are simple static type by dmbarbour Undecidable doesn't mean unsafe by dmbarbour ...	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. Bedrock by dmbarbour all optimisation could be removed by dmbarbour Text box vs. slider based on by dmbarbour Language Features for Manual Specialization by dmbarbour Pattern matching isn't by dmbarbour debugging down under by dmbarbour specialization by hand by dmbarbour Separate concepts by dmbarbour strange dichotomy by dmbarbour abstractive radius & smoothness by dmbarbour ...	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Write about explicit IDE by dmbarbour Extensibility of IDE will by dmbarbour If I represent a soft by dmbarbour If you define open data type by dmbarbour in general unfeasible to by dmbarbour implicit selection by dmbarbour AFAICT, Haskell doesn't by dmbarbour There is a difference by dmbarbour Are you sure you're talking by dmbarbour You aren't even aware of the by dmbarbour ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles international standards by dmbarbour Excellent reference. I had by dmbarbour I was contemplating similar by dmbarbour	Douglas McClean	2014-01-14 17:44
Forum topic	a little language for platform games Welcome by dmbarbour	Mike Robinson	2014-01-06 19:10
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. some things truly are by dmbarbour Effect systems and concurrency go smashingly well together by dmbarbour Not Local State by dmbarbour	bryanedds	2013-12-08 06:50
Forum topic	Default, implicit, inherited Implicit Configurations, Soft Constraints by dmbarbour	Aivar Annamaa	2013-12-01 10:14
Forum topic	Strong Mathematical Foundations for Computer Science Ridiculous behavior should by dmbarbour Usually, sarcasm doesn't by dmbarbour Irrelevant and irrelevant. by dmbarbour What does organizational by dmbarbour Yes, but... by dmbarbour There are many composable by dmbarbour What does generalizing a by dmbarbour What are your composition by dmbarbour I'm not seeing the by dmbarbour Generalized models of by dmbarbour ...	Hewitt	2013-11-25 14:58
Forum topic	actors conflate too much Generalizing from a specific by dmbarbour Actors systems can express by dmbarbour Given the universality of by dmbarbour Collatz by dmbarbour you can't prove in your by dmbarbour most natural way? by dmbarbour What do you think is the by dmbarbour The discontinuity regards by dmbarbour Discontinuity by dmbarbour Optimistic concurrency can by dmbarbour ...	raould	2013-11-16 01:13
Forum topic	Why is Static Typing Hard? Homotopy Type Theory by dmbarbour ever-more-complicated type by dmbarbour Types dragging you down... by dmbarbour	Jon Purdy	2013-11-12 18:56
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