Lambda the Ultimate

type	title	author	last post
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 Indeed by Matt M	jdougan	2021-10-14 09:16
Forum topic	Is character as a type meaningless? Agree by Matt M Do it yourself tactics by Matt M Representations by Matt M Lambda the ultimate by Matt M Modeling by Matt M	Mats	2020-09-16 20:52
Forum topic	Godel and Meta-Circularity	Matt M	2020-09-16 03:37
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Dependent Types by Matt M	Eduardo León	2020-08-30 14:57
Forum topic	IEEE Scheme expiring soon Necromancy... by Matt M I see what you're saying by Matt M What are we to do? by Matt M Why not String = [Char]? by Matt M	johnwcowan	2020-04-14 07:48
Forum topic	The Way-Too-Early announce: Ecstasy Congratulations by Matt M	cpurdy	2019-11-11 13:37
Story	Applied Category Theory - The Emerging Science of Compositionality Not worth 20 minutes by Matt M	Manuel J. Simoni	2019-09-10 22:22
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing I would assume the odds of by Matt M I'd hesitantly entertain by Matt M Skeptical by Matt M No "real" meaning by Matt M Model theory isn't a philosophical endeavour by Matt M Can you explain more why it by Matt M Definition of `type` by Matt M I'm with you now by Matt M Program generation by Matt M	AntC	2019-02-25 23:25
Forum topic	Looking for papers on covariance and contravariance I'm not sure where my by Matt M Hmm by Matt M	AaronNGray	2019-02-10 18:33
Story	On compositionality Seems slippery by Matt M The issue isn't that some by Matt M </code></code> by Matt M	Charles Stewart	2018-10-23 17:45
Story	Notes on notation and thought Testing by Matt M Binary operator version by Matt M	Ehud Lamm	2018-08-05 22:54
Story	"C Is Not a Low-level Language" Determinism =/= Exactness by Matt M Determinism is good by Matt M	Allan McInnes	2018-08-02 15:16
Story	Polymorphism, subtyping and type inference in MLsub Ad hoc polymorphism? by Matt M While you're here... by Matt M Restrict subtyping to fine types by Matt M	gasche	2018-07-13 00:37
Forum topic	Higher Order Functions Considered Unnecessary for Higher Order Programming This first order style can by Matt M	irisjae	2018-07-12 18:54
Story	Captcha FYI: A train car isn't a car by Matt M	Ehud Lamm	2018-07-09 18:16
Forum topic	C++ fun Failure to pith by Matt M What language has inspired by Matt M	chrisoliver	2018-06-11 02:05
Forum topic	Proof system for learning basic algebra UX by Matt M	Edwin Zacharias	2018-05-25 20:27
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules We're all formal systems by Matt M Godel isn't just about formal systems by Matt M The paper is about what by Matt M Syntax extension is to allow custom notations by Matt M Sure, but "lexical scopes by Matt M Or don't use macros by Matt M Thanks for the great explanation by Matt M	Andris Birkmanis	2018-05-21 07:37
Forum topic	Type Bombs Yeah, OK. That's outside of by Matt M Thanks by Matt M I don't think Andreas was by Matt M Probably not by Matt M	marco	2018-05-17 10:51
Forum topic	Expressions of Change Yeah, that discussion on by Matt M Exposing deltas by Matt M Undo/redo by Matt M What's the purpose of the language? by Matt M	vanschelven	2018-04-30 16:30
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
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