We tried doing this with darklang. It ended up not actually working that well (it took a lot of effort to have even a few shared types), and it didn't get us very much either.