Glasgow Haskell Compiler (англ. Компилятор языка Haskell из Глазго) — один из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.
Содержание
1Возможности
2Расширения системы типов
3Примечания
4Ссылки
Возможности |
GHC является компилятором языка Haskell, основанным на идеологии открытого исходного кода. Возможности и особенности:
Кроме собственно компилятора имеется интерпретирующая интерактивная среда (GHCi).
Полная поддержка стандарта языка Haskell-2010, дополнительно поддерживается широкий список расширений.
Автоматическое распараллеливание выполнения программы (без явного использования нитей) в системах с многоядерными процессорами. Поскольку отсутствие побочных эффектов в чистых функциях гарантировано, в любом вызове функции всегда допустимо параллельное вычисление двух различных параметров — порядок их вычисления не может оказать влияния на результат вызова.
Работа на разнообразных платформах (включая Windows, многие варианты Unix).
Большие возможности по оптимизации программ, включая межмодульную оптимизацию.
Три варианта компиляции: непосредственно в машинные коды целевой архитектуры, компиляция через промежуточный код на языке C или C--, компиляция под виртуальную машину LLVM
Поддерживаются различные варианты профилирования.
Расширения системы типов |
Экзистенциальный полиморфизм
Полиморфизм высших порядков
Импредикативный полиморфизм
Обобщённые алгебраические типы данных
Семейства типов (индексированные синонимы типов, индексированные типы данных)
Примечания |
↑git.haskell.org - ghc.git/tag
Ссылки |
Официальный сайт GHC
The Glasgow Haskell Compiler. The Architecture of Open Source Applications, Volume 2, 2012 (англ.)
For other people named Steve Gadd, see Steve Gadd (disambiguation). Steve Gadd Gadd at Bodø Jazz Open, 2014 Background information Birth name Stephen Kendall Gadd Born ( 1945-04-09 ) April 9, 1945 (age 73) Irondequoit, New York, U.S. Genres Jazz post-bop jazz fusion rock blues R&B Occupation(s) Musician, drummer, percussionist and session musician Instruments Drums, percussion Years active 1968–present Website www.drstevegadd.com Stephen Kendall Gadd (born April 9, 1945 [1] ) is an American drummer, percussionist, and session musician. Gadd is one of the most well-known and highly regarded session and studio drummers in the industry, recognized by his induction into the Modern Drummer Hall of Fame in 1984. [2] Gadd's performance on Paul Simon's "50 Ways to Leave Your Lover" and Steely Dan's "Aja" are examples of his style. He has worked with popular musicians from many genres including Simon ...
У этого термина существуют и другие значения, см. Подольск (значения) . Не следует путать с Подольском — городом в Одесской области Украины. Город Подольск Флаг Герб 55°25′47″ с. ш. 37°32′40″ в. д. H G Я O Страна Россия Россия Субъект Федерации Московская область Городской округ Подольск Глава Николай Игоревич Пестов История и география Основан 1627 [2] Первое упоминание 1559 Город с 1781 года Площадь 40,39 км² Высота центра 160 м Тип климата умеренно-континентальный Часовой пояс UTC+3 Население Население ↗ 302 831 [1] человек ( 2018 ) Плотность 7497,67 чел./км² Национальности русские и другие Конфессии Православные христиане Этнохороним подольча́не, подольча́нин, подольча́нка Цифровые идентификаторы Телефонный код +7 4967 Почтовые индексы 142100—142134 Код ОКАТО 46 460 Код ОКТМО 46 760 000 001 Прочее Карта города Карта Н...
For the Canadian regulation, see Simultaneous substitution. For an online release of broadcast programme, see Digital distribution. Simulcast (a portmanteau of simultaneous broadcast) is the broadcasting of programs or events across more than one medium, or more than one service on the same medium, at exactly the same time (that is, simultaneously). For example, Absolute Radio is simulcast on both AM and on satellite radio. [1] [2] Likewise, the BBC's Prom concerts were formerly simulcast on both BBC Radio 3 and BBC Television. Another application is the transmission of the original-language soundtrack of movies or TV series over local or Internet radio, with the television broadcast having been dubbed into a local language. Contents 1 Early radio simulcasts 2 Simulcasting to provide stereo sound for TV broadcasts 3 Other uses 3.1 Simulcasting of sporting events 4 See also 5 References Early radio simulcasts Before launching stereo rad...
