简介：programming languages news, articles and discussion

原站：http://lambda-the-ultimate.org

标签：lambda

“Lambda the Ultimate - Programming Languages Weblog”的内容更新

累计：629 篇（自 2007-09-04 起）

更新：约3篇/周，最后更新1 天前

Lambda the Ultimate - Programming Languages Weblog

Why Concatenative Programming Matters

jon purdy riffs on hughe's famous "why functional programming matters" with a blog post on why concatenative programming matters.... (1 天前)

http://inezha.com/w/jds0kgw8

Lambda the Ultimate - Programming Languages Weblog

Effective Scala

it's from twitter, it's open source, it's about scala. what's not to like?... (8 天前)

http://inezha.com/w/hfkq4gwe

Lambda the Ultimate - Programming Languages Weblog

Programming as collaborative reference

programming as collaborative reference (extended abstract and slides) by everybody's favorite plt tag team, oleg and chung-chieh, from the off-the-beaten track workshop affiliated with popl 2012:we argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with computers in real time [hear, hear]. t... (12 天前)

http://inezha.com/w/g7vbvgwj

Lambda the Ultimate - Programming Languages Weblog

The Algebra of Data, and the Calculus of Mutation

kalani thielen's the algebra of data, and the calculus of mutation is a very good explanation of adts, and also scratches the surfaces of zippers:with the spreading popularity of languages like f# and haskell, many people are encountering the concept of an algebraic data type for the first time. when that term is produced without explanation, it almost ... (13 天前)

http://inezha.com/w/uqsfpgwn

Lambda the Ultimate - Programming Languages Weblog

Vellvm: Formalizing the LLVM Intermediate Representa

vellvm: formalizing the llvm intermediate representation for verified program transformationsthis paper presents vellvm (verified llvm), a framework for reasoning about programs expressed in llvm's intermediate representation and transformations that operate on it. vellvm provides a mechanized formal semantics of llvm's intermediate representation, its... (19 天前)

http://inezha.com/w/z0kdsawa

Lambda the Ultimate - Programming Languages Weblog

Beyond pure Prolog: Power and danger

one of the sections of oleg kiselyov's prolog and logic programming page, on beyond pure prolog: power and danger, points out (i) term introspection (in the guise of the var/1 predicate) can be derived from three of prolog's imperative features, two of which are quite mild-looking, and (ii) this introspection potentially makes prolog code hard to underst... (24 天前)

http://inezha.com/w/qjv1faw7

Lambda the Ultimate - Programming Languages Weblog

Deca, an LtU-friendly bare metal systems programming

the deca programming language is "a language designed to provide the advanced features of sophisticated, high-level programming languages while still programming as close as possible to the bare metal. it brings in the functional, object-oriented, and generic programming paradigms without requiring a garbage collector or a threading system, so programmer... (45 天前)

http://inezha.com/w/29s2kawy

订阅者 ( 1 )