Lambda the Ultimate

type	title	author	last post
Forum topic	GADTs meet subtyping Yes, refinement by Matt M Should eval and expr be defined together? by Matt M	Matt M	2013-09-30 04:52
Story	Types for Flexible Objects Oh, I see by Matt M Why? by Matt M I don't think there is any by Matt M A system designed for by Matt M Non-disagreement? by Matt M Comma comma comma comma comma chameleon by Matt M	naasking	2013-09-16 18:49
Story	Mixed-Site Variance Specifications aren't computable by Matt M Semantics of C[out T] by Matt M	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters OK, so you are arguing that by Matt M SF-calculus showed, it by Matt M How is this possible? by Matt M For nearby items, we're more by Matt M But I am probably imagining by Matt M Discoverability by Matt M I don't understand the by Matt M What does Direct Semantic Access mean? by Matt M OK, I do see the appeal by Matt M IDEs by Matt M ...	James Iry	2013-09-09 19:40
Forum topic	Total Self Compiler via Superstitious Logics At one point, you say "I by Matt M Just to be clear, I'm not by Matt M Another try by Matt M How would you express this by Matt M Monadic Self Interpreters by Matt M	Matt M	2013-09-03 06:14
Forum topic	SF-calculus Don't ever look at the code by Matt M	Barry Jay	2013-08-30 18:42
Story	Dependently-Typed Metaprogramming (in Agda) Great set of notes by Matt M Oh right by Matt M Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax Let me see if I understand... by Matt M Apologies for the strawman by Matt M I think concrete is good by Matt M Source control by Matt M	Thomas Lord	2013-08-25 05:05
Forum topic	Future of Programs using Assertions, Goals, and Plans That sounds like the kind of by Matt M	Hewitt	2013-08-10 01:07
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Thanks for all the fruit by Matt M Right, it's kind of like the by Matt M Few situations for ADTs!? by Matt M If that is painful then don't do that by Matt M The idea is just that some by Matt M SetObject isn't the ADT. Set is. by Matt M Smaller argument by Matt M Why have McDonalds hamburgers been so successful? by Matt M	Sean McDirmid	2013-08-07 23:59
Story	Extensible Effects -- An Alternative to Monad Transformers Good point by Matt M I'm sure they are equivalent by Matt M So you can resume it multiple times by Matt M Handling effects is more than just typing them by Matt M This is probably what my Processes are by Matt M	naasking	2013-08-01 13:03
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket You only have to type it once by Matt M	Sean McDirmid	2013-07-28 00:17
Forum topic	A New Kind of Type System How about The Constraint-o-matic Typenator by Matt M	Sean McDirmid	2013-07-03 18:06
Story	the gnu extension language Ok I read through this new by Matt M What is abstractive power? by Matt M Thanks, I'll check this out by Matt M Thanks for the link. I'll by Matt M This is what I'm implementing with my three day weekend by Matt M I didn't start the fire by Matt M	Manuel J. Simoni	2013-06-28 14:23
Story	Foundations of Inference I'm not up to date on the by Matt M	Paul Snively	2013-05-21 03:54
Story	Observational Equality, Now! Halting problem remains unsolved by Matt M	James Iry	2013-05-16 02:24
Story	Dependent Types for JavaScript Ok, good luck by Matt M Type theory is static in the by Matt M Type theory needs to be by Matt M Inferring types at run-time by Matt M The correspondence between by Matt M "Type Theory" by Matt M Technically true by Matt M Type assertions vs. orindary assertions by Matt M Let's try this again... by Matt M I was apparently confused by Matt M ...	naasking	2013-04-18 10:44
Forum topic	Five "laws" of programming paradigms Well... by Matt M Fifth law by Matt M	Peter Van Roy	2013-04-07 20:15
Story	LtU is migrating from Drupal Well, it's been clear that by Matt M	Ehud Lamm	2013-04-02 07:38
Forum topic	Best maintainable evaluation strategy? Mutable references by Matt M Lexical scoping? by Matt M	tkirchner	2013-03-31 18:09
Forum topic	Seeking thoughtful criticisms of functional programming and languages If you don't care, you don't care by Matt M Can matter by Matt M Even constraint and logic by Matt M Why does it need to be explicit? by Matt M You are correct that you can by Matt M I'm not saying anything too deep by Matt M You can think of the monadic by Matt M Seeking examples by Matt M Much disagreement by Matt M Why bother... by Matt M ...	scottmcl	2013-03-31 00:40
Forum topic	Scheme language conundrum regarding delay and force. Both by Matt M Okay by Matt M Thunk conversion? by Matt M	Ray Dillinger	2013-03-10 11:15
Forum topic	Why say Actor Model instead of message passing? Something to do with math by Matt M Recursion by Matt M Look, I don't care by Matt M Fancy book learn'n by Matt M Lambda calculus doesn't have Unicode support by Matt M	Clarkd	2013-03-10 08:48
Forum topic	Fixpoint theory, induction and recursion On the other hand we need by Matt M	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? Thanks for the thoughtful comment by Matt M Pain points of units by Matt M Memos are an (essential) by Matt M The incrementalization / by Matt M Objects as reactive elements by Matt M My meaning wasn't clear, by Matt M My apologies by Matt M Not dead yet by Matt M lenient != non-strict by Matt M	Sean McDirmid	2013-03-01 03: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