<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Apr 15, 2013 at 11:19 PM, Richard W.M. Jones <span dir="ltr"><<a href="mailto:rjones@redhat.com" target="_blank">rjones@redhat.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Mon, Apr 15, 2013 at 06:48:32PM +0200, Miloslav Trmač wrote:<br>
> Now, what to move to? I currently don't have see any language/runtime I<br>
> could recommend, which is in itself rather frightening.<br>
<br>
Ada, Eiffel, Go, Coq + OCaml, Erlang, Haskell, CompCert[*], etc. etc.<br>
<br>
All these languages are viable.</blockquote><div><br></div><div>Perhaps for end-user applications[1], but not for libraries/code reuse/implementing platform interfaces to be usable by applications. How do I call an Eiffel library from Ada and pass it a callback written in Go? And if widely-used libraries are not available, that again makes it less viable to write applications using them.<br>
</div><div> Mirek<br><br></div><div class="h5">[1] To take a random set of examples, how many of these languages have libraries or bindings for (all of) TLS, good i18n, libselinux, readline, D-Bus, GTK?<br></div><a href="https://admin.fedoraproject.org/mailman/listinfo/devel" target="_blank"></a><br>
</div></div></div>