SML
Материал из Википедии — свободной энциклопедии
Standard ML — один из первых типизированных языков функционального программирования.
Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым. При вычислениях использует «вызов-по-значению». Используется очень интересная реализация модульности. Присутствует мощная полиморфная система типов (основанная на параметрическом полиморфизме). Последний стандарт языка — Standard ML-97, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка.
|
Используемые в разработке: ABAP/4 | Ада | Ассемблеры | Awk | BASIC | Си | КОБОЛ | C++ | C# | ColdFusion | D | Delphi | Forth | FoxPro | DataFlex | Фортран | Java | JavaScript | J++ | J# | Icon | Limbo | Лисп | Lua | Objective-C | Оберон | Oz | Паскаль | Perl | PHP | PL/I | Пролог | Руби | Python | Tcl | Smalltalk | SQL | Visual DataFlex | Visual Basic | VB.NET
|
 |
Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
