Lambda the Ultimate

type	title	author	last post
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
Forum topic	Nesting imperative into functional code Apologies by Matt M	Ivan V.	2015-12-23 02:46
Forum topic	Logical and Functional Programming in Each Other Oleg something something by Matt M	Jack Waugh	2015-12-02 19:01
Story	When Is A Functional Program Not A Functional Program? G and h are supposed to be by Matt M Replying to your edit by Matt M h' doesn't return things by Matt M G is some function invoking by Matt M Actually by Matt M Good point ;) by Matt M Sensible? by Matt M You can 'do' anything by Matt M	neelk	2015-11-20 21:56
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Thanks to you too by Matt M	naasking	2015-11-18 18:04
Forum topic	1ML — Core and modules united Boxing wasn't the issue by Matt M Objects and stuff by Matt M Modules vs. objects by Matt M Wasn't the point that you by Matt M Hmm by Matt M Optional parameter of type Array by Matt M OK, gotcha. Can I recommend by Matt M Here's where I'm still confused by Matt M Objects vs. Modules by Matt M Loster by Matt M ...	Tom Primožič	2015-11-09 21:29
Forum topic	PL vs. PX Idempotence isn't necessary by Matt M Fragmentation and interop costs by Matt M Being functionally vague by Matt M hey, these objects can auto by Matt M I wasn't complaining about by Matt M What is art? by Matt M	Sean McDirmid	2015-10-26 18:24
Forum topic	server life expectancy? Once upon a time I'd have agreed by Matt M	raould	2015-10-21 18:02
Forum topic	alternate basic models of framing code behavior and purpose? Great, thanks by Matt M Functional modeling by Matt M Devil's advocate by Matt M	Rys McCusker	2015-10-15 04:27
Forum topic	Optimal efficiency More control over compilation by Matt M "without adding imperative features" by Matt M	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek Backing up by Matt M Agreed by Matt M Changing code by manipulating output is hard by Matt M Proposing generalizations by Matt M Hanging out the passenger side of his best friend's ride by Matt M But would it be possible to by Matt M Looks cool by Matt M	Sean McDirmid	2015-09-30 15:45
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