Limba de programare Felix
|
|||||
| Felix este un nou limbaj de programare în familie ML. | |||||
| Uşor de instalat: Felix este conceput ca un limbaj de scripting , astfel că este la fel de uşor de utilizat ca Ruby, Python sau PHP, şi oferă acelaşi tip de independenta de platforma si rapid prototyping . Uită-te | |||||
Uşor de citit şi de a scrie: cod Felix sintactic este curat şi oferă comenzi rapide pentru mai multe cerinţe comune. Cel mai puternic Caracteristica aici este ceea ce este lăsat pe dinafară: nu există clase şi, astfel încât să nu pot să se împotmolească în spaghete obiect metoda orientată. Uită-te |
|||||
De înaltă performanţă este livrat de structuri de date avansate, analiza întregului program cu plasare inline grele, si alte optimizari la nivel înalt. Felix apoi generează C + +, care este apoi optimizat la nivel scăzut de ISO preferate compilatorul C + + pentru a genera binare maşină în loc de bytecode. Rezultatul este, uneori, mai repede decât de mână scrise C si poate puteţi încorpora întotdeauna C direct în cod Felix, dacă este necesar. |
|||||
Reutilizarea C şi C + + biblioteci: Felix ofera o modalitate simpla de a lega aproape perfect pentru C şi C + +, astfel încât puteţi continua să utilizeze toate bibliotecile dvs. favorit: compatibilitate este asigurată, deoarece Felix foloseste C / C + + modelul de obiect. Uită-te |
|||||
Corectitudinea Programul este susţinut de o gamă largă de caracteristici, inclusiv de colectare a gunoiului pentru management de stocare automată, strict de mare putere tastând statice , inclusivsupraîncărcarea , parametrice polimorfism , stil Haskell clase de tip , şi de constrângerile de tip . |
Contract de programare: Felix oferă cel mai bun sistem de programare contractul de orice limbă de producţie. Ea are afirmaţiile obişnuite, pre-condiţii, şi post-condiţii pentru funcţii, dar oferă, de asemenea reduceri, axiome, leme şi teoreme cu o interfaţă de maşini ce teorema automată dovedesc. Rezumat tastarea este susţinută de module, şi contol peste vizibilitate.
Sistem de tip: tipul de sistem este în mod oficial o versiune îmbunătăţită a tastat lambda calcul plus de potrivire de model. O gamă largă de constructii de programare funcţionale, inclusiv funcţiile de prima clasa imbricate cu sisteme de închidere sunt furnizate. Felix va ofera de asemenea o gamă largă de constructori de tip, inclusiv tupluri, înregistrări, şi, cazuri stucts şi variante.
Reţeaua de programare este sporită de un built-in asincrone I / O reţea sistem cuplat cu atât preventive fire şi fire de cooperare . Fire de cooperare, sau fibrele sunt suficient de uşoare pentru mega-filetare (milioane de fire de pe un laptop). Ambele tipuri de fire sincroniza utilizând canale .
Definite de utilizator sintaxa: Felix este conceput pentru a sprijini domeniul sublanguage specifice de dezvoltare. Gramatica standard este încărcată dinamic şi extensiile linie gramatica sunt relativ uşor de program. Felix foloseşte o variantă EBNF pentru gramatica cu acţiuni parserul codificate în program. Parser-ul de bază este Dypgen, un parser GLR extensibil.
Sourceforge lista de discuţii: felix-language@lists.sourceforge.net
Google lista de discuţii: felix-language@googlegroups.com