Lambda the Ultimate

type	title	author	last post
Story	Turnstile+: Dependent Type Systems as Macros separating issues by John Shutt ref by John Shutt Context by John Shutt What makes you think by John Shutt ... by John Shutt reaching for a more positive attitude by John Shutt sigh by John Shutt well... by John Shutt Sapience by John Shutt bayes, markov, or one of that crowd by John Shutt ...	Charles Stewart	2021-08-17 17:18
Forum topic	Why is there no widely accepted progress for 50 years? The role of PLs by John Shutt hmm by John Shutt sic et non by John Shutt Reflective tower by John Shutt Unknown unknowns by John Shutt FCVs by John Shutt What we've learned by John Shutt I've got a little list... by John Shutt Toy languages by John Shutt	Milton Silva	2021-06-09 23:27
Forum topic	Cognition and Coding λ by John Shutt vertical and horizontal by John Shutt Feynman diagrams by John Shutt Re data visualization by John Shutt Language by John Shutt (tangentially related link) by John Shutt Literacy by John Shutt supersede? by John Shutt sapience, space, hardcopy by John Shutt sapient programming by John Shutt ...	Alex Berka	2021-04-24 06:46
Forum topic	Loop and recursion Fascinating by John Shutt maybe I've got it now by John Shutt but... by John Shutt Er by John Shutt How would that work? by John Shutt Separate questions by John Shutt	Mats	2021-01-21 21:50
Forum topic	A problem about programming with macros vs Kernel F-exprs Hmm by John Shutt Syntactically distinct macro calls by John Shutt	Qiantan Hong	2021-01-19 04:39
Forum topic	Is there an existing name for my higher-order function? But, I'm not talking about by John Shutt Better by John Shutt Alternatively, by John Shutt Perhaps right-apply can be by John Shutt I've never encountered that usage by John Shutt curried apply? by John Shutt	shawnbrown	2021-01-05 04:44
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") fwiw by John Shutt	chetmurthy	2020-12-15 19:40
Forum topic	Upward and downward polymorphism in object oriented languages. Onward and upward by John Shutt	Ray Dillinger	2020-11-21 00:09
Forum topic	What is a type? Intrinsic and extrinsic by John Shutt	Mats	2020-10-30 19:19
Forum topic	Is character as a type meaningless? Reynolds by John Shutt codepoints; extrinsic types by John Shutt flexibility? by John Shutt Just thinking... by John Shutt Variation on the theme by John Shutt	Mats	2020-09-16 20:52
Forum topic	Async/await vs coroutines? To be clear by John Shutt KISS by John Shutt	Matthew OConnor	2020-09-10 16:33
Story	The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Wow by John Shutt	Manuel J. Simoni	2020-08-25 22:44
Forum topic	Programming in Lambda Calculus Elegance by John Shutt History by John Shutt	hbrandl	2020-06-27 02:58
Forum topic	IEEE Scheme expiring soon PLT by John Shutt Uniformity looks like a by John Shutt I didn't give a complete by John Shutt Figuring out what one wants by John Shutt So... by John Shutt Uniform empowerment by John Shutt Lua by John Shutt In fact if you have both by John Shutt word choice by John Shutt Current environment by John Shutt ...	johnwcowan	2020-04-14 07:48
Forum topic	Various desired forms of reasonableness Typefulness by John Shutt	raould	2020-02-07 15:53
Story	Tensor Considered Harmful dimensions and units by John Shutt	Z-Bo	2019-11-09 02:27
Story	Applied Category Theory - The Emerging Science of Compositionality Second look by John Shutt Sure by John Shutt Connecting the dots by John Shutt	Manuel J. Simoni	2019-09-10 22:22
Forum topic	Rope Ambition and extensibility by John Shutt	jocob_knight	2019-08-08 00:28
Story	"Three Things I Wish I Knew When I Started Designing Languages" convenient by John Shutt	Charles Stewart	2019-05-14 00:54
Forum topic	CPS for the win? Kernel by John Shutt	raould	2019-03-10 17:26
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing There are no low stakes by John Shutt we should expect to find by John Shutt We got here from a by John Shutt Conucleus by John Shutt Perspective by John Shutt tbh by John Shutt As a branch of mathematics, by John Shutt Meaning by John Shutt continued by John Shutt fwiw by John Shutt ...	AntC	2019-02-25 23:25
Forum topic	Major problems with access Load times by John Shutt	const	2019-02-24 09:31
Story	On compositionality Heh. by John Shutt Common cause by John Shutt	Charles Stewart	2018-10-23 17:45
Forum topic	Video on Continuations call/cc and dynamic-wind by John Shutt	johnnyb	2018-10-12 02:55
Forum topic	How to decrease bugs in the code How to program by John Shutt	akira	2018-09-18 02:19
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