[LLVMdev] Pony Language: LLVM Project

[Sebastian Blessing]

Dear LLVM community,

I am affiliated with the design and development of the Pony<http:/www.ponylang.org> programming language, which was recently published and has since been discussed on hacker news<https://news.ycombinator.com/item?id=9482483>, reddit [1]<http://www.reddit.com/r/ponylang> [2]<https://www.reddit.com/r/rust/comments/34rszb/pony_type_and_memory_safe_language/>, lambda the ultimate<http://lambda-the-ultimate.org/node/5148> and gained some momentum.

Short abstract of the language:

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

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

Our compiler is based on the LLVM backend. Would it therefore be possible to be named as official project on http://llvm.org/ProjectsWithLLVM/ ?

A preliminary (work-in-progress) tutorial is available at http://tutorial.ponylang.org.

Best,
Sebastian

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150507/a91c0083/attachment.html>