Lambda the Ultimate

type	title	author	last post
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" GC is important for functional data structures by Tom Primožič	Sean McDirmid	2015-11-24 16:45
Forum topic	1ML — Core and modules united Can you expand on the idea by Tom Primožič Specialized arrays by Tom Primožič If I understand type theory by Tom Primožič Type Families are non-parametric by Tom Primožič Type Families vs. Modules by Tom Primožič Actually, it's exactly what by Tom Primožič	Tom Primožič	2015-11-09 21:29
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Next time, it would be much by Tom Primožič	Hewitt	2015-09-04 10:12
Forum topic	Research vs implementation, theory vs practice, and LtU Dependent types not needed by Tom Primožič	Blaisorblade	2015-07-28 16:57
Forum topic	C++ Parser Combinator Library F-ing modules by Tom Primožič	Keean Schupke	2015-05-01 13:29
Forum topic	Constraint typing, subtyping, and separate compilation Mutable arrays are invariant by Tom Primožič	Sean McDirmid	2015-03-12 22:35
Forum topic	Making implicits less powerful? Thank you by Tom Primožič Modular Type Classes by Tom Primožič	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Some notes on Rust, the language. In particular, allocating a by Tom Primožič	John Nagle	2015-02-09 07:25
Forum topic	Implementing fast interpreters The paper linked by Tom Primožič	vieiro	2014-12-04 10:31
Story	Apple Introduces Swift That's correct by Tom Primožič Type-checking by Tom Primožič Which GC would you pick? by Tom Primožič	bashyal	2014-08-21 17:54
Forum topic	Symbol visibility (public, private, protected, etc.) Different interfaces for different clients by Tom Primožič	Talin	2014-05-31 05:02
Forum topic	An experiment: Refined types - a better type system for more secure software I've not researched or by Tom Primožič	Tom Primožič	2014-05-29 15:06
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Dude. by Tom Primožič	marco	2014-05-26 17:22
Forum topic	type theory about programming language? Weird scoping rules by Tom Primožič	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Dependent products by Tom Primožič	Jules Jacobs	2014-05-20 20:26
Forum topic	Using real arithmetic to eliminate bounds checking? For bounds checking, not by Tom Primožič That is a great idea! Experiment using Z3: by Tom Primožič	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Examples for benefitfs of dynamic programming languages Thanks, these are really by Tom Primožič Wow. by Tom Primožič	Sebastian Okon	2014-01-30 21:54
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Well, reconsidering it, I by Tom Primožič That's great, the only thing by Tom Primožič This is certainly a step in by Tom Primožič I was thinking the magic was by Tom Primožič this is not the programmer's by Tom Primožič open recursion, develop by Tom Primožič That is an idea that I by Tom Primožič > It's very useful when your by Tom Primožič	Tom Primožič	2011-08-22 19:36
Forum topic	Extension Methods versus Structural Typing of Traits for solving the expression problem I prefer traits... by Tom Primožič	cdiggins	2009-05-20 10:47
Forum topic	Why people don't use functional programming? Manual allocation is faster?!? by Tom Primožič	Gergely Buday	2007-06-09 16:40
Forum topic	function overriding workaround in dynamically typed languages In Ruby, you can modify classes. by Tom Primožič	chinu	2007-05-30 21:39
Story	"The language of the future is javascript" The thing is... by Tom Primožič	Charles Stewart	2007-05-14 21:05
Story	The Expression Problem Revisited However... by Tom Primožič	Ehud Lamm	2007-05-10 13:55
Forum topic	Dao, a new programming language It's implemented in ML by Tom Primožič	Limin Fu	2007-04-10 10:21
Forum topic	Implementation Inheritance What about efficiency? by Tom Primožič	SamK	2007-03-20 20:31
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