В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1587 membersпожаловаться на группу
2021 May 18

L

Lierdakil in Haskell
нууу... разве в полностью ленивом языке (теоретическом) будет? вроде при полной ленивости функции с одинаковым аргументом один раз должны вычисляться.
источник
12:15пожаловаться#1

к

кана in Haskell
будут, ленивость это мемоизация одного кучка вычисления, о мемоизации функций речи не идет
источник
12:16пожаловаться#2

S

Sergey in Haskell
И результат вычисления храниться вечно в бесконечной памяти?
источник
12:16пожаловаться#3

к

кана in Haskell
какой бы не был язык мегаленивый, оптимизации функций через мемоизацию к этому не относятся, и это хорошо, если бы каждая фунцкия мемоизировалась в таком языке, это же быстро привело бы к тому, что в памяти лежат вообще все состония какой-то программы, и память кончилась бы намного раньше
источник
12:17пожаловаться#4

v

vacuité. in Haskell
Что за ассемблер мне дали.
источник
12:19пожаловаться#5

[

[BRM]White Rabbit in Haskell
Я подразумеваю, что не будет каких-то нехороших людей, которые сделали инстанс, не ввполняющий законв
источник
12:24пожаловаться#6

[

[BRM]White Rabbit in Haskell
Хаскель - язык высшего уровня! Тут надо описывать не /как надо делать/, а /что надо делать/
источник
12:26пожаловаться#7

[

[BRM]White Rabbit in Haskell
Мне так википедия сказала
источник
12:26пожаловаться#8

v

vacuité. in Haskell
Найдем редакторов википедии.
источник
12:26пожаловаться#9

[

[BRM]White Rabbit in Haskell
Нет, на самом деле это правда, функциональные языки принадлежат к семейству декларативных
источник
12:27пожаловаться#10

v

vacuité. in Haskell
Я знаю, я читал википедию.
источник
12:28пожаловаться#11

NI

Nick Ivanych in Haskell
Интуиционистской же математики.
Линейщина тоже конструктивна, но называть линейную лямбду функциональным языком программирования...
Такое себе.
источник
12:33пожаловаться#12

L

Lierdakil in Haskell
Беглый гуглинг выдал мне вот это: http://www.lsv.fr/Publis/PAPERS/PDF/sinot-wrs07.pdf . Рассуждают про complete laziness. Тут есть мемоизация  (каких-то) применений функций, за счёт чего оно может иметь линейную сложность там где full laziness имеет экспоненциальную. Но я пока не вник в детали, поэтому не могу сказать как оно себя поведёт на пресловутом Фибоначчи.
источник
12:40пожаловаться#13

к

кана in Haskell
надо почитать
источник
12:40пожаловаться#14

IO

I O in Haskell
<зануда>
Не будет тут санков, w/w сделает $wfib :: Int# -> Int# (но это конечно ничего не спасет)
</зануда>
источник
12:49пожаловаться#15

v

vacuité. in Haskell
А зачем эта лень, если все так работает?
источник
12:51пожаловаться#16

v

vacuité. in Haskell
Когда у математиков появились деньги, чтобы использовать язык для математиков.
источник
12:52пожаловаться#17

[

[BRM]White Rabbit in Haskell
Лень даёт возможность работать с бесконечным структурами и иногда "срезать" лишние вычисления на поворота
источник
13:00пожаловаться#18

v

vacuité. in Haskell
А иногда жрать много памяти и огромное количество итераций?
источник
13:01пожаловаться#19

[

[BRM]White Rabbit in Haskell
Огромное количество операций это проблемы глупого кодера, а не лени.
Вот с памятью проблемы есть некоторые, но те легко решить.
источник
13:03пожаловаться#20