Lambda the Ultimate

type	title	author	last post
Story	Do Be Do Be Do Also by Matt M Fixed state cofunctions by Matt M Hmm by Matt M Yield returns control to the caller by Matt M What does yield do? by Matt M Thoughts by Matt M Lost by Matt M Where do co-functions live? by Matt M Oops by Matt M Manually threading state by Matt M ...	gasche	2017-01-12 18:51
Forum topic	Eliminating left recursion Dragon Book by Matt M	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance When applies applies by Matt M Is every theorem prover based on Curry-Howard? by Matt M	shap	2016-11-24 01:04
Forum topic	ZenScript, A new open-source language project. Type inference and overloading by Matt M	Keean Schupke	2016-10-01 16:48
Story	Philip Wadler: Category Theory for the Working Hacker Simplicity begets correctness by Matt M Value-oriented programming by Matt M	Ehud Lamm	2016-09-23 20:29
Forum topic	Certificates/proof of work of type checking? I was considering loading + by Matt M This seems boring by Matt M	naasking	2016-09-22 06:41
Story	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Yeah by Matt M No ambiguity by Matt M Thanks by Matt M Last post for today by Matt M Strawman by Matt M Overlapping instances are ad by Matt M Needs more careful by Matt M Even if this mechanism was by Matt M The meet rule doesn't rule by Matt M Alternatives by Matt M ...	naasking	2016-09-20 05:47
Forum topic	language handling of memory and other resource failures Modern processors are complicated by Matt M	Rys McCusker	2016-08-27 18:57
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Specifications by Matt M Reproducable non-determinism by Matt M	Rys McCusker	2016-07-15 20:51
Forum topic	Recursive types Are you inferring recursive by Matt M One way it might work by Matt M I think your idea would work by Matt M Looks a little different by Matt M	skaller	2016-06-17 06:02
Story	Set-Theoretic Types for Polymorphic Variants Interesting by Matt M	naasking	2016-06-09 18:41
Forum topic	Theory of syntax extensions: does it exist? Seems like a worthy goal by Matt M Open recursion by Matt M I'm skeptical by Matt M And what name for this grand language? by Matt M	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report News to me by Matt M Missing context by Matt M Aren't those the same thing? by Matt M Code size? by Matt M	Greg Buchholz	2016-05-26 05:14
Forum topic	A Farewell to FRP in Elm Model-Update-View? by Matt M	Greg Buchholz	2016-05-11 15:35
Forum topic	PL's hotness challenge Space aliens by Matt M Trolley Ride by Matt M Downvote by Matt M True by Matt M	Sean McDirmid	2016-05-10 06:04
Forum topic	Best successor to Scheme? I was lumping in 'evaluation by Matt M Why? by Matt M I see by Matt M Hmm by Matt M Meta-object protocol by Matt M Macros are terrible (redux) by Matt M Treachery and Doom by Matt M Not really by Matt M Thanks by Matt M Hmm by Matt M ...	raould	2016-05-03 06:31
Story	Simon Peyton Jones elected into the Royal Society Fellowship Well deserved by Matt M	Ohad Kammar	2016-05-01 16:27
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Big-Oh just means "hide the constants" by Matt M Not in the compiler by Matt M I mostly agree by Matt M Back to representations vs. parameterization of implementation by Matt M Containers of structs vs. structs of containers by Matt M I'm hopeful by Matt M The problem by Matt M Well, most of the time the by Matt M Named parameters by Matt M Losing the index by Matt M ...	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? Representation vs. type by Matt M Representation selection by Matt M Right by Matt M Which two concepts by Matt M Agree and disagree by Matt M Think of them as dots on a line by Matt M Why? by Matt M Usual Semantics by Matt M Representations by Matt M	Ray Dillinger	2016-04-24 02:14
Forum topic	Some questions concerning P != NP Stack Exchange by Matt M Offtopic by Matt M	Carter Cheng	2016-04-15 08:07
Forum topic	Formalization and programming language design -- explained to all Sounds good by Matt M Laziness by Matt M No backtracking by Matt M Guarantees vs. Requirements by Matt M Not static by Matt M Not static by Matt M Singleton types by Matt M Subject by Matt M Duplication of the program at type level by Matt M Assumptions and conclusions? by Matt M ...	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language Agreed by Matt M Symbol a la Lisp by Matt M Keep symbols visually distinct by Matt M ... and that unambiguity by Matt M Minor differences by Matt M	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? Parameterization is what you want by Matt M Maybe some day by Matt M Mutability is a bad example by Matt M Yeah, you've referenced by Matt M Right, that's what I meant by Matt M To me the point with sort is by Matt M I'm lost by Matt M Type classes, representations by Matt M Two comments by Matt M Often identified by Matt M	raould	2016-03-31 23:06
Forum topic	Is the "Getting started"-guide up-to-date? Where's the reasoning? by Matt M	filipallberg	2016-03-29 06:03
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” True by Matt M Mathematics isn't dynamically typed by Matt M Small is good by Matt M Fair enough by Matt M No conspiracy by Matt M	Allan McInnes	2016-03-25 19:25
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