← Programmiersprachen
Funktional, statisch typisiert und schnell
Typisch für: Compiler und Sprachwerkzeuge, Finanzsoftware (Jane Street), Beweisassistenten (Coq), Systemwerkzeuge und Forschung
Melde dich an, damit dein Fortschritt gespeichert wird. Anmelden