Я хотел бы знать, существует ли ленивый + функциональный язык с типами стиля JavaScript. Большинство ленивых + функциональных языков, которые я видел, очень безопасны.Есть ли слабо типизированный/небезопасный ленивый + функциональный язык программирования?
Можно утверждать, что тип может быть определен на некоторых языках, охватывающих все типы JavaScript. Кто-нибудь сделал что-то подобное?
Я не думаю, что «тип небезопасного» языка может быть (чисто) функциональным, потому что часть чисто функционального заключается в том, что выражения имеют семантическое значение, которое не зависит от машинного представления. («Тип небезопасно» обычно используется для обозначения языка, на котором любой тип может быть добавлен к любому другому типу, путем определения значений с одним и тем же представлением машины - думаю, Сборка или С).
JavaScript, однако, очень безопасен для типа - просто динамически типизирован. Нет причин, по которым вы не могли бы иметь чисто функциональный язык с одним статическим типом, например JavaScript; то, что вы, вероятно, хотите найти на самом деле, это «чисто функциональный Lisp». Вот некоторые результаты:
Я не знаю, что вы имеете в виду типы стилей JavaScript. Однако, возможно, вам стоит взглянуть на [Lazy Racket] (http://docs.racket-lang.org/lazy/). –
Что вы подразумеваете под «тип может быть определен на некоторых языках, который охватывает все типы JavaScript»? –
Связанные: http://stackoverflow.com/questions/2890347/are-there-any-purely-functional-schemes-or-lisps –