Glasgow Haskell Compiler (англ. Компілятор мови Haskell з Глазго) — один з найпотужніших і розвинених компіляторів функційної мови програмування Haskell, який розробляє вільна робоча група з численних розробників, зібраних зі всього світу, координована з лабораторії університету Глазго.
Тип | компілятор відкрите програмне забезпечення вільне та відкрите програмне забезпечення і оптимізувальний компілятор |
---|---|
Розробник | Університет Глазго |
Операційна система | Linux, FreeBSD, NetBSD, OpenBSD, Solaris, macOS, Windows і DragonFly BSD |
Мова програмування | C і Haskell |
Ліцензія | d[1] |
Репозиторій | gitlab.haskell.org/ghc/ghc.git |
Вебсайт | haskell.org/ghc/ |
Можливості
GHC — компілятор мови Haskell, заснований на ідеології відкритого сирцевого коду. Можливості та особливості:
- Крім власне компілятора, є інтерпретувальне інтерактивне середовище (GHCi).
- Повна підтримка стандарту мови Haskell-2010, додатково підтримується широкий список розширень.
- Автоматичне розпаралелювання виконання програми (без явного використання ниток) у системах з багатоядерними процесорами. Оскільки відсутність побічних ефектів у чистих функціях гарантовано, в будь-якому виконанні функції завжди допускається паралельне обчислення двох різних параметрів — порядок їх обчислення не може вплинути на результат виклику.
- Робота на різноманітних платформах (включно з Windows, багатьма варіантами Unix).
- Великі можливості оптимізації програм, включно з міжмодульною оптимізацією.
- Три варіанти компіляції: безпосередньо в машинні коди цільової архітектури, компіляція через проміжний код мовою C або C--, компіляція під віртуальну машину LLVM.
- Підтримуються різні варіанти профілювання.
Розширення системи типів
- Екзистенційний поліморфізм [ 22 липня 2014 у Wayback Machine.]
- Поліморфізм вищих порядків [ 22 липня 2014 у Wayback Machine.]
- Імпредикативний поліморфізм [ 22 липня 2014 у Wayback Machine.]
- Узагальнені алгебричні типи даних [ 22 липня 2014 у Wayback Machine.]
- Сімейства типів (індексовані синоніми типів, індексовані типи даних) [ 7 травня 2013 у Wayback Machine.]
Примітки
- The Glasgow Haskell Compiler License
Посилання
- Офіційний сайт GHC [ 20 травня 2021 у Wayback Machine.]
- The Glasgow Haskell Compiler. [ 30 травня 2017 у Wayback Machine.] The Architecture of Open Source Applications, Volume 2 [ 30 травня 2017 у Wayback Machine.] , 2012 (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Glasgow Haskell Compiler angl Kompilyator movi Haskell z Glazgo odin z najpotuzhnishih i rozvinenih kompilyatoriv funkcijnoyi movi programuvannya Haskell yakij rozroblyaye vilna robocha grupa z chislennih rozrobnikiv zibranih zi vsogo svitu koordinovana z laboratoriyi universitetu Glazgo Glasgow Haskell CompilerTipkompilyator vidkrite programne zabezpechennya vilne ta vidkrite programne zabezpechennya i optimizuvalnij kompilyatorRozrobnikUniversitet GlazgoOperacijna sistemaLinux FreeBSD NetBSD OpenBSD Solaris macOS Windows i DragonFly BSDMova programuvannyaC i HaskellLicenziyad 1 Repozitorijgitlab haskell org ghc ghc gitVebsajthaskell org ghc MozhlivostiGHC kompilyator movi Haskell zasnovanij na ideologiyi vidkritogo sircevogo kodu Mozhlivosti ta osoblivosti Krim vlasne kompilyatora ye interpretuvalne interaktivne seredovishe GHCi Povna pidtrimka standartu movi Haskell 2010 dodatkovo pidtrimuyetsya shirokij spisok rozshiren Avtomatichne rozparalelyuvannya vikonannya programi bez yavnogo vikoristannya nitok u sistemah z bagatoyadernimi procesorami Oskilki vidsutnist pobichnih efektiv u chistih funkciyah garantovano v bud yakomu vikonanni funkciyi zavzhdi dopuskayetsya paralelne obchislennya dvoh riznih parametriv poryadok yih obchislennya ne mozhe vplinuti na rezultat vikliku Robota na riznomanitnih platformah vklyuchno z Windows bagatma variantami Unix Veliki mozhlivosti optimizaciyi program vklyuchno z mizhmodulnoyu optimizaciyeyu Tri varianti kompilyaciyi bezposeredno v mashinni kodi cilovoyi arhitekturi kompilyaciya cherez promizhnij kod movoyu C abo C kompilyaciya pid virtualnu mashinu LLVM Pidtrimuyutsya rizni varianti profilyuvannya Rozshirennya sistemi tipivEkzistencijnij polimorfizm 22 lipnya 2014 u Wayback Machine Polimorfizm vishih poryadkiv 22 lipnya 2014 u Wayback Machine Impredikativnij polimorfizm 22 lipnya 2014 u Wayback Machine Uzagalneni algebrichni tipi danih 22 lipnya 2014 u Wayback Machine Simejstva tipiv indeksovani sinonimi tipiv indeksovani tipi danih 7 travnya 2013 u Wayback Machine PrimitkiThe Glasgow Haskell Compiler LicensePosilannyaOficijnij sajt GHC 20 travnya 2021 u Wayback Machine The Glasgow Haskell Compiler 30 travnya 2017 u Wayback Machine The Architecture of Open Source Applications Volume 2 30 travnya 2017 u Wayback Machine 2012 angl