Lambda the Ultimate

type	title	author	last post
Forum topic	A case study of concatenative v.s. applicative syntax design That's all about the delimiters. by Ray Dillinger	xieyuheng	2025-03-23 02:54
Forum topic	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. About identifiers... by Ray Dillinger Duplicate comment deleted. by Ray Dillinger That would be too sensible. by Ray Dillinger The Right Answer by Ray Dillinger Simpler yes but also more intrusive. by Ray Dillinger It's not unicode's behavior I'm trying to restrict. by Ray Dillinger And now we're back to the 'editor-of-choice' religious wars.... by Ray Dillinger Well yeah... by Ray Dillinger Identifiers and bidi. by Ray Dillinger Not really "for or against" here...more like "how to deal with." by Ray Dillinger ...	Ray Dillinger	2023-11-30 21:25
Forum topic	Context Sensitivity and relational comparison operators Hmm. There SHOULD be a way to say that. by Ray Dillinger Why restrict to one direction? by Ray Dillinger Syntactic sugar for what, exactly? by Ray Dillinger	Ray Dillinger	2023-09-17 22:45
Forum topic	Rewrite.js – a minimalist s-expr based term rewriting system Most Infinite recursions are evitable with ony a small effort by Ray Dillinger Infinite recursions are evitable by Ray Dillinger	Ivan V.	2023-04-23 09:37
Forum topic	Advantages of pointfree? Pointfree modified with some operator precedence by Ray Dillinger	John Nowak	2023-02-19 16:24
Forum topic	Denominated Values - Part numeric and symbolic. Ratios? No. by Ray Dillinger	Ray Dillinger	2023-01-31 22:12
Forum topic	What is a type? You can't. Shuffle destroys the sequence before it can matter. by Ray Dillinger Right, I understand what you're saying now. I just don't agree. by Ray Dillinger Information about the universe does not "enter" the universe. by Ray Dillinger Nondeterministic =/= information-free by Ray Dillinger Representability =/= Computability. by Ray Dillinger I don't think bits count unless they represent information. by Ray Dillinger Is there a difference between Hindley-Milner and Duck typing? by Ray Dillinger There is something important about the idea of co-definition. by Ray Dillinger Behavior is usually the interaction of multiple types. by Ray Dillinger	cpurdy	2023-01-25 22:53
Forum topic	Basic building blocks of a programming language Give it a few days... by Ray Dillinger	Mats	2023-01-22 11:40
Forum topic	Deallocation patterns and linear types (e.g. Rust) Wasn't this idea in the Dragon Book? by Ray Dillinger	shap	2022-11-16 22:24
Forum topic	Denominated Values - Part numeric and symbolic.	Ray Dillinger	2022-10-18 17:27
Forum topic	A Manufacturer's Perspective on PL Progress Template Metaprogramming. by Ray Dillinger c++ is a problem. by Ray Dillinger	shap	2022-10-02 17:33
Forum topic	HTTPS and logins to LtU.	Ray Dillinger	2022-09-20 06:02
Forum topic	Do we need exactly two binding constructs? It may be too subtle for me.... by Ray Dillinger There is no necessary difference. by Ray Dillinger	Qiantan Hong	2022-08-31 17:07
Forum topic	Do names and symbols really imply semantics? If so what to do about it? The tower of dependencies must be cut somehow at basement level by Ray Dillinger Human techniques for managing complexity-and their limits by Ray Dillinger Sadly designing for job security is also unethical. by Ray Dillinger I kinda went there and I don't believe it any more. by Ray Dillinger	Ray Dillinger	2021-11-22 16:49
Forum topic	Trojan Source: Unicode Bidi Algorithm abuses in source code	Ray Dillinger	2021-11-05 03:43
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 I shall miss him. by Ray Dillinger	jdougan	2021-10-14 09:16
Forum topic	We've got big balls ... of mud ... I see this kind of like 'keyhole optimization' in compilers. by Ray Dillinger	Ray Dillinger	2021-10-13 19:42
Forum topic	Why is there no widely accepted progress for 50 years? Maybe we're looking in the wrong place? by Ray Dillinger	Milton Silva	2021-06-09 23:27
Forum topic	Cognition and Coding Nightmare fuel. by Ray Dillinger If you're looking for a parallelizable geometric model... by Ray Dillinger "symbol" in the informal sense. by Ray Dillinger We should probably try to bring this back on topic. by Ray Dillinger Existence proofs of sapience exist. Explanations not so much. by Ray Dillinger The Church-Turing thesis does apply to the problem. by Ray Dillinger Oh, I'm sure it'll happen. by Ray Dillinger Incidentally I hate the nomenclature. by Ray Dillinger You are reminding me of by Ray Dillinger Formal Methods are no longer fashionable for human languages. by Ray Dillinger ...	Alex Berka	2021-04-24 06:46
Forum topic	High level languages with optimal code generation Mostly it's more work than people want to do. by Ray Dillinger Always a tradeoff by Ray Dillinger	Milton Silva	2021-02-13 04:47
Forum topic	Loop and recursion A pseudocode example of what I had imagined.... by Ray Dillinger That's classic continuation passing. Good but not the same. by Ray Dillinger Sorry, I guess I wasn't clear. by Ray Dillinger Calls and Returns by Ray Dillinger	Mats	2021-01-21 21:50
Forum topic	Upward and downward polymorphism in object oriented languages. I'm aware of that. by Ray Dillinger Ergh. by Ray Dillinger I used the terms "upward" by Ray Dillinger *** by Ray Dillinger	Ray Dillinger	2020-11-21 00:09
Forum topic	IEEE Scheme expiring soon More to the point... by Ray Dillinger Right. by Ray Dillinger Codepoints - only better because they don't actively suck. :-) by Ray Dillinger Yep. by Ray Dillinger "Fake" is exactly the right term by Ray Dillinger Yup. by Ray Dillinger Yes, I think that was in fact a mistake. But it's a small one. by Ray Dillinger argument case is correct; conclusion does not follow. by Ray Dillinger Well.... by Ray Dillinger Defer to the people using it! by Ray Dillinger ...	johnwcowan	2020-04-14 07:48
Forum topic	Bjarne Stroustrup interview on Youtube.	Ray Dillinger	2019-11-08 23:32
Forum topic	Representing Type Information in Dynamically Typed Languages Well, I guess it is pathological. by Ray Dillinger That's surprising. by Ray Dillinger High-performance Dynamic Languages by Ray Dillinger It's true but... by Ray Dillinger	Ray Dillinger	2018-04-06 21:50
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