порядка, дефункционализация также исследовалась как метод механистического преобразования интерпретатора в абстрактную машину. Дефункционализация также связана...
8 KB (564 words) - 20:51, 26 June 2021
редуцировать языки высшего порядка до языков первого порядка (см. дефункционализация, MLton, Stalin Scheme[англ.]). Трудно определить, какой язык программирования...
177 KB (10,455 words) - 06:15, 18 October 2024
один из разработчиков полиморфного λ-исчисления, создатель техники дефункционализации. Примечания Список однофамильцев, являющихся тёзками. Если вы попали...
881 bytes (81 words) - 20:35, 1 January 2018
аннотирования — для этого на уровне типов применяется техника, аналогичная дефункционализации. Системы родо́в (англ. kind systems) обеспечивают безопасность самих...
161 KB (9,602 words) - 10:16, 2 June 2024
один из разработчиков полиморфного λ-исчисления, создатель техники дефункционализации. Рейнольдс, Джонатан (род. 1980) — британский политик. Рейнольдс,...
8 KB (649 words) - 09:22, 30 October 2024
системой типов, но с поддержкой функций высшего порядка. Затем следует дефункционализация и код на промежуточном языке первого порядка, состоящем только из...
38 KB (2,113 words) - 11:38, 13 September 2024