Haskell

08 April 2026 20:53

Да, в настройках можно включить что-то типа белой книги.

Haskell

08 April 2026 20:51

Зашло. А сразу после лекции обступили и расспрашивали. А после ещё случилась история. Но это уже другая история в той же аудитории с другим преподавателем :)

Haskell

08 April 2026 19:20

и голосование должен ли платить этот пользователь )

Haskell

08 April 2026 19:20

Так падажжите, личку реально можно звездами запейволлить?

Haskell

08 April 2026 19:20

(или мют вешают, тут я уже не подскажу)

Haskell

08 April 2026 19:19

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

Haskell

08 April 2026 19:15

А что, так можно было чтоли?

Haskell

08 April 2026 18:04

Привет, коллеги-друзья.

Не могу не поделиться. Сегодня начал читать в НИЯУ МИФИ обновлённый курс лекций по ФП для своих студентов-второкурсников.

На фото — одна из досок, которую я сегодня исписал :)

Haskell

08 April 2026 13:55

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

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

Haskell

08 April 2026 13:38

Оптимизатор не поможет

Haskell

08 April 2026 13:36

В Хаскеле есть кроссмодульные флаги для инлайнов в интерфейсных файлах, а в Расте без ThinLTO их вообще нет

Тайпклассы в Хаскеле от трейтов в Расте отличаются только степенью агрессивности инлайнига и специализаций по дефолту. В Расте нужно наоборот подсказывать компилятору расставлять словарики чтобы не раздувать бинари с временем компиляции и не плодить кэш миссы по инструкциям. Это вопрос исключительно эвристик оптимизатора и выбираемых трейдоффов

И оптимизатор Хаскеля последние годы активно менялся чтобы агрессивнее специализировать. Бэкпак в этом плане костыль чтобы агрессивно специализировать вместо использования прагм

Haskell

08 April 2026 13:21

хорошо что таких тут мало

Haskell

08 April 2026 13:07

Бекпак нужен потому что в хаскеле модули раздельно компилируются и нет мономорфизации всего кода.

Haskell

08 April 2026 12:53

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

Haskell

08 April 2026 12:51

ну нужно руками боксить

Haskell

08 April 2026 20:53

С учётом моего уровня медиаактивности, знали бы вы количество всяких городских сумасшедших, которые ко мне пристают. Некоторые уже на улице ИРЛ бывает.

Haskell

08 April 2026 19:20

С мютом попроще, как +v в IRC

Haskell

08 April 2026 19:20

Я знаю, что запейволлить можно комменты в каналах.

Haskell

08 April 2026 19:20

Сообщение в кредит. Если пользователи не посчитали полезным. То платно

Haskell

08 April 2026 19:19

Обменные курсы звезд между каналами

Haskell

08 April 2026 19:18

А можно такое на канале на кого-то одного навешивать? Вот радость бы была

Haskell

08 April 2026 19:09

> Верну звëзды, если контакт по делу.
> Message for 20 Stars...
🤔

Haskell

08 April 2026 13:58

Или можно всегда пойти писать тупой код на Go

Haskell

08 April 2026 13:39

трейдофы были выбраны более 30 лет назад. Нам остаётся только терпеть

Haskell

08 April 2026 13:38

в расте скомпилированный полиморфный код бывает только с impl Hui. В хаскеле он бывает вообще без инлайнов. дело не в инлайне, дело в томно что у хаскеля Foo a имеет то-же представление в памяти что и Foo Int или Foo Text, в расте - нет

Haskell

08 April 2026 13:22

можно хоть пообщаться по свойски

Haskell

08 April 2026 13:21

с сильно умными людьми тяжело

Haskell

08 April 2026 13:03

Компилятор прекрасно определяет рекурсию и оперирует терминирующими условиями в паттерн матчинге - ему ничего не мешает оптимизировать код как это делает rustc в случаях когда код написан с теми же ограничениями что накладывает Rust

Нам не нужен бэкпак чтобы код оптимизировался лучше

Haskell

08 April 2026 12:53

Допустим. Что из этого следует?

Haskell

08 April 2026 12:47

data List a = Cons a List | Null не написать в русте