Vladislav Zavialov

Я правильно понимаю, что вместо fld можно будет всегда написать \R{fld}->fld с RecordFieldPuns?

> Ну если платят мало, то быстро похватишь всякую гадость и будешь ходить голодным, очевидно. Это ж сколько должны платить для такого? У программистов в принципе таких з/п не...

Ненавижу название pure. Во-первых, оно смысла не имеет, в Haskell и так все pure. Во-вторых, если предположим, что pure противопоставляется effectful, то кто ж называет функци...

Появилась идея для Хаскель доклада, Getting Good at Bad Stuff, где можно рассказать как использовать unsafeCoerce, unsafePerformIO, etc Когда там следующий ruHaskell?

Вот что может сподвигнуть человека изучить OCaml? 1. нууу э функции там ок, но какой-то он непонятный А Reason ML: 1. продвигается фейсбуком 2. красивый логотип 3. привычны...

Constraint населен такими вещами как Eq Int, Functor Maybe, и т.д., поэтому Constraint :: Type > тип — это то, что можно написать справа от ::? Тип это то, что можно написат...

> В чем фундаментальное ограничение? Я правильно понимаю, что твоя затея подразумевает возможность определить равенство двух любых функций на JS?

Как называется дерево, в котором все данные в листьях? data Tree a = Leaf a | Node (Tree a) (Tree a)

Есть какая нибудь файловая система, которая поддерживала бы так сказать виртуальные файлы? Я создавал бы файл с программой, которая на вход принимает другие файлы и выдает рез...

А какой формат был бы лучше для ЯП, чем текст? Ну как минимум такой, в котором не нужно бороться с trailing whitespace, tabs vs spaces, непарными скобками, выравниванием

https://www.reddit.com/r/haskell/comments/a710ix/why_dependent_haskell_is_the_future_of_software/?utm_source=reddit-android

"трудовые права" это для той категории людей, которые при устройстве на работу заранее уже думают, как и с кем судиться будут? (права отстаивать, что уж там) с дураками не св...

> а о голоде, вшах и воспалении лёгких, либо совсем разучусь общаться с людьми. Я вообще не понял о чем это. Какие это проблемы с работой? > Камон, куча интересной работы пр...

> потому что всё завязано на нестандартизированные compiler-specific расширения Эти расширения не на пустом месте возникают, они решают реальные проблемы. Вот есть в какой-то...

От Хаскельных потуг что-то статически гарантировать и правда плакать хочется, но это как раз LiquidHaskell/DependentHaskell исправлять должны Скажем, в Idris ты бы согласился...

Рассуждение простое: в Parser [a] может быть фейл, тогда списка не будет, тогда длина списка неизвестна, тогда какова должна быть длина выходного списка?

Всем не угодишь. Так как автоматически оказались правы те, кто хочет назначить f <*> g семантику S-комбинатора, а не ошибки компиляции?

На тайп-левеле есть типы (они все :: Type), конструкторы типов (они все :: stuff -> Type), и type-level data (это всякие промоутнутые вещи, вроде `’True`) > Constraint — тип...

@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase

Чтобы представить категорию монад, тебе нужно в качестве объектов взять типы с кайндом ☆ -> ☆ и инстансом Monad. Я не очень понимаю влпрос "представить", потому что вон она эт...