Original: http://wyvernlang.github.io

Jonathan Aldrich

A Wyvern egy új programozási nyelv, amelyet arra terveztek, hogy segítse a fejlesztőket abban, hogy magas szintű biztonságot nyújtó alkalmazások írásakor rendkívül eredményesek legyenek. A Wyvern első nagy újítása a típusspecifikus nyelvek, egy olyan funkció, amely lehetővé teszi a programozók számára, hogy egy adott típusú (pl. SQLQuery típusú) literálokat hozzanak létre az adott típusnak megfelelő nyelven (pl. SQL). Jelenleg a Wyvern objektummodelljén dolgozunk,  és azon, hogy az építészek számára több építészeti irányítást biztosítsunk.

A Wyvern folyamatban lévő megvalósítása elérhető a GitHubon. Kiáltványt és kapcsolódó beszélgetési diákat is írtunk, amelyek leírják a nyelv kialakításának céljait és alapvető gondolatait.

Wyvern kipróbálása

Letöltheti a legutóbbi (18. 03. 25.) kiadást, és kicsomagolás után futtassa a

bin/wyvern

vagy

bin/wypy

attól függően, hogy az értelmezőt vagy a Wyvern to Python fordítót szeretnéd. Próbálja ki a példákat a

példák

mappát, vagy kövesse a Wyvern útmutatót. A Wyvern felépítéséhez és a nyelvi eszközök esetleges módosításához kövesse a Wyvern Tool Architecture dokumentumban található utasításokat.

A Wyvernhez kapcsolódó publikációk

• Szintaktikailag korlátozó korlátos polimorfizmus a meghatározható altípusokhoz. Julian Mackay, Alex Potanin, Jonathan Aldrich és Lindsay Groves. APLAS 2020.
• Elhatározható altípusok elérési útfüggő típusokhoz. Julian Mackay, Alex Potanin, Jonathan Aldrich és Lindsay Groves. Proc. Programozási nyelvek alapelvei (POPL), 2020. január.
• Képességalapú modulrendszer a hatósági ellenőrzéshez. Darya Melicher, Yangqingwei Shi, Alex Potanin és Jonathan Aldrich. Proc. Európai Konferencia az Objektum-Orientált Programozásról (ECOOP), 2017. június.
• Címkézett objektumok elmélete. Joseph Lee, Jonathan Aldrich, Troy Shaw és Alex Potanin. Proc. Európai Konferencia az Objektum-orientált Programozásról (ECOOP) , 2015.
• Összeállítható és higiénikusan begépelt szintaxismakrók. Cyrus Omar, Chenglong Wang és Jonathan Aldrich. Proc. Szimpózium az Alkalmazott Számítástechnikáról (SAC), 2015.
• Delegálás vs. öröklődés típusállapot-elemzéshez. Du Li, Alex Potanin és Jonathan Aldrich. Ban ben Formális technikák eljárása Java-szerű programokhoz (FTfJP), 2015.
• Wyvern: A szoftverbiztonság befolyásolása programozási nyelv tervezésen keresztül. Darja Kurilova, Alex Potanin és Jonathan Aldrich. Proc. Programozási nyelvek és eszközök értékelése és használhatósága (PLATEAU), 2014.
• Biztonságosan összeállítható, típusspecifikus nyelvek. Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin és Jonathan Aldrich. Proc. Európai Konferencia az objektum-orientált programozásról, 2014.
• Nyelvi alapú architektúravezérlés. Jonathan Aldrich, Cyrus Omar, Alex Potanin és Du Li. Az Alnévvel, képességekkel és tulajdonjoggal foglalkozó nemzetközi műhelyben (IWACO ’14), 2014.
• Wyvern: Egyszerű, gépelt és tiszta objektum-orientált nyelv. Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin és Jonathan Aldrich. Ban ben A specializáció, általánosítás és öröklődés mechanizmusai (MASPEGHI) , 2013.
• Típusirányított, szóközzel tagolt elemzés beágyazott DSL-ekhez. Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin és Jonathan Aldrich. Ban ben A tartományspecifikus nyelvek globalizációja ​​(GlobalDSL), 2013.

Emberek

Carnegie Mellon Egyetem

• Jonathan Aldrich (akadémiai személyzet)
• Sophia Roshal
• Timothy Mou
• Anlun Xu
• Selva Samuel
• Alice Oh
• Alex Gao

Wellingtoni Victoria Egyetem

• Alex Potanin (akadémiai személyzet)
• Maxwell Clarke

A projekt korábbi tagjai

• Tu Dinh
• Andre Westerlund
• Billy Zhu
• Justin Lubin
• Darya Melicher
• Julian Mackay
• Aaron Craig
• Stephanie Balzer
• Benjamin Chung
• Joseph Lee
• Du Li
• Robbie McKinstry
• Ligia Nistor
• Cyrus Omar
• Mitchell Plamann
• Troy Shaw
• Chenglong Wang
• Valerie Zhao

A Wyvern projektet a DARPA BRASS program, az Egyesült Államok Védelmi Minisztériuma és az Oracle Labs Australia támogatja.