Lambda the Ultimate

type	title	author	last post
Forum topic	Defining recursive function as a monad (or other solutions) What? by skaller	Ivan V.	2016-12-17 08:07
Forum topic	Eliminating left recursion Problem by skaller Interesting by skaller C++ crap by skaller Grune by skaller intention by skaller	skaller	2016-12-13 00:23
Forum topic	Any recent developments on "active libraries" that I'm missing? Old features by skaller	osa1	2016-12-08 18:01
Forum topic	Implicit conversion (subtyping) vs Explicit conversion Commutativity by skaller intensionally extensional by skaller Examples of poor choices by skaller General Principle by skaller	Keean Schupke	2016-10-23 06:46
Forum topic	Indispensible use cases for record subtyping? Row polymorphism modelling effects by skaller	naasking	2016-10-04 17:37
Forum topic	ZenScript, A new open-source language project. Felix by skaller	Keean Schupke	2016-10-01 16:48
Story	Philip Wadler: Category Theory for the Working Hacker ATS by skaller Fibres by skaller Call return path by skaller Fp will dominate? by skaller Imperative programming is .. by skaller Reasoning by skaller FP modelling by skaller Effects by skaller	Ehud Lamm	2016-09-23 20:29
Forum topic	Viability of a static type system (like ML) for a relational language? Row polymorphism by skaller	mamcx	2016-08-29 22:50
Forum topic	language handling of memory and other resource failures More on Time by skaller Time by skaller	Rys McCusker	2016-08-27 18:57
Forum topic	Is there a language with the ability to write arbitrary type functions? blogless expansion by skaller Type functions in Felix by skaller	davidb	2016-08-24 18:18
Forum topic	Microscript Refs and control by skaller Visible but refactorable pre-emptive/cooperative boundaries by skaller stack and heap by skaller Stacks by skaller PPL by skaller	Ivan V.	2016-08-08 22:31
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Issue independent of determinsm by skaller	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly Custom Back end by skaller Scanning free lists slow? by skaller Garbage collection worse? by skaller Safety by skaller Call stack by skaller	Ivan V.	2016-06-24 17:31
Forum topic	Recursive types Equi and Iso recursive types by skaller Doubts by skaller You're right by skaller Clarification by skaller Ok but is the algorithm correct? by skaller	skaller	2016-06-17 06:02
Forum topic	Metaprogramming and Free Availability of Sources For C++ use Felix by skaller	oldaccount	2016-06-01 20:52
Forum topic	Theory of syntax extensions: does it exist? Open Recursion by skaller Felix by skaller	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report Trivial? by skaller Analysis: what's an algorithm by skaller Algorithms not containers? by skaller map as fold? by skaller	Greg Buchholz	2016-05-26 05:14
Forum topic	For the record... Javascript by skaller Oracle winning by skaller	Ehud Lamm	2016-05-24 10:28
Forum topic	Was there a language with an explicit call stack? Caching and Fairness by skaller Felix by skaller	Alex Shpilkin	2016-05-13 11:57
Forum topic	PL's hotness challenge Radio signals? by skaller	Sean McDirmid	2016-05-10 06:04
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Combination Explosion by skaller	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? model parameter by skaller Representations by skaller	Ray Dillinger	2016-04-24 02:14
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Unsound technique by skaller Novelty by skaller Telling by skaller	Allan McInnes	2016-03-25 19:25
Forum topic	Why not C++? move semantics by skaller	raould	2016-03-22 14:41
Forum topic	Whither actual generality/customizability/flexibility? perfect abstraction by skaller	raould	2016-03-06 14:59
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