Содержание
15 отношения: Google Code, Haskell, Java, Java Virtual Machine, ML, Perl, Кроссплатформенность, Пейтон-Джонс, Саймон, Стратегия вычисления, Типизированное лямбда-исчисление, Функциональное программирование, Библиотека (программирование), Вывод типов, Лицензия BSD, Ленивые вычисления.
Google Code
Google Code — это сервис для разработчиков программного обеспечения.
Посмотреть Frege и Google Code
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Frege и Haskell
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Посмотреть Frege и Java
Java Virtual Machine
Java Virtual Machine (сокращенно Java VM, JVM) — виртуальная машина Java — основная часть исполняющей системы Java, так называемой Java Runtime Environment (JRE).
Посмотреть Frege и Java Virtual Machine
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Посмотреть Frege и ML
Perl
Perl — высокоуровневый интерпретируемый динамический язык программирования общего назначения, созданный Ларри Уоллом, лингвистом по образованию.
Посмотреть Frege и Perl
Кроссплатформенность
Кроссплатформенность — способность программного обеспечения работать более чем на одной аппаратной платформе и (или) операционной системе.
Посмотреть Frege и Кроссплатформенность
Пейтон-Джонс, Саймон
Саймон Пейтон-Джонс (Simon Peyton Jones; 18 января 1958 года, Южно-Африканская Республика) — британский учёный, специалист по функциональным языкам программирования и отложенным вычислениям, почётный профессор информатики в Университета Глазго, профессор Кембриджского университета, ведущий разработчик языка программирования Haskell и руководитель разработки самого популярного компилятора этого языка — Glasgow Haskell Compiler.
Посмотреть Frege и Пейтон-Джонс, Саймон
Стратегия вычисления
Стратегия вычисления (evaluation strategy) — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции (метода, операции, отношения), и какие значения следует передавать.
Посмотреть Frege и Стратегия вычисления
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами.
Посмотреть Frege и Типизированное лямбда-исчисление
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Frege и Функциональное программирование
Библиотека (программирование)
Библиоте́ка (от library) в программировании — сборник подпрограмм или объектов, используемых для разработки программного обеспечения (ПО).
Посмотреть Frege и Библиотека (программирование)
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Посмотреть Frege и Вывод типов
Лицензия BSD
Лицензия BSD (BSD license, Berkeley Software Distribution license — Программная лицензия университета Беркли) — это лицензионное соглашение, впервые применённое для распространения UNIX-подобных операционных систем BSD.
Посмотреть Frege и Лицензия BSD
Ленивые вычисления
Ленивые вычисления (lazy evaluation, также отложенные вычисления) — применяемая в некоторых языках программирования стратегия вычисления, согласно которой вычисления следует откладывать до тех пор, пока не понадобится их результат.
Посмотреть Frege и Ленивые вычисления