www/content/post/datengarten_31.md

54 lines
1.8 KiB
Markdown

---
title: "Datengarten 31"
subtitle: "Dem Compiler beim Optimieren zuschauen"
date: 2009-06-25T00:00:00+02:00
---
**A tool for debugging compiler optimizations and type inference** (in
deutscher Sprache)
Abstract
--------
The focus of this talk will be type theory (type system and type
inference), applied to a dynamic language (Slides of a previous talk are
\[6\]). A side-effect during working on this topic was the development
of a visualization tool:
This tool is a Java application which visualizes the control and data
flow graph of the intermediate representation of Open Dylan \[1\]
(former DylanWorks, Harlequin Dylan, Functional Developer) and animates
optimizations. The Open Dylan compiler was extended with hooks to send
control flow and data flow changes via TCP/IP to the Java application.
The justification why the visualization is in Java is because I couldn't
find a decent graph layouting and animation library with an API. The
graph library used is yFiles \[2\]. The Java code \[3\] consists of 2000
lines of code, the compiler hooks were about 250 lines of code.
Interactive application can be viewed at \[5\]. The communication
protocol in use are S-expressions, in the same marshalling format as
swank (the slime backend protocol).
An example for this work is a visualized map(method(x) x end, \#(1)),
available at \[4\] (data flow nodes and edges are pink).
Referent
--------
hannes
Zeit und Ort
------------
25\. Juni 2009, 20 Uhr im CCCB, Marienstr. 11, 10117 Berlin
Links
-----
1. <http://www.opendylan.org/>
2. <http://www.yworks.com/en/products_yfiles_about.html>
3. <http://www.opendylan.org/cgi-bin/viewvc.cgi/branches/opendylan-visualization/FlowGraphVisualization/src/>
4. <http://www.opendylan.org/~hannes/yworks/test4.avi>
5. <http://visualization.dylan-user.org/>
6. <http://www.opendylan.org/~hannes/ph-neutral.pdf>