R
Я чистая
Size: a a a
2020 May 13
R
За что купила за то и продала
AP
Это только id так делает
R
Ну тАгда я в домике
AP
Чистая функция на фримонадках:
- Напечатай десяток чисел физбаз
- Ну, я бы сначала напечатала "1", потом... эй, ты слушаешь?
- Напечатай десяток чисел физбаз
- Ну, я бы сначала напечатала "1", потом... эй, ты слушаешь?
YS
Я не понял(
AV
Мне понравилось
AV
Это объяснение почему они тормозят!
AP
Чистая функция на фримонадках:
- Напечатай десяток чисел физбаз
- Ну, я бы сначала напечатала "1", потом... эй, ты слушаешь?
- Напечатай десяток чисел физбаз
- Ну, я бы сначала напечатала "1", потом... эй, ты слушаешь?
Хотя это больше на ленивое IO похоже.
Свободная независимая монада ответила бы:
- Сделай сам! Кароч, печатаешь "1", потом зовёшь меня — скажу что делать дальше
Свободная независимая монада ответила бы:
- Сделай сам! Кароч, печатаешь "1", потом зовёшь меня — скажу что делать дальше
AV
А mtl : расскажи мне как печатать, как склаывать, а дальше я сама разберусь
AS
Уинас декларативный = обладает денотационной семантикой?
AS
Или более сложное определение
AA
Понятно, что все эти фреймворки по уши сидят в императивности. Вот SQL декларативный. Prolog декларативный. Блин, даже XML/HTML/templates декларативные! А в том, чтобы позвать функцию, получить результат и обработать его, подергав попутно удобно подложенные глобальные процедуры, ничего декларативного нет.
Мне кажется, тут где-то неверная мысльсразу видно что автор этого высера даже не читал про пролог
AS
Язык не транслирующийся в теоркат не может быть декларативным в этом понимании, факт
AS
Вот sql отлично транслируется
AS
Я все хочу сделать ORM на стрелках
С
Я все хочу сделать ORM на стрелках
Получится bullshit², по-моему. Ну или это будет не orm, а подобие linq
AS
Получится bullshit², по-моему. Ну или это будет не orm, а подобие linq
Я за ползучий эпиризм
AS
Меня просто вдохновляет мысль говоритьо запросах на языке теорката
С
https://tonsky.livejournal.com/324912.html?utm_source=3userpost
Декларативный.
Чистый функциональный.
Императивный.
Декларативный.
Чистый функциональный.
Императивный.
Там в комментариях лютовал практик, который доказывал, что всё это сделано ради высокой (на самом деле хоть сколько-нибудь приемлемой) производительности.