Mir sagt zwar SAFE nichts, aber von F# würde ich gerne mehr lesen! Bist du dann auch im Bereich formalerer Programmiersprachen Richtung Theorem Provers unterwegs?Richtung F# (SAFE Stack)
Follow along with the video below to see how to install our site as a web app on your home screen.
Anmerkung: This feature currently requires accessing the site using the built-in Safari browser.
Mir sagt zwar SAFE nichts, aber von F# würde ich gerne mehr lesen! Bist du dann auch im Bereich formalerer Programmiersprachen Richtung Theorem Provers unterwegs?Richtung F# (SAFE Stack)
Nein, aktuell gar nicht.Mir sagt zwar SAFE nichts, aber von F# würde ich gerne mehr lesen! Bist du dann auch im Bereich formalerer Programmiersprachen Richtung Theorem Provers unterwegs?
Wie wird das in das Typsystem von F# integriert?Interact with native Javascript libraries whenever needed
Danke bin schon gespanntWillkommen