Il nuovo linguaggio di programmazione di Microsoft, "Bosque", non ama i loop

Microsoft ha introdotto un nuovo linguaggio di programmazione chiamato Bosque. Il nuovo linguaggio non segue molti dei modelli convenzionali che conosciamo oggi, secondo lo sviluppatore del linguaggio, Mark Barron. Invece, ha optato per un "modello di programmazione regolarizzato" che secondo l'azienda aumenterà la produttività degli sviluppatori, la qualità del software e consentirà un'età dell'oro di sviluppi nei compilatori e negli strumenti di sviluppo.

Bosque affronta cinque principali fonti di complessità accidentale. Si tratta di "Stato e frame mutabili", "Loop, ricorsione e invarianti", "Comportamenti indeterminati", "Violazioni di dati invarianti" e "Uguaglianza e aliasing".

Come accennato in precedenza, Bosques non richiede cicli 'for',' while', 'do while', si avvicina ai condizionali in un modo diverso. Microsoft ha introdotto i "funtori" che servono allo scopo di "loop" e possono aumentare la qualità del software. Puoi vedere come i "funtori" differiscono dai "loop" nell'immagine qui sotto.

Quelli di voi che hanno familiarità con JavaScript e i suoi framework, TypeScript (che è un superset di JavaScript), capiranno i codici Bosque meglio di chiunque altro poiché il linguaggio Bosque deriva da una combinazione di sintassi e tipi ispirati a TypeScript più semantica ispirata a ML e Node/JavaScript . Per saperne di più sulla lingua Bosque in dettaglio controlla questo documento di ricerca di Microsoft. Puoi anche trovare esempi di codice su GitHub.

Via: WinFuture