Lambda the Ultimate

type	title	author	last post
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
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Regions by Matt M You don't ask the pointer for a deref cap by Matt M Reading between the lines a by Matt M An example by Matt M Better semantic modeling by Matt M Looks like you modeled it by Matt M	Ray Dillinger	2015-09-29 15:36
Forum topic	meta: September "propose a post" post (proposal) State of the art by Matt M	Thomas Lord	2015-09-15 10:27
Story	Freer Monads, More Extensible Effects So, who are you? by Matt M Brandon Bloom by Matt M Thanks in advance by Matt M	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU There's a spectrum of by Matt M Yes by Matt M A little less conversation, a little more action please by Matt M Disagree with you, not the policy by Matt M Meh by Matt M Sure by Matt M	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". The trick by Matt M In bed by Matt M	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Reader monad by Matt M Looks uncontroversial by Matt M That looks like the main difference by Matt M A difference by Matt M If you don't see my point, by Matt M Semantics by Matt M Abstract quantities vs. symbolic quantities by Matt M My point was that in order by Matt M 1. Labeling a vector of by Matt M Defining radiusEarth in by Matt M ...	Ehud Lamm	2015-09-02 15:49
Forum topic	Implementing the communication semantics of actors Yes by Matt M Isn't the point that the by Matt M	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets Which is the string class? by Matt M Changing how strings are implemented by Matt M RE: Jules' article on collection design by Matt M	Wolf Logan	2015-08-24 11:10
Forum topic	Are Actors a Good Model for Computation. If your single line by Matt M	Keean Schupke	2015-08-19 02:04
Forum topic	Limitations of FRP? I guess you're looking at it by Matt M I don't know that it's fair by Matt M Fixing fix by Matt M Trickiness if we don't? by Matt M Yes by Matt M Doh by Matt M Well, look here where he's by Matt M Not sure by Matt M Event with Wait/Now is is a by Matt M Appropriateness of Next Next? by Matt M ...	Sean McDirmid	2015-08-04 08:28
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