Lambda the Ultimate

type	title	author	last post
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
Forum topic	Algebra Of Pointers In general vs. in special case by Ray Dillinger	Keean Schupke	2017-12-30 13:48
Forum topic	A refutation of Gödel's first incompleteness theorem mutable state doesn't exist in the universe described by Gödel. by Ray Dillinger	Enrique Perez Arnaud	2017-05-25 18:11
Story	Salon des Refusés -- Dialectics for new computer science Definitely perceptions can change. by Ray Dillinger A body of formal knowledge is needed of course. by Ray Dillinger I put it more simply. by Ray Dillinger	gasche	2017-02-19 07:18
Story	Stroustrup's Rule and Layering Over Time Pattern matching.... by Ray Dillinger Well, okay... by Ray Dillinger This has some implications about minimal-syntax languages. by Ray Dillinger Functions as records by Ray Dillinger	Ehud Lamm	2017-01-04 21:43
Story	Philip Wadler: Category Theory for the Working Hacker "well understood" vs. "no, it's just that way." by Ray Dillinger Functional Languages will dominate. by Ray Dillinger I think type systems are more like unification. by Ray Dillinger	Ehud Lamm	2016-09-23 20:29
Forum topic	Microscript Spaghetti stack for the win. by Ray Dillinger Stacks of helium balloons. by Ray Dillinger Easy with relative addressing. Not so much with general. by Ray Dillinger	Ivan V.	2016-08-08 22:31
Forum topic	A language for blind uncomprehending idiots who have no idea how programs work. Recombination is where robustness comes from. by Ray Dillinger Evolution as a mechanism has refined itself. by Ray Dillinger Oh, no question of that. by Ray Dillinger For what it's worth, the Religion/Science thing ... by Ray Dillinger memetics is at best an imperfect analogy to genetics. by Ray Dillinger Struggling with it... by Ray Dillinger PSOL recombination operators.... by Ray Dillinger I hadn't thought so. Care to unpack that? by Ray Dillinger Valuable insight on that... by Ray Dillinger recombination of funges by Ray Dillinger	Ray Dillinger	2016-08-08 13:51
Forum topic	Branch Forward Only Bitcoin scripting language uses the same rule. by Ray Dillinger	Greg Buchholz	2016-07-29 20:58
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners Last I knew.... by Ray Dillinger It's possible if very carefully constructed, but impractical by Ray Dillinger	johnwcowan	2016-07-29 14:27
Forum topic	how to design PL support for effects emerging from parallel non-determinism? At the risk of moving the goal again... by Ray Dillinger It becomes a stability issue... by Ray Dillinger It's about controlling WHAT we control. by Ray Dillinger Counterintuitive: manage nondeterminism by maximizing it. by Ray Dillinger	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly You've written programs that never use a subroutine? by Ray Dillinger	Ivan V.	2016-06-24 17:31
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code Unit consistency checking by Ray Dillinger	naasking	2016-06-12 18:06
Forum topic	Programming with a Differentiable Forth Interpreter I am really fascinated by this topic, btw.... by Ray Dillinger Problem domain mismatch? by Ray Dillinger	Sean McDirmid	2016-06-06 19:46
Forum topic	Theory of syntax extensions: does it exist? Turing complete assembly code... by Ray Dillinger Whereas I took the completely opposite approach... by Ray Dillinger	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report You can write fold as a map too, if you have closures. by Ray Dillinger Why should programmers even see container algorithms? by Ray Dillinger Hmm, okay. by Ray Dillinger Okay, what's the distinction? by Ray Dillinger Started there, but not limited to it. by Ray Dillinger It was the supposed difference that annoyed me. by Ray Dillinger Incidentally? Screw folds. by Ray Dillinger	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? memory mapping can be non-instant. by Ray Dillinger Well, yes, obviously.... by Ray Dillinger	Alex Shpilkin	2016-05-13 11:57
Forum topic	PL's hotness challenge Hmm. That IS an interesting question... by Ray Dillinger I don't doubt for a minute by Ray Dillinger We'd be pretty obvious. by Ray Dillinger Yeah, but humans are bizarre. by Ray Dillinger But human intelligence evidently is exceptional. by Ray Dillinger The definition is not the reality. by Ray Dillinger Agreement on terms... by Ray Dillinger PL and PLT by Ray Dillinger This is true. by Ray Dillinger	Sean McDirmid	2016-05-10 06:04
Forum topic	Best successor to Scheme? Well, the subexpressions are all evaluable so... by Ray Dillinger You could take it further than that. by Ray Dillinger I like that idea. by Ray Dillinger Still thinking about it... by Ray Dillinger Yes, I'm sure it's the same problem. by Ray Dillinger Fexprs and quoting. by Ray Dillinger Eh, whatever by Ray Dillinger I also used a '$' prefix, but for something else. by Ray Dillinger Full Dynamism but explicitly enabled and limited. by Ray Dillinger	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Right. Appropriate to address scale. by Ray Dillinger Optimizing compilers, sorts and value vs operational semantics by Ray Dillinger Constant time... by Ray Dillinger I understand that view but... by Ray Dillinger	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? Similar in spirit. by Ray Dillinger Real number semantics have an unfortunate feature.... by Ray Dillinger Incoherent, yeah, maybe. by Ray Dillinger Sythesis: embrace the power of and. by Ray Dillinger Explicit selection... by Ray Dillinger If that's what they're counting on, yes. by Ray Dillinger Sure. It's like exposition for cross-platform optimizers. by Ray Dillinger Blob = binary object. Opacity not implied. by Ray Dillinger To the point.... by Ray Dillinger Sigh. It's more than unicode, okay? by Ray Dillinger ...	Ray Dillinger	2016-04-24 02:14
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