Microsoft ir uzsācis jaunu atvērtā koda projektu, lai izstrādātu Bosque programmēšanas valodu. Bosque valodas projekta mērķis ir izveidot funkcionālu programmēšanas valodu, kas ļauj izvairīties no “nejaušas sarežģītības” izstrādes procesā.
Bosque valodas dizaina mērķi ietver uzlabotu izstrādātāju produktivitāti, labāku programmatūras kvalitāti un jaunu kompilatoru un rīku izmantošanas iespēju iespējošanu. Jaunā valoda tiek pozicionēta kā regulēta dizaina eksperiments ar mašīnu atbalstītu, ātru un uzticamu programmatūras izstrādes dzīves ciklu.
Galvenais mērķis ir nejaušas sarežģītības novēršana. Domājams, ka Bosque kods ir vienkāršs un viegli uztverams gan mašīnām, gan cilvēkiem. Bet šajā brīdī Bosque joprojām ir ļoti attīstīts; atbalstītāji neiesaka izmantot Bosque jebkuram ražošanas darbam. Izstrādātāji tiek aicināti eksperimentēt ar to.
Dažas Bosque funkcijas un dizaina izvēles iespējas ir šādas:
- Visas vērtības ir nemainīgas, Boske pieņem funkcionālu modeli ar nemaināmiem datiem. Koda bloka paziņojuma efekta izpratne ir vienkāršota, ja tam nav blakus efektu, teikts Bosque dokumentācijā. Funkcionālās valodas ir guvušas labumu no programmas izstrādes vienkāršošanas, sarežģītiem rīkiem un kompilatoru optimizācijas, ko nodrošina šis modelis.
- Funkcionālā programmēšana ir apvienota ar bloku jomām un
{…}bikšturi, ļaujot vairākiem piešķīrumiem atjaunināmiem mainīgajiemvar!. - Funkcijas ir pirmās klases vērtības un veidi.
- Lambda konstruktori apvieno koda definīciju lambda korpusam ar mainīgu kopiju semantiku, lai aizvērtu sagūstītos mainīgos lambda izveidē.
- Vienkārša, neuzskatīta tipa sistēma ļauj izmantot virkni strukturālu, kombinētu un nominālu tipu, lai nodotu nodomu un kodētu attiecīgās problemātiskās domēna iezīmes.
- Rakstītās virknes nodrošina mehānismu, kā zināmu struktūru par virknes saturu pacelt tipā tādā veidā, lai cilvēkiem būtu jēga un ko izmantotu tipa pārbaudītājs.
- Parametrus var vītņot cauri
atsaucearguments iet. Alternatīva vairāku atgriešanās vērtībām tas vienkāršo scenārijus, kad mainīgais tiek nodots metodei, kas to var izmantot un atjaunināt. Atļaujas atjaunināšana parametrā novērš papildu atgriešanās vērtības pārvaldību, kas būtu nepieciešama. Šī funkcija vēl nav ieviesta. - Ir norādīti nosauktie argumenti, tāpat kā atpūtas un izplatīšanās operatori. Tie var veikt datu manipulāciju kā daļu no uzaicinājumiem un konstruktora darbībām.
- Tiek piedāvāts pirmās klases atbalsts, lai izteiktu virkni invariantu, veselīgas veselības pārbaudes un diagnostikas apgalvojumus.
- Lielapjoma algebrisko datu operācijas Boskā sākas ar lielapjoma datu nolasīšanu un atjaunināšanu. Operatori izstrādāja palīdzību, koncentrējoties uz vispārējo nodomu, un ļāva izstrādātājiem veikt algebrisko pamatojumu par datu struktūras operācijām. Algebriskās darbības ir paredzētas datu tipiem, kopām, ierakstiem un nominālajiem tipiem, kā arī darbībām, ieskaitot projekciju, vairāku atjaunināšanu un apvienošanu.
- Izmantojot iteratīvās apstrādes iespējas, strukturētās cilpas tiek tirgotas augsta līmeņa iteratīvās apstrādes konstrukcijām. Vienu un to pašu cilpu rakstīšanas katla noņemšana novērš kļūdu klases, ieskaitot saistītos aprēķinus; nodoms tiek darīts skaidrs.
Bosque kļūst par jaunāko valodu projektu Microsoft, kas ir izstrādājis valodas, ieskaitot objektu orientētu valodu C #; F #, funkcionāla valoda; un TypeScript, tipizētu JavaScript superset. Programmatūras gigants ir guvis labus panākumus popularitāti gūstošu valodu izstrādē. Piemēram, C # jaunākajā RedMonk valodu klasifikācijā ierindojās piektajā un TypeScript 12. vietā, kas balstās uz diskusijām par Stack Overflow un koda lietošanu GitHub.
Vietnē GitHub varat atrast Bosque dokumentāciju, piemērus un atsauces ieviešanu. Darbos ir apmācības.
