Lambda the Ultimate

type	title	author	last post
Forum topic	ADMIN: You NEED to set up HTTPS soon Mitigation by Matt M	Bárður Árantsson	2018-04-15 23:49
Forum topic	Non-transitivity of type unification Probably need type vars? by Matt M	AntC	2018-03-18 15:28
Forum topic	Are "jets" a good idea? I don't really follow this. by Matt M Sure, I meant value by Matt M well by Matt M Maybe by Matt M	xkapastel	2018-03-16 14:28
Forum topic	Are Monads a Waste of Time? Even in a strict language, by Matt M It is codata by Matt M Very broad strokes by Matt M Effects as values by Matt M Effects by Matt M I was thinking more of using by Matt M Substructural types can by Matt M Substructural types describe by Matt M No linear types by Matt M Off topic by Matt M ...	Keean Schupke	2018-03-16 00:59
Forum topic	GADTs as gaurds If you separate the by Matt M No by Matt M I'm just saying that if you by Matt M Fair enough by Matt M Needs -XFlexibleInstances -XIncoherentInstances by Matt M Why? by Matt M What are the semantics of overlapping instances? by Matt M Type variables by Matt M Types by Matt M Else isn't constructive by Matt M ...	Matt M	2018-03-14 20:29
Forum topic	Anything recent happening with multi-stage programming? Representations by Matt M Neat by Matt M	David Teller	2018-03-08 16:18
Forum topic	Generics and Reverse Generics for Dynamic Languages Wonky by Matt M	Greg Buchholz	2018-03-06 18:06
Forum topic	Programming by poking: why MIT stopped teaching SICP Easy to argue, hard to prove by Matt M Definitely by Matt M	Sean McDirmid	2018-01-26 06:42
Forum topic	Interesting new paper from T. Sweeney and others So the verifier checks induction? by Matt M Hmmm by Matt M Entangled issues by Matt M New paper is a much better overview by Matt M Begging forgiveness by Matt M	jasonwatkinspdx	2018-01-22 05:09
Forum topic	Refining Structured Type System So those are examples rather than rules? by Matt M Sections of operators by Matt M Nice by Matt M	Ivan V.	2017-12-31 16:52
Forum topic	Algebra Of Pointers I suspect raould by Matt M Nitpicking by Matt M Yeah I bungled my words by Matt M Well by Matt M	Keean Schupke	2017-12-30 13:48
Forum topic	Non-determinism: a sublanguage rather than a monad "To justify my earlier by Matt M [removed] by Matt M FSM doesn't imply a particular implementation by Matt M If you change it use a type by Matt M I see, so you wouldn't by Matt M You can capture a KPN as a by Matt M Can you? by Matt M Capturing a KPN by Matt M You're still missing something by Matt M For example '+' in a monad by Matt M ...	Greg Buchholz	2017-10-28 07:57
Story	"8th" - a gentle introduction to a modern Forth Too restrictive? by Matt M Simple language = intermediate representation? by Matt M Core syntax vs. abstract syntax by Matt M	Allan McInnes	2017-10-14 05:08
Forum topic	The Platonic Solids of Software Construction and Their Realization in C If I write a library that by Matt M That's a very implementation by Matt M I agree by Matt M	bryanedds	2017-09-29 19:00
Forum topic	Something I forgot Taking names by Matt M Dropping names by Matt M Names! by Matt M References as abstract values by Matt M Regarding decidability, yes, by Matt M Nominal typing of data by Matt M The argument doesn't matter? by Matt M Equality by Matt M Referential Transparency by Matt M ... by Matt M ...	marco	2017-08-26 06:44
Story	Happy Birthday, dear Lambda: 17 is good edition Fun by Matt M	Ehud Lamm	2017-08-18 06:51
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. Thanks by Matt M Hmm by Matt M Request for clarification by Matt M	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	What would be involved in moving logic beyond FOL? No, you're right by Matt M Second sort for relations by Matt M My take by Matt M Yeah by Matt M Any particular finite path by Matt M Anticlimactic by Matt M FOL already has trouble by Matt M What's an infinite path? by Matt M Usually we want finite paths by Matt M What do you mean that FOL is by Matt M ...	Charles Stewart	2017-07-14 15:18
Forum topic	Finding Solutions vs. Verifying Solutions Keep posting by Matt M :/ by Matt M In a case of verifying, we by Matt M Heh sorry by Matt M The Very Math? by Matt M I'm pretty sure that the by Matt M Probably buggy by Matt M	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem Godel did first prove a by Matt M the usual thing is to by Matt M Free variables by Matt M Try this? by Matt M Full stop, he said by Matt M Sure by Matt M John, I'm not sure about this by Matt M By Arithmetic I mean a by Matt M Wrong parse by Matt M You're right by Matt M ...	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Neat by Matt M I'm mobile today so can't by Matt M Ok by Matt M Sorry! by Matt M Left as exercise for the reader (FIXED) by Matt M	marco	2017-05-16 02:03
Forum topic	Domain specific language for playing games Thanks by Matt M Sean, send me an email by Matt M FRP by Matt M	davidb	2017-05-03 22:47
Forum topic	The Two Dualities of Computation: Negative and Fractional Types Very funny Ha ha by Matt M I think we just need to by Matt M Rationalization by Matt M	Greg Buchholz	2017-04-26 16:36
Forum topic	New PL forums: plforums.org Bootstrapping by Matt M	glebm	2017-04-13 02:55
Story	Contextual isomorphisms Are nested types not a complication? by Matt M	gasche	2017-03-10 16:30
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