Телеграмм чат группы haskell

foldl написанный на этом строгом хаскеле строгий же

а, ну там в том сообщении только про дату было, так что я только на это и ответил

03:25пожаловаться #1

полноценный Strict поможет с утечками, но

1. далеко не со всеми
2. до них в итоге дойдет, что строгие списки — это очень неудобно

03:26пожаловаться #2

Roman

а, ну там в том сообщении только про дату было, так что я только на это и ответил

т.е. он там строгим хаскелем называет хаскель со стриктдата включенным? оригинально

03:26пожаловаться #3

т.е. он там строгим хаскелем называет хаскель со стриктдата включенным? оригинально

> надо только свою прелюдию нафигачить со строгими мейбями и туплами

я с этим спорил

03:27пожаловаться #4

Roman

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

03:27пожаловаться #5

т.е. он там строгим хаскелем называет хаскель со стриктдата включенным? оригинально

а тот чувак наверное как раз имеет в виду стрикт-как-окамл или что-нибудь такое

03:27пожаловаться #6

они могут списки со строгим первым полем конса и ленивый спайном применять, правда

03:28пожаловаться #7

они могут списки со строгим первым полем конса и ленивый спайном применять, правда

я б пописал на такой прелюдии...

03:28пожаловаться #8

из любопытства как минимум

03:29пожаловаться #9

такой список даж объявлен уже в пакете стриминг

03:29пожаловаться #10

Roman

а тот чувак наверное как раз имеет в виду стрикт-как-окамл или что-нибудь такое

ну так чем хаскель со стрикт прагмой не стрикт-как-окамл, только прелюдии не хватает

03:31пожаловаться #11

ну так чем хаскель со стрикт прагмой не стрикт-как-окамл, только прелюдии не хватает

очевидно тем, что ныть о строгом хаскеле проще, чем ныть об отсутствии строгой прелюдии, потому что первое не случится никогда и таким образом никаких действий никогда не потребуется точно

03:32пожаловаться #12

ну и тем, что вся экосистема все равно ленивая

03:33пожаловаться #13

прелюдию напишут строгую, а потом весь хэкедж переписывать?

03:33пожаловаться #14

не так круто, как сделать новый язык и уже на нем весь хэкедж переписывать

03:33пожаловаться #15

ну как вся, есть достаточно либ со строгими структурами данных и куча либ которыые нормально будут работать, потому что не возвращают ленивые конструкторы ниоткуда

03:33пожаловаться #16

зато прячут error где-нибудь в том, что возвращают

03:36пожаловаться #17

когда/если анлифтед типы вмерджат, можно будет даже на уровне типов избегать занесения плохих конструкторов, но тут им больше переписывать и оборачивать придестя

03:37пожаловаться #18

зато уже полноценный строгий язык, за ленивость не платишь, если не используешь!

03:37пожаловаться #19

платишь тем, что придется эти аннотации писать