
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">


<div>Dear LLVM community,</div>


<div><br>


</div>


<div>I am affiliated with the design and development of the <a href="http:/www.ponylang.org">


Pony</a> programming language, which was recently published and has since been discussed on


<a href="https://news.ycombinator.com/item?id=9482483">hacker news</a>, reddit <a href="http://www.reddit.com/r/ponylang">


[1]</a> <a href="https://www.reddit.com/r/rust/comments/34rszb/pony_type_and_memory_safe_language/">


[2]</a>, <a href="http://lambda-the-ultimate.org/node/5148">lambda the ultimate</a> and gained some momentum. </div>


<div><br>


</div>


<div>Short abstract of the language:</div>


<ul>


<li>Actor based</li><li><a href="http://tutorial.ponylang.org/capabilities/introduction/">Capabilities-secure</a></li><li>Type safe</li><li>Memory safe</li><li>Exception safe</li><li>Data-race free</li><li>Deadlock free</li><li>Non-blocking, fully concurrent GC for objects and actors</li><li>AOT compiled</li><li>Native C FFI (C/C++ can call Pony, Pony can call C)</li></ul>


<div>Pony is <a href="http://www.github.com/CausalityLtd/ponyc">open-source</a> (2-clause BSD) and runs on Mac OSX, Linux and Windows (x86_64).</div>


<div><br>


</div>


<div>Our compiler is based on the LLVM backend. Would it therefore be possible to be named as official project on <a href="http://llvm.org/ProjectsWithLLVM">http://llvm.org/ProjectsWithLLVM</a>/ ?</div>


<div><br>


</div>


<div>A preliminary (work-in-progress) tutorial is available at <a href="http://tutorial.ponylang.org">


http://tutorial.ponylang.org</a>.</div>


<div><br>


</div>


<div>Best,</div>


<div>Sebastian</div>


<div><br>


</div>


<div>


<div id="MAC_OUTLOOK_SIGNATURE"></div>


</div>


</body>


</html>