Lambda the Ultimate

type	title	author	last post
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
Forum topic	Why not C++? Subset enforcement by Matt M	raould	2016-03-22 14:41
Forum topic	Programmatic and Direct Manipulation, Together at Last Degenerate solutions by Matt M True by Matt M General problem by Matt M	Sean McDirmid	2016-02-13 20:21
Forum topic	SPREAD: Authenticated reusable computations Nevermind by Matt M Neat by Matt M What's wrong with using a by Matt M	Robbert van Dalen	2016-02-04 23:10
Forum topic	Challenges Facing a High-Level Language for Machine Knitting Synergy by Matt M	marco	2016-02-03 22:07
Forum topic	Need to Talk I Might not be by Matt M Source by Matt M No accusations by Matt M Pfft by Matt M	marco	2016-02-02 05:56
Story	Progress on Gradual Typing Yes, these last two posts of by Matt M If the typechecker processes by Matt M Maybe the function's author by Matt M What does soundness of gradual typing mean and is it important? by Matt M	gasche	2016-01-28 15:13
Story	Static vs. Dynamic Languages: A Literature Review Argument doesn't support conclusion by Matt M I think you need more words by Matt M	naasking	2016-01-11 06:22
Forum topic	Best Traceroute! Lurker count low by Matt M Lurker count by Matt M	marco	2016-01-09 16:51
Forum topic	Typed Data I mostly agree with that by Matt M Static typing by Matt M OO Semantics vs. OO Methodology by Matt M	Andrew Moss	2015-12-31 08:59
Forum topic	Languages for SIMT Architectures Makes sense by Matt M So what does the code look by Matt M Could you link/paste a short by Matt M	Keean Schupke	2015-12-23 04:49
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