F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.
0
aziende
Statistiche sull'utilizzo della tecnologia e quota di mercato
Puoi personalizzare questi dati in base alle tue esigenze filtrando per geografia, settore, dimensione dell'azienda, fatturato, uso della tecnologia, posizioni lavorative e altro. Puoi scaricare i dati in formato Excel o CSV.
Puoi ricevere avvisi per questi dati. Puoi iniziare selezionando la tecnologia che ti interessa e poi riceverai avvisi nella tua casella di posta quando ci sono nuove aziende che utilizzano quella tecnologia.
Puoi esportare i suoi dati in un file Excel, che può essere importato nel tuo CRM. Puoi anche esportare i dati in un'API.
Domande frequenti