Lambda the Ultimate

type	title	author	last post
Forum topic	First-Class Patterns Pattern functions are by naasking Scala's extractors are by naasking I had been considering a by naasking	naasking	2024-06-14 09:03
Forum topic	What is a type? It is also true what I said: by naasking It is also true that by naasking The addition of an axiomatic by naasking (a) We know that with by naasking I still don't see how QM by naasking I don't mean to pick old by naasking	cpurdy	2023-01-25 22:53
Story	Lightweight Static Capabilities Updated link by naasking Can a membrane be built on by naasking Membrance pattern by naasking Statically typed E by naasking	Paul Snively	2021-12-02 13:45
Story	Latent Effects for Reusable Language Components	naasking	2021-10-14 14:02
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 Unexpected and very sad by naasking	jdougan	2021-10-14 09:16
Story	Turnstile+: Dependent Type Systems as Macros If you compare GPT-3 with by naasking One thing I think is missing by naasking All the stuff in language by naasking	Charles Stewart	2021-08-17 17:18
Forum topic	Why is there no widely accepted progress for 50 years? Ah, you're looking for by naasking I might add Composition and Environment by naasking	Milton Silva	2021-06-09 23:27
Story	A Next Generation Smart Contract and Decentralized Application Platform Indeed, EVM features by naasking Further to this, the number by naasking The E language for smart contracts by naasking The difficulty with the by naasking Smart contracts have a long history by naasking	Manuel J. Simoni	2021-05-12 10:13
Forum topic	Cognition and Coding I alluded, btw, to having a by naasking In my view GOTO and static by naasking Re naasking's point about by naasking Re: spatial reasoning in by naasking	Alex Berka	2021-04-24 06:46
Forum topic	Abstraction Tiers of Notations No, it is not a type by naasking Types are logical by naasking CPU do not have types. The by naasking	const	2021-03-30 16:43
Forum topic	High level languages with optimal code generation I suggest reading Leroy's by naasking 1. What is optimal? It seems by naasking	Milton Silva	2021-02-13 04:47
Forum topic	Concurrent System Programming with Effect Handlers I could implement ocap by naasking Arguably, this paper is more by naasking I'm curious how you would by naasking	raould	2021-01-26 03:50
Forum topic	Loop and recursion Continuation-passing syle by naasking I'll just close by by naasking The particular variant of by naasking The for-loop happens in the by naasking On other hand loops are more by naasking I would posit that fewer by naasking	Mats	2021-01-21 21:50
Story	Built to Last Data lakes make sense to me, by naasking Generally, the low-level by naasking	Ehud Lamm	2020-12-17 03:14
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") Previous discussion. by naasking	chetmurthy	2020-12-15 19:40
Forum topic	Async/await vs coroutines? Coroutines are typically by naasking	Matthew OConnor	2020-09-10 16:33
Forum topic	Streaming Language Rewrite Processing (SLRP) Things like capabilities are by naasking	dmbarbour	2019-08-13 03:22
Story	The Left Hand of Equals Fixed, sorry about that. by naasking	naasking	2019-06-20 19:16
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing You seem to be using by naasking It's an understandable by naasking I'm concerned that once by naasking Moving past that to embrace by naasking I was a believer in type by naasking	AntC	2019-02-25 23:25
Forum topic	Major problems with access I've noticed intermittent by naasking	const	2019-02-24 09:31
Story	On compositionality "Local state" article argues by naasking In the article "local state by naasking The first need live upgrade, by naasking "Local state is poison" link by naasking	Charles Stewart	2018-10-23 17:45
Forum topic	How to decrease bugs in the code I don't see why the path by naasking	akira	2018-09-18 02:19
Forum topic	Best value for overloading? OASIS by naasking Yes, implicit arguments give by naasking Regardless of whether or not by naasking In my experience by naasking Re: multimethods, indeed by naasking	naasking	2018-09-06 21:19
Story	"C Is Not a Low-level Language" Determinism is not useful in by naasking	Allan McInnes	2018-08-02 15:16
Story	Safe Dynamic Memory Management in Ada and SPARK	naasking	2018-08-01 22:57
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