Bosque è un linguaggio di programmazione gratuito e open source sviluppato da Microsoft. È derivato dalla sintassi e dai tipi di TypeScript e dalla semantica dei linguaggi ML e Node / JavaScript. Gli utenti con un background JavaScript troveranno familiare Bosque. È progettato per scrivere codice semplice, ovvio e di facile lettura sia per gli esseri umani che per le macchine. Bosque si concentra sulle implicazioni di:
Progettazione di un bytecode che consente un ragionamento del codice approfondito e automatizzato e la distribuzione di strumenti di sviluppo, compilatori e sistemi runtime.
Utilizzando la potenza del bytecode per fornire un linguaggio di programmazione facilmente accessibile per gli sviluppatori moderni. Fornisce inoltre un ricco set di funzionalità linguistiche per lo sviluppo di applicazioni affidabili e ad alte prestazioni.
Rendere lo sviluppo del cloud la priorità per affrontare le sfide derivanti dall'adozione del modello di sviluppo del cloud distribuito.
Bosque supporta un sistema di tipi semplice e senza supposizioni che consente agli sviluppatori di utilizzare una gamma di tipi strutturali, nominali e di combinazione per trasmettere l'intento e codificare le caratteristiche del dominio del problema.
Caratteristiche del linguaggio di programmazione Bosque
Le caratteristiche notevoli di Bosque includono:
Immutabile
Tutti i valori nella lingua Bosque sono immutabili, il che significa che lo stato non può essere modificato dopo che è stato creato. Questo è popolare con molti linguaggi funzionali e migliora la leggibilità e l'efficienza di runtime.
Stringhe digitate
Le stringhe digitate forniscono una struttura nota sul contenuto di una stringa nel tipo in un modo utile per gli esseri umani. Bosque presenta due tipi di stringhe digitate, SafeString e StringOf.
SafeString è parametrizzato con un tipo di espressione regolare Validator, quindi descrive la lingua a cui appartiene la stringa.
StringOf è parametrizzato da qualsiasi tipo che implementa il concetto Parsable, rendendolo ideale per lavorare con dati forniti in un formato personalizzato o convalida leggera.
Operazioni algebriche di massa
Questa funzione supporta letture di massa e aggiornamenti ai valori dei dati. Con le operazioni in blocco, gli aggiornamenti possono essere eseguiti come un'operazione atomica senza estrarre e copiare manualmente i campi.
Errori e controlli
Bosque mira a semplificare il processo di creazione di software affidabile. La lingua fornisce supporto per errori e controlli. Esprime anche una serie di invarianti, controlli di integrità e asserzioni diagnostiche.