Investigation of possibility to create an open LLVM-based Ada compiler [rejected]

This is a closed project. The purpose of this post was to collect as much as possible information about LLVM, Ada compilers and possible people to contact and organizations who can provide some help.


Project dates:

October-November, 2017

Reasons for rejection:

• ada language is bulky and people are not very interested in it
• ada community is not very interested in this activity and it is also very small
• rust is a more promising language, with a greater rate of growth
• frama-c is an analog of SPARK for C, analog for rust is under development.

LLVM:

LLVM - it seems that llvm is the best variant to choose when implementing a new compiler.

Ada:
It is needed to read Ada reference manual and define the smallest possible subset of ada to implement:

Useful people:
Tucker Tuft.- working on Adacore now
Randy Bruckardt - coowner of RR Software
DDC-I team (?)

Possible funds:
RedHat
LLVM
fsfe.org

Link for commenting:
Google Docs

Useful links:
LLVM and Ada

Resources:
[rus] LLVM internals
[rus] LLVM review