к
Size: a a a
2021 March 02
KV
а тут на помощь приходит let-norec)
Тут на помощь только бороу чекер может прийти, или типа того. А всё остальное это не помощь, а медвежья услуга
ЗП
да при чем тут qtt вообще, завтипов же нет
тут не обязательно иметь завтипы
ЗП
Тут на помощь только бороу чекер может прийти, или типа того. А всё остальное это не помощь, а медвежья услуга
что такое бороу чекер?
KV
Это такая фигня, чтобы линейные токены не таскать вручную, а чтобы оно само это делало и ругалось, если не получается
MP
Я же так понимаю, что всё равно всё старое поколение очищается скопом? Я к тому, что мутабельных объектов не так и много, и всё равно когда настает время чистки - мы просто в основном копируем то, что на данный момент достижимо?
угу
но если у тебя есть какой-нибудь строгий fold, в котором создается N промежуточных значений, то этот фолд можно переделать в линейный и промежуточные значения можно будет чистить сразу же не отходя от кассы. GC нечего будет собирать и паузы станут микросекундными, можно будет наконец написать ОС на хаскеле, столица переедет в васюки и все компьютеры схлопнутся в черную дыру
но если у тебя есть какой-нибудь строгий fold, в котором создается N промежуточных значений, то этот фолд можно переделать в линейный и промежуточные значения можно будет чистить сразу же не отходя от кассы. GC нечего будет собирать и паузы станут микросекундными, можно будет наконец написать ОС на хаскеле, столица переедет в васюки и все компьютеры схлопнутся в черную дыру
YS
угу
но если у тебя есть какой-нибудь строгий fold, в котором создается N промежуточных значений, то этот фолд можно переделать в линейный и промежуточные значения можно будет чистить сразу же не отходя от кассы. GC нечего будет собирать и паузы станут микросекундными, можно будет наконец написать ОС на хаскеле, столица переедет в васюки и все компьютеры схлопнутся в черную дыру
но если у тебя есть какой-нибудь строгий fold, в котором создается N промежуточных значений, то этот фолд можно переделать в линейный и промежуточные значения можно будет чистить сразу же не отходя от кассы. GC нечего будет собирать и паузы станут микросекундными, можно будет наконец написать ОС на хаскеле, столица переедет в васюки и все компьютеры схлопнутся в черную дыру
ХД
ЗП
еще линтипы и прочие это же про строгость, тут с ленью не так просто будет ну и в case надо все клозы заполнять
JS
На каких ОС вы программируете на Хаскеле?
Анонимный опрос
Проголосовало: 224в целом статистика похожа на мировую, но винды в наших пенатах чуть больше (по историческим причинам, вероятно).
открепляю
открепляю
D
Есть lightweight hkt
ну это не то
[
А, я понял, почему мне тут позавчера рассказывали про какие-то правила, которых я в глаза не видел. Они не в закрепе были.
JS
А, я понял, почему мне тут позавчера рассказывали про какие-то правила, которых я в глаза не видел. Они не в закрепе были.
позавчера были
JS
здесь только что было 2 закрепа, теперь 1
[
Я чумба, из вк пришёл, у меня один закреп на весь чат, это который перед глазами висит сверху и с порога в глаза бросается
JS
эх, тут их нельзя сортировать, бросается только самое свежее
JS
а ещё бросается значок "тут много закрепов, листай"
[
как-то не додумывался тыкать по всем неочевидным значкам современных flat-design интерфейсов
AA
ну как минимум чтобы деаллоцировать значения не дожидаясь ГЦ
так это пессимизация, весь смысл гц, чтоб не деаллоцировать
MP
почему пессимизация? разве не быстрее поинтер вернуть обратно, если точно известно что это можно сделать