Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
В IBM Лотус Симфони История и развитие IBM Lotus Symphony IBM Lotus Symphony — это набор приложений для создания и
Microsoft Silverlight (Серебряный свет) История и развитие Silverlight Silverlight была разработана Microsoft для использования в качестве платформы для создания веб-приложений.
Призма Mozilla История и концепция Mozilla Prism Prism был проектом, интегрирующим веб-приложения с настольными компьютерами. Проект прекратил свою активность в
Microsoft Silverlight (Серебряный свет) История и развитие Silverlight Silverlight была разработана Microsoft для предоставления веб-приложений с высоким уровнем интерактивности и
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана