k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Lamdu - Interesting IDE project

From: Suminda Dharmasena <sirinath AT sakrio.com>
To: info AT kframework.org, k-user AT cs.uiuc.edu
Subject: [K-user] Lamdu - Interesting IDE project
Date: Tue, 31 Dec 2013 00:29:35 +0530
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

This project aims to create a next-generation live programming environment that radically improves the programming experience.

The main idea behind the Lamdu project is that the canonical representation of programs should not be text, but rich data structures: Abstract syntax trees.

Our programming tools, UIs and ecosystems should take advantage and expose this structure. This has some far-reaching implications, which will be described below.

http://peaker.github.io/lamdu/

[K-user] Lamdu - Interesting IDE project, Suminda Dharmasena, 12/30/2013