Lambda the Ultimate

type	title	author	last post
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report For some context, see past by naasking Bad link, pointing to LtU. by naasking	Greg Buchholz	2016-05-26 05:14
Forum topic	For the record... I could see that happening, by naasking	Ehud Lamm	2016-05-24 10:28
Forum topic	What is Intuitive? Studying the Language and Structure in Non-Programmers’ Solution by naasking	raould	2016-05-12 23:55
Forum topic	PL's hotness challenge Just because they can't use by naasking Perhaps you are right that by naasking we'll gain a lot of insight by naasking Does it seem at all weird to by naasking	Sean McDirmid	2016-05-10 06:04
Forum topic	Binary Representation - Is it something to rise above? Overflow semantics behaviour by naasking	Ray Dillinger	2016-04-24 02:14
Forum topic	¿How can a dynamically typed language not actively prevent static checking? I believe this qualifies as by naasking Does "collections-oriened" by naasking I know the paper but I don't by naasking To me the point with sort is by naasking It sounds like you're by naasking Ceylon does have ordinary by naasking I know from experience that, by naasking I think Ceylon takes a by naasking Ceylon does pretty well with by naasking	raould	2016-03-31 23:06
Forum topic	Is the "Getting started"-guide up-to-date? This just looks like a cool by naasking	filipallberg	2016-03-29 06:03
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Well, the lambda calculus is by naasking Really? It seems to me that by naasking The fact that "space/time by naasking Interesting observation. by naasking I think the relative by naasking Modularity encourages by naasking Software development does by naasking	Allan McInnes	2016-03-25 19:25
Story	Second-order logic explained in plain English Funny you should mention by naasking	Charles Stewart	2016-02-19 12:40
Forum topic	Andl is a New Database Language Your links are missing by naasking	davidb	2016-02-08 03:43
Forum topic	Challenges Facing a High-Level Language for Machine Knitting Therefore, it would seem by naasking	marco	2016-02-03 22:07
Forum topic	Need to Talk Standardization of XML or by naasking Data doesn't endure past the by naasking Why separate code and data by naasking	marco	2016-02-02 05:56
Story	Progress on Gradual Typing Is schema change really all by naasking	gasche	2016-01-28 15:13
Forum topic	Proposal for a Friendly Dialect of C Follow-up by naasking	Greg Buchholz	2016-01-15 17:08
Story	Static vs. Dynamic Languages: A Literature Review I agree system 2 is taxing, by naasking That all seems fairly by naasking It seems to me this whole by naasking If your clients are coming by naasking Software as written today by naasking My understanding of "satisfy by naasking Then what is [the best way by naasking Much of science consists of confirming certain intuitions by naasking "Black or white" in the by naasking It's not exceptional though by naasking ...	naasking	2016-01-11 06:22
Forum topic	Typed Data But at this point there is by naasking	Andrew Moss	2015-12-31 08:59
Story	Programming with Algebraic Effects and Handlers Comparison to Extensible Interpreters? by naasking So, the yield that is as by naasking You don't need delimited by naasking	Matt Hellige	2015-12-04 03:11
Forum topic	Logical and Functional Programming in Each Other There's MicroKanren and by naasking	Jack Waugh	2015-12-02 19:01
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" I think it is pretty obvious by naasking It's something some Rust by naasking If you misapply anything by naasking Going back to Andrei's post, by naasking The more sophisticated the by naasking Ada could have a nice core by naasking	Sean McDirmid	2015-11-24 16:45
Forum topic	Hacker’s Brain – The Psychology of Programming That programming is more by naasking	Sean McDirmid	2015-11-23 03:27
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega That seems odd considering by naasking	naasking	2015-11-18 18:04
Forum topic	1ML — Core and modules united Is there a well-known, by naasking To be clear, it natively by naasking	Tom Primožič	2015-11-09 21:29
Forum topic	inter-language PL theory patterns relevant to IPC? I suspect Andrew is talking by naasking Do you any particular by naasking This year I am finishing by naasking	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX Sounds like "event sourcing" by naasking The Ken family of protocols by naasking [...] you still have to by naasking Any side-effecting operation by naasking I'm not sure I agree on by naasking Continuations whose by naasking On the other hand look at by naasking This sounds like a very sane by naasking	Sean McDirmid	2015-10-26 18:24
Forum topic	Halide: a language for image processing and computational photography This should probably be on by naasking	Thomas Lord	2015-10-20 22: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