Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Sturgeon's law is about bad execution, not bad conception by johnwcowan Pedersen's Law by johnwcowan	shap	2016-11-24 01:04
Forum topic	Implicit conversion (subtyping) vs Explicit conversion Always do it for immutable collections by johnwcowan	Keean Schupke	2016-10-23 06:46
Forum topic	Indispensible use cases for record subtyping? This is a question I've raised elsewhere with no replies by johnwcowan	naasking	2016-10-04 17:37
Forum topic	Term Rewrite System Implementations? Corrections to the list and pitch for Pure. by johnwcowan	Ivan Vodišek	2016-09-18 00:10
Story	PowerShell is open sourced and is available on Linux Well, you can always use NoSQL by johnwcowan	Ehud Lamm	2016-08-21 21:31
Forum topic	Microscript Or, like Chicken ... by johnwcowan As far as I can tell ... by johnwcowan	Ivan Vodišek	2016-08-08 22:31
Forum topic	A language for blind uncomprehending idiots who have no idea how programs work. You might want to look at Redcode for inspiration by johnwcowan	Ray Dillinger	2016-08-08 13:51
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners * Penthesilea was Queen of the Amazons by johnwcowan	johnwcowan	2016-07-29 14:27
Forum topic	WebAssembly Indeed, I wrote many assembly-language programs ... by johnwcowan The call stack by johnwcowan	Ivan Vodišek	2016-06-24 17:31
Forum topic	Theory of syntax extensions: does it exist? I mean "syntax" in the Scheme sense by johnwcowan The problem persists by johnwcowan	johnwcowan	2016-05-30 10:47
Forum topic	Was there a language with an explicit call stack? Precisely why Fortran didn't have recursion by johnwcowan	Alex Shpilkin	2016-05-13 11:57
Forum topic	Best successor to Scheme? Almost by johnwcowan That's Common Lisp. Scheme by johnwcowan We have most of those things by johnwcowan	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Both APL2 and J support nested arrays by johnwcowan	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? I'm only half German by johnwcowan You're entitled to your own opinions, but not your own facts by johnwcowan There are no enemies anywhere / There are no friends anywhere by johnwcowan R6RS ftw, then by johnwcowan Off-by-one errors by johnwcowan Your contrast between C and Scheme is simply false to the facts by johnwcowan	Ray Dillinger	2016-04-24 02:14
Forum topic	IEEE Scheme expiring soon Lack of convenience by johnwcowan Okay, so for backward compatibility ... by johnwcowan Good luck with that by johnwcowan What do you mean, "die"? by johnwcowan Hard cases make bad law by johnwcowan * The Cheapy compiler was by Steele (it came before Rabbit) by johnwcowan Obvious? by johnwcowan ISLISP by johnwcowan Scheme allows that by johnwcowan Almost works in R7RS-small by johnwcowan ...	johnwcowan	2016-04-16 17:32
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Almost certainly orphaned by johnwcowan	raould	2016-04-02 22:53
Forum topic	Earl Grey; the story of a new programming language The unreasonable man by johnwcowan	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? I think that's just options by johnwcowan A few heuristics come to mind by johnwcowan	raould	2016-03-31 23:06
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” The four life stages of companies by johnwcowan * For once, I find myself in entire agreement with you by johnwcowan A strategic decision? by johnwcowan	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception Icon works the other way by johnwcowan	Keean Schupke	2016-03-07 06:17
Forum topic	Need to Talk Code can be very stable by johnwcowan	marco	2016-02-02 05:56
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? The post lays out the issues by johnwcowan	raould	2016-01-31 00:31
Story	Static vs. Dynamic Languages: A Literature Review Dynamic and static typing are separate things by johnwcowan Dynamic and static typing are separate things by johnwcowan Types or languages? by johnwcowan	naasking	2016-01-11 06:22
Forum topic	Nesting imperative into functional code Yes, that's how it's implemented by johnwcowan Shell pipelines by johnwcowan	Ivan Vodišek	2015-12-23 02:46
Story	Compilers as Assistants Old BSD error(1) by johnwcowan Human nature is not to work for The Man at all by johnwcowan But there is an equal and opposite failure mode ... by johnwcowan And the problem with fools ... by johnwcowan Separation of concerns by johnwcowan	bashyal	2015-12-04 15: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