Lambda the Ultimate

type	title	author	last post
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
Forum topic	Formalization and programming language design -- explained to all upcasting and downcasting... by Ray Dillinger	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language Uhm.... Unicode? by Ray Dillinger	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? No secret special ability. It's a NUMBER. by Ray Dillinger Is that really specialization, from the programmer's POV? by Ray Dillinger Probably not coincidentally... by Ray Dillinger Context by Ray Dillinger Fully type-definite operations, your choice of verbs or nouns. by Ray Dillinger	raould	2016-03-31 23:06
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” I like the lambda calculus a lot. by Ray Dillinger void return types by Ray Dillinger Understanding MEANS building. by Ray Dillinger Process can be personal. by Ray Dillinger	Allan McInnes	2016-03-25 19:25
Forum topic	New Regexp One thing about pattern matching is you always want binding. by Ray Dillinger	Ivan V.	2016-03-24 12:55
Forum topic	Why not C++? My preferred subset is to reduce visual ambiguity. by Ray Dillinger	raould	2016-03-22 14:41
Story	Second-order logic explained in plain English Monstrosities, inc. by Ray Dillinger	Charles Stewart	2016-02-19 12:40
Forum topic	Subclass, superclass, or siblings under an abstract superclass? You are correct. My by Ray Dillinger Oh, for the love of braindead zombies... by Ray Dillinger There is probably a way to do that. I didn't find it. by Ray Dillinger You presume one-dimensional VMT's. by Ray Dillinger Types vary at interfaces between layers. by Ray Dillinger Well, yeah. There are SEMANTICALLY good OO systems. by Ray Dillinger I figured out how to do it. by Ray Dillinger This OO is no help. by Ray Dillinger Well, that makes performance sense at least. by Ray Dillinger That was kind of the whole by Ray Dillinger ...	Ray Dillinger	2015-09-29 15:36
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development wrong metaphor... by Ray Dillinger	gasche	2015-08-22 15:22
Forum topic	Research vs implementation, theory vs practice, and LtU C++ headers badly designed. Yes, you need to compose them. by Ray Dillinger Hobbyist?! Are you nuts? by Ray Dillinger On going back to procedural by Ray Dillinger	Blaisorblade	2015-07-28 16:57
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Perhaps it's those who do by Ray Dillinger So? by Ray Dillinger check me on this... by Ray Dillinger Fixed points are not required for Godel's theorem to apply. by Ray Dillinger Yes but... by Ray Dillinger and in point of fact, by Ray Dillinger Wait.... It's not april first yet. by Ray Dillinger	Hewitt	2015-06-25 00:05
Forum topic	XKCD on type theory...	Ray Dillinger	2015-06-16 21:32
Forum topic	Types are fundamental to both logic and computation Two sides. by Ray Dillinger	Hewitt	2015-06-02 11:07
Forum topic	Why we don't believe in Visual Programming Part of it is that with by Ray Dillinger I don't believe in it for a different reason... by Ray Dillinger	Tiago Simoes	2015-04-14 15:24
Forum topic	Negation in Logic Languages Well, exactly! by Ray Dillinger Only 3-valued. by Ray Dillinger Logic is at least ternary. by Ray Dillinger	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Right and wrong, pfah. There's only consistency & inconsistency by Ray Dillinger	Sean McDirmid	2015-02-13 23:43
Forum topic	symbols and loosely coupled concurrent apps part II FWIW, by Ray Dillinger	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. What many don't do, not what they can't do. by Ray Dillinger You can't get ANY security that way. by Ray Dillinger Not "justified." The word you needed is "REQUIRED." by Ray Dillinger Here are some things you should be able to do. by Ray Dillinger Leaky Abstractions for the win! by Ray Dillinger The problem with garbage collected languages.... by Ray Dillinger	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? There are limited proofs whose construction you can automate. by Ray Dillinger Why is there a compile time? by Ray Dillinger deliberate, as well as drastic by Ray Dillinger If we want to improve reliability, by Ray Dillinger Making it easy to do things well by Ray Dillinger I had this conversation once... by Ray Dillinger Hum, I think that may be backward... by Ray Dillinger Versatility. It's a sort of zen virtue. by Ray Dillinger PL's are simply tools. by Ray Dillinger Interesting point! by Ray Dillinger	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? It's the definition of "adding stuff" that's at issue. by Ray Dillinger	shahbaz	2015-01-21 17:18
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