Lambda the Ultimate

type	title	author	last post
Story	.NET Compiler Platform ("Roslyn") If only by Andreas Rossberg As in by Andreas Rossberg Old news by Andreas Rossberg No there aren't by Andreas Rossberg	Ehud Lamm	2014-04-22 23:53
Story	Study finds that when no financial interests are involved programmers choose DECENT languages Manifesto of Typeerorrism by Andreas Rossberg	Ehud Lamm	2014-04-15 05:59
Story	What Are The Resolved Debates in General Purpose Language Design? Continuations, too by Andreas Rossberg	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future TypeScript no, Dart no by Andreas Rossberg	bashyal	2014-03-26 03:53
Forum topic	CFP: Book Chapters for "A Librarian’s Introduction to Programming Languages" Reasons for using languages by Andreas Rossberg	mfidelman	2014-03-25 23:50
Story	Gilad Is Right Lack of invariants causes lack of information by Andreas Rossberg ...right, and... by Andreas Rossberg On the meaning of "static" by Andreas Rossberg Context by Andreas Rossberg Don't see how this follows by Andreas Rossberg But that is static type checking! by Andreas Rossberg Bottom-up by Andreas Rossberg Where's the advantage on discovering errors later?? by Andreas Rossberg Highly sceptical by Andreas Rossberg Hoops by Andreas Rossberg ...	Erik Meijer	2014-03-23 13:38
Forum topic	Resilient Languages In general by Andreas Rossberg Old times good times? by Andreas Rossberg Example? by Andreas Rossberg The divisions of fields by Andreas Rossberg Well by Andreas Rossberg I mean that PLT as by Andreas Rossberg Tweaks vs substantial improvements by Andreas Rossberg What's even worse by Andreas Rossberg True... by Andreas Rossberg Bad language design indeed by Andreas Rossberg	spdegabrielle	2014-03-11 00:57
Forum topic	Examples for benefitfs of dynamic programming languages Compositionality by Andreas Rossberg Typing fixpoint combinators is easy by Andreas Rossberg	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. Soundness by Andreas Rossberg Theoretical results by Andreas Rossberg I have a famous book by Andreas Rossberg For a bag full of corner cases by Andreas Rossberg Long shot by Andreas Rossberg Semantic complexity by Andreas Rossberg Template specialisation is type indexing by Andreas Rossberg Definition of 'generic' by Andreas Rossberg Inclusion, not equivalence by Andreas Rossberg Overloading is dispatch by Andreas Rossberg	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. HTML swallows left arrow by Andreas Rossberg Why reference counting? by Andreas Rossberg Does not work in general by Andreas Rossberg Not so by Andreas Rossberg Yes by Andreas Rossberg You don't need to by Andreas Rossberg No fixed point by Andreas Rossberg Statically unbounded by Andreas Rossberg It's second-class vs first-class that matters by Andreas Rossberg Actually, no by Andreas Rossberg ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Alternative implementation of closures in C Show-stoppers by Andreas Rossberg	andrew johnson	2013-12-29 16:07
Forum topic	Why is Static Typing Hard? Type error slicers by Andreas Rossberg The intriguing bit by Andreas Rossberg Type theory is foundational math by Andreas Rossberg	Jon Purdy	2013-11-12 18:56
Forum topic	How is LtU doing? The problem of LtU is not by Andreas Rossberg	Sean McDirmid	2013-09-29 23:55
Story	Types for Flexible Objects Indeed by Andreas Rossberg	naasking	2013-09-16 18:49
Story	Mixed-Site Variance Hm by Andreas Rossberg Variance inference by Andreas Rossberg	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters Thanks :) by Andreas Rossberg Work-arounds by Andreas Rossberg I don't buy it by Andreas Rossberg Easier to refactor? by Andreas Rossberg De Bruijn vs named by Andreas Rossberg Representational abstraction by Andreas Rossberg Impure? by Andreas Rossberg Structure by Andreas Rossberg Old-school BASIC by Andreas Rossberg What is "program text"? by Andreas Rossberg ...	James Iry	2013-09-09 19:40
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Misinformed by Andreas Rossberg ADTs don't require types by Andreas Rossberg	Sean McDirmid	2013-08-07 23:59
Forum topic	The Future of Programming according to Bret Victor Imperative by Andreas Rossberg Oh dear by Andreas Rossberg	Christian Lindig	2013-08-02 14:28
Forum topic	mobile web apps are slow -- and GC is to blame I see by Andreas Rossberg Parallelism by Andreas Rossberg Reference counting by Andreas Rossberg Some background by Andreas Rossberg	Christian Lindig	2013-07-18 22:05
Forum topic	Cost of provably-correct code "Dynamic properties"? by Andreas Rossberg Exhaustiveness? by Andreas Rossberg No exhaustive testing by Andreas Rossberg Redundancy is of the essence by Andreas Rossberg Specifications and correctness by Andreas Rossberg	Ehud Lamm	2013-07-06 19:56
Story	The Three Laws of Programming Language Design Nominal subtyping does not solve anything by Andreas Rossberg Parametric polymorphism vs subtyping by Andreas Rossberg	bashyal	2013-07-04 14:32
Forum topic	Teaching Garbage-Collection I hadn't actually seen that by Andreas Rossberg Handlification by Andreas Rossberg	shriramk	2013-06-13 16:51
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Google and ES6 by Andreas Rossberg	Charles Torre	2013-05-21 02:56
Forum topic	We're doing it wrong.... Well-understood by Andreas Rossberg	Ray Dillinger	2013-05-15 19:34
Forum topic	Go-style defer-recover exception handling is better than try-catch style? Are you sure? by Andreas Rossberg Interesting by Andreas Rossberg How? by Andreas Rossberg it involves more by Andreas Rossberg So does by Andreas Rossberg No difference by Andreas Rossberg Lost by Andreas Rossberg More complicated? by Andreas Rossberg No by Andreas Rossberg	Limin Fu	2013-05-13 01:54
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