Lambda the Ultimate

type	title	author	last post
Forum topic	Syntax for reification of types Being stored in a variable, by Matt M	cdiggins	2014-03-04 19:20
Forum topic	Disallow shadowing? If you could convert a map by Matt M There is always a mapping by Matt M But you forgot the killer by Matt M 😏 by Matt M Map considered harmful by Matt M Something's wrong by Matt M Thanks by Matt M Should I imagine a wine bottle? by Matt M We could even make formal by Matt M Named parameters to the rescue? by Matt M ...	Y	2014-02-25 02:06
Forum topic	Booleans vs strings If your coercions are truly by Matt M Fuzzy judgements by Matt M If a particular subprogram by Matt M Well by Matt M Unconvinced by Matt M	jamii	2014-02-15 22:49
Forum topic	Minimal implementation of state machines Proving minimality of number by Matt M	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Transitive usefulness by Matt M Termination proofs are worthless in practice by Matt M Have you formalized what's by Matt M I think you're probably by Matt M I'm actually sort of by Matt M I assumed you'd have some by Matt M What I meant is that dynamic by Matt M Blaugh by Matt M In any pay as you go system by Matt M Types as annotations with attached semantics by Matt M ...	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. Agree by Matt M Unorganized thoughts by Matt M Generality through minimized assumptions vs. cases by Matt M	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. So you're saying that by Matt M the feedback about such by Matt M That's fair by Matt M NatLT was my concern, not Vector by Matt M Type-level shenanigans by Matt M Customization by Matt M Whoops by Matt M Depending on how you view by Matt M and any type level by Matt M Types don't depend on values by Matt M ...	Kannan Goundan	2014-01-15 04:00
Story	Pure Subtype Systems I agree with Hewitt here. by Matt M Sounds like a similar by Matt M	naasking	2014-01-14 06:09
Forum topic	John Shutt on "Abstractive Power" OK, so do I understand by Matt M No comprende by Matt M	gasche	2013-12-25 04:25
Story	The origin of zero-based array indexing Number theory by Matt M Are arrays even a good idea? by Matt M	Ehud Lamm	2013-12-23 09:24
Forum topic	Its type checking, Jim, but not as we know it. Couple things by Matt M Notation confusion by Matt M Weak edges by Matt M Thanks by Matt M I'm asking whether you can by Matt M Request for clarifications by Matt M I'm just talking about a by Matt M I fixed my example to not by Matt M Okay. That's in line with by Matt M No, I'm loster than that by Matt M ...	Sean McDirmid	2013-12-20 05:56
Forum topic	Strong Mathematical Foundations for Computer Science Typo by Matt M If you stick to the by Matt M This is good stuff, guys. by Matt M	Hewitt	2013-11-25 14:58
Story	Python and Scientific Computing so I'm all for Python by Matt M	Ehud Lamm	2013-11-22 10:03
Forum topic	Why is Static Typing Hard? I assume he means the 8th by Matt M	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory How do you figure? by Matt M Match braces in a separate by Matt M	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional How's about you just switch it? by Matt M	Sean McDirmid	2013-11-05 20:23
Story	The Genuine Sieve of Eratosthenes On what count? by Matt M Different motivation by Matt M Thanks by Matt M Is that really O(n)? Yes. by Matt M And by now I am certain it by Matt M How many terms are generated by Matt M I don't think it's O(n) by Matt M "There is no way this is linear" by Matt M Recheck? by Matt M Agreed by Matt M ...	Ehud Lamm	2013-10-26 21:32
Forum topic	Write tracking for Nimrod Maybe I don't understand by Matt M I agree by Matt M	Araq	2013-10-23 17:22
Story	Copatterns: the final approach to codata? I understood Oleg to be by Matt M Transfinite induction? by Matt M	gasche	2013-10-11 22:36
Story	LVars: monotonic update for deterministic parallel programming Typing these things by Matt M I wonder by Matt M	gasche	2013-10-08 06:30
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
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