[LLVMdev] Pony Language: LLVM Project

[Eric Christopher]

Seems reasonable. A patch to the site would be appreciated.

-eric

On Thu, May 7, 2015 at 2:29 PM Sebastian Blessing <sebastian at causality.io>
wrote:

>  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
>
>    _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150507/08fc1b85/attachment.html>