<div dir="ltr"><div>Hi</div><div><br></div><div>Usage within NASA is very rare but we do use Haskell:</div><div><br></div><div><a href="https://github.com/Copilot-Language/copilot/" target="_blank">https://github.com/Copilot-Language/copilot/</a></div><div><a href="https://github.com/nasa/ogma" target="_blank">https://github.com/nasa/ogma</a></div><div><br></div><div>Ivan<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 14 Nov 2023 at 14:24, MigMit <<a href="mailto:migmit@gmail.com" target="_blank">migmit@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Depends on what you really want.<br>
<br>
Erlang, in my experience, is not a functional language at all. There is a thin veneer of functionality, true, but mostly it's an object-oriented language, Smalltalk-style. They say "process" instead of "object", but it's basically the same thing.<br>
<br>
If you want a language that is significantly more functional (although still not really), and also quite practical and popular in the industry, you can try Scala. Especially Scala 3, which seems to have fixed quite a lot of grievances, in particular those related to Odersky not really understanding math. Additionally, in Scala world you have Akka, which is modelled after Erlang's multithreading model, so you don't really lose anything important.<br>
<br>
> On 14 Nov 2023, at 22:27, Henrique Caldeira <<a href="mailto:h.caldeira@ua.pt" target="_blank">h.caldeira@ua.pt</a>> wrote:<br>
> <br>
> Good Evening from Portugal, <br>
> <br>
> I write to you about the usage of Haskell because I had a professor recommending me Erlang instead because Haskell was "more for academic purposes", which left me wondering if all my time spent was spent only for curiosity sake. <br>
> <br>
> I want to know how true my professor's statement is. <br>
> <br>
> I am very passionate about Haskell, although I admit the ecosystem can be confusing sometimes (for example, when to use cabal or stack, which versions of packages to use in order to avoid conflicts, or simply installing them through nixos or arch can be a learning process). <br>
> <br>
> Would love to hear your thoughts about all of this and thank you with all my heart. <br>
> <br>
> Lastly, all these wonderings are asked in a curious, "wanting to learn more" mindset. <br>
> <br>
> Kind regards, <br>
> Henrique Caldeira <br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>