Сид7
Семя 7 Seed7 — расширяемый язык программирования общего назначения, разработанный Томасом Мертесом. Синтаксис Seed7 похож на Pascal и Ada, предоставляет […]
Статически типизированные языки программирования
Вики
Scala (язык программирования)
Scala (язык программирования) Scala — мультипарадигмальный язык программирования, сочетающий функциональное и объектно-ориентированное программирование. Scala имеет множество функций, которые делают его
Вики
F Sharp (язык программирования)
Фа-диез (язык программирования) F# — язык программирования общего назначения с поддержкой объектно-ориентированного и функционального программирования. F# поддерживает асинхронное программирование и
Вики
Футарк (язык программирования)
Футарк (язык программирования) Futhark — многопарадигмальный, высокоуровневый, функциональный язык программирования с параллельными данными и массивами данных. Он разработан на факультете
Вики
ML (язык программирования)
ML (язык программирования) ML — функциональный язык программирования общего назначения с полиморфной системой типов Хиндли-Милнера. ML обеспечивает сопоставление с образцом,
Вики
Java (язык программирования)
Java (язык программирования) Java — объектно-ориентированный язык программирования, разработанный Sun Microsystems. Java имеет открытый исходный код и поддерживается Oracle. Язык
Вики
C (язык программирования)
C (язык программирования) C — язык программирования, разработанный Деннисом Ритчи и Брайаном Керниганом в 1972 году. C является одним из