Lambda the Ultimate

type	title	author	last post
Forum topic	Inquiry into the nature of software complexity. My impression by Matt M Doesn't match my experience very closely by Matt M	bryanedds	2014-04-24 20:30
Story	Deca, an LtU-friendly bare metal systems programming language Too soon by Matt M	Anton van Straaten	2014-04-23 16:10
Story	Study finds that when no financial interests are involved programmers choose DECENT languages a) Hooft accepts the Free by Matt M Or Gödel by Matt M	Ehud Lamm	2014-04-15 05:59
Story	What Are The Resolved Debates in General Purpose Language Design? True by Matt M No language expressive by Matt M What means 'core language' by Matt M Not abstract syntax only by Matt M [...] a core language should by Matt M Hierarchies of Languages by Matt M Libraries can depend on other libraries by Matt M No by Matt M Libraries don't have to be optional by Matt M Zero based indexing by Matt M	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future I understand how monads by Matt M How do you represent by Matt M Semantics of errors by Matt M I'm not following the by Matt M Not true of ST? by Matt M Values in Haskell are pure / by Matt M	bashyal	2014-03-26 03:53
Forum topic	CFP: Book Chapters for "A Librarian’s Introduction to Programming Languages" Oh come on by Matt M	mfidelman	2014-03-25 23:50
Forum topic	"null" is to tagged unions as ???? is to records Built-in dirty flags? by Matt M	Kannan Goundan	2014-03-22 20:06
Story	Propositions as Types Yes, when someone says by Matt M Predicate logic vs. propositional logic by Matt M Hmmm by Matt M That doesn't work by Matt M Yikes, that's a lot of by Matt M First, CH does not identify by Matt M Thanks by Matt M So you can write (\x. x x) by Matt M Why not Curry-Howard? by Matt M	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Resilient Languages Tooling could possibly help by Matt M	spdegabrielle	2014-03-11 00:57
Story	Wirth Symposium Libre software that isn't gratis by Matt M	Luke Gorrie	2014-03-04 20:32
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
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