TZ
Михаил
Есть хороший специалист, теории вероятности? Сложная задача по математике, помогите
Учёба или работа?
Size: a a a
2021 March 14
ХГ
Вам нужен исполнитель "сдал и забыл", или обсудить хотите?..
D
забавно, что вопрошают в чате по хаскелю, хотя наверное реализация на нём должна быть
NS
Ребят, я правильно понимаю, замыкание это функция созданная в другой функции, которая имеет доступ к переменным предыдущей функции?
NS
Функция имеющая эти переменные - все это замыканием называется?)
ХГ
JS
Функция имеющая эти переменные - все это замыканием называется?)
в первом приближении — да.
строго говоря, замыкание — это деталь реализации функций в языке, хранение рядом с кодом данных, на которые этот код ссылается, например, данных из внешней области видимости.
можно считать, что замыкания — это правильно реализованные функции
строго говоря, замыкание — это деталь реализации функций в языке, хранение рядом с кодом данных, на которые этот код ссылается, например, данных из внешней области видимости.
можно считать, что замыкания — это правильно реализованные функции
D
в первом приближении — да.
строго говоря, замыкание — это деталь реализации функций в языке, хранение рядом с кодом данных, на которые этот код ссылается, например, данных из внешней области видимости.
можно считать, что замыкания — это правильно реализованные функции
строго говоря, замыкание — это деталь реализации функций в языке, хранение рядом с кодом данных, на которые этот код ссылается, например, данных из внешней области видимости.
можно считать, что замыкания — это правильно реализованные функции
А почему вы назвали замыкания правильной реализацией?
И приведите, пожалуйста, пример неправильной реализации
И приведите, пожалуйста, пример неправильной реализации
JS
А почему вы назвали замыкания правильной реализацией?
И приведите, пожалуйста, пример неправильной реализации
И приведите, пожалуйста, пример неправильной реализации
в языке С (с расширениями GCC) можно определить функцию внутри функции
которая будет иметь доступ к переменным из вышестоящей области видимости, но только пока работает внешняя функция. потому что в С функция — это только код, без всяких замыканий
void outer_function() {
int outer_var;
void inner_function() {
use(outer_var);
}
}которая будет иметь доступ к переменным из вышестоящей области видимости, но только пока работает внешняя функция. потому что в С функция — это только код, без всяких замыканий
ХГ
А почему вы назвали замыкания правильной реализацией?
И приведите, пожалуйста, пример неправильной реализации
И приведите, пожалуйста, пример неправильной реализации
Деталь с видимостью хорошо объясняется в книге Sturm Oliver Functional programmimg in C#, глава Encapsulating Data in Closures, стр. 56.
JS
А почему вы назвали замыкания правильной реализацией?
И приведите, пожалуйста, пример неправильной реализации
И приведите, пожалуйста, пример неправильной реализации
можно ещё почитать https://ru.wikipedia.org/wiki/Проблема_фунарга
2021 March 15
D
можно ещё почитать https://ru.wikipedia.org/wiki/Проблема_фунарга
Спасибо большое, правда пока что немного не понятно. Надо нормально разобраться в работе разных типов памяти.
JS
Спасибо большое, правда пока что немного не понятно. Надо нормально разобраться в работе разных типов памяти.
для замыканий это вроде не нужно.
к замыканиям можно подойти с другой стороны, это должно быть попроще:
возьмём простую ФВП
если компилятор будет выдавать только исполнимый код, мы не сможем выразить это различие.
значит, компилятор должен давать не только исполнимый код, но и прикладывать к нему данные, которые в этом коде используются — такой сложный объект и называется замыканием.
а с точки зрения программиста это просто функция.
к замыканиям можно подойти с другой стороны, это должно быть попроще:
возьмём простую ФВП
add x = \y -> x + y
add 1 и add 2 — разные функции, они состоят из идентичного исполнимого кода (операция сложения), применённого к разным данным.если компилятор будет выдавать только исполнимый код, мы не сможем выразить это различие.
значит, компилятор должен давать не только исполнимый код, но и прикладывать к нему данные, которые в этом коде используются — такой сложный объект и называется замыканием.
а с точки зрения программиста это просто функция.
NS
для замыканий это вроде не нужно.
к замыканиям можно подойти с другой стороны, это должно быть попроще:
возьмём простую ФВП
если компилятор будет выдавать только исполнимый код, мы не сможем выразить это различие.
значит, компилятор должен давать не только исполнимый код, но и прикладывать к нему данные, которые в этом коде используются — такой сложный объект и называется замыканием.
а с точки зрения программиста это просто функция.
к замыканиям можно подойти с другой стороны, это должно быть попроще:
возьмём простую ФВП
add x = \y -> x + y
add 1 и add 2 — разные функции, они состоят из идентичного исполнимого кода (операция сложения), применённого к разным данным.если компилятор будет выдавать только исполнимый код, мы не сможем выразить это различие.
значит, компилятор должен давать не только исполнимый код, но и прикладывать к нему данные, которые в этом коде используются — такой сложный объект и называется замыканием.
а с точки зрения программиста это просто функция.
спасибо
ХГ
спасибо
На собесе в Билайн будут спрашивать!
ЖК
Товарищи, не могу найти, где лежат операторы над констрейнтами, вроде
~ (в base). Не hooglится что-то.YS
Type equality
YS
Кажется можно так погуглить
к
Товарищи, не могу найти, где лежат операторы над констрейнтами, вроде
~ (в base). Не hooglится что-то.~ встроен в язык, его нет в base
он автоматически доступен в скоупе с включенным GADTs или TypeFamilies
он автоматически доступен в скоупе с включенным GADTs или TypeFamilies
AA
Товарищи, не могу найти, где лежат операторы над констрейнтами, вроде
~ (в base). Не hooglится что-то.он не над констрейнтами же. если "вроде" это имеются в виду всякие тайп операторы, то в бейз они обычно в неймспейсах Data.Type... и GHC.Type....