KR
Вот два примера вполне себе языков: SPIRAL, Fortress.
Спасибо!
Size: a a a
2020 April 15
p
Dmitry Ponyatov
такой странный вопрос: а возможен концептуально такой язык, в котором любой объект имеет методы self.eval(in context) и self.apply(to arg, in context) т.е. любой объект является функцией?
В идрисе насколько знаю любое значение это функция
G
В идрисе насколько знаю любое значение это функция
+
G
self : () -> AЗП
self : () -> Aобычный thunk
ЗП
он же ленивое значение
2020 April 16
SM
Но идрис же строгий по умолчанию. Зачем тогда врапить значения таким образом?
AT
Но идрис же строгий по умолчанию. Зачем тогда врапить значения таким образом?
Вот именно для того чтобы получить ленивые.
VY
Да, для ленивости в идрисе есть
(https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#can-i-have-lazy-evaluation-if-i-want-it)
Lazy (как в окамл или пурсе)(https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#can-i-have-lazy-evaluation-if-i-want-it)
AT
Да, для ленивости в идрисе есть
(https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#can-i-have-lazy-evaluation-if-i-want-it)
Lazy (как в окамл или пурсе)(https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#can-i-have-lazy-evaluation-if-i-want-it)
Который оборачивает в функцию от юнита. 🤷♀️
VY
Да, это, наверное, везде одинаково сделано
ЗП
Да, это, наверное, везде одинаково сделано
это же классическое определение) хочешь сделать значение ленивым - упакуй его в вызываемое значение)
SM
Изначально было что все значения уже завернуты, теперь только те которые Lazy?
ЗП
сделай его он деманд
SM
это же классическое определение) хочешь сделать значение ленивым - упакуй его в вызываемое значение)
и про мемоизацию не забудь
ЗП
и про мемоизацию не забудь
это уже про другое, есть понятие оптимизации этих thunks в памяти и если он уже был когда-то вычислен, то вычитай уже редуцированное значение и тд
VY
graph reduction, g-machine в х-е
ЗП
но это же и есть 3 модели
по значению
по имени
по требованию
по значению
по имени
по требованию
SM
это уже про другое, есть понятие оптимизации этих thunks в памяти и если он уже был когда-то вычислен, то вычитай уже редуцированное значение и тд
нет, именно ленивое вычисление включает мемоизацию https://en.m.wikipedia.org/wiki/Lazy_evaluation
. Call by name не включает мемоизации
. Call by name не включает мемоизации
ЗП
нет, именно ленивое вычисление включает мемоизацию https://en.m.wikipedia.org/wiki/Lazy_evaluation
. Call by name не включает мемоизации
. Call by name не включает мемоизации
а я где-то это сказал? про мемоизацию и оптимизацию санков это про вычислительной модели по требованию