это "гэканье" украинское

кубаноидское

скатились от произношения к racial slurs

в хаскелле можно себе в ногу выстрелить? А то я тут пару видосов посмотрел... и что-то он мне не понравился

unsafePerformIO $ shootTheLeg

shootTheLeg = shootTheLeg

и unsafe никакой не нужен

вот такое понравилось, жесть просто: (/ 2) 4

А где здесь выстрел в ногу?

обычные operator sections

не знаю где тут выстрел в ногу, но что-то пахнет, немного

тут нету выстрела в ногу

и не пахнет

так правда обычно не пишут (именно так)

(- 5) 2 вот это тоже пахнет

let divideBy2 = (/ 2)

можно

ну напиши 2 - 5

(- 5) 2 вот это тоже пахнет

Ну с минусом бардак

если кто будет ругаться, скажи, что я разрешил

если кто будет ругаться, скажи, что я разрешил

Хорошо! Можно я тебя буду называть бро?

с минусом все везде плохо

где-то просто сделали так ~2

т.к. тяжело отличать отрицательную константу от функции

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

Если не добавить самый прекрасный инстанс для Num

(Num a, Applicative f) => Num (f a)

это да

вот такое понравилось, жесть просто: (/ 2) 4

почему жесть-то? чего ты ожидаешь от этого кода?

почему жесть-то? чего ты ожидаешь от этого кода?

ничего ) Ладно не жесть. Сорри.

а есть гденибудь таблица по нотации обычно используемой в теории категорий - типа чтобы можно было по быстрому понять чем ∆ отличается от△? а то читал вчера папер и гдето на второй странице уже начал забывать нотацию с первой

Обычно каждый автор использует свою нотацию, которую объявляет в начале книги. Если это статья, видимо, лучше посмотреть те книги на которые ссылается автор

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

я склоняюсь к варианту "Хаскель" потому что это вариант имени Иезекиль

Личное имя Йехезкель (в идише — Хацкл, Ехескл) распространено среди евреев.

хацкл тоже ок

Остановимся на Хацкл

Х-л.

Во имя Саймона, Пейтона и Джонса

вы еще не видели дискуссий про "фронтенд", "фронт-енд", "frontend" и т.д

а, и еще конечно "фронтэнд"

вот я лишь за то чтобы в письменных источниках название Haskell не переводили

а в устной речи можно как угодно, в конце концов тусовочки со своими диалектами никто не отменял))

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

haskal

а, и еще конечно "фронтэнд"

У нас один сотрудник упорно пишет «бакъэнд»

Хаски

бекендорф

Аскул

Или аскал

Хаскаль (Блез)

Монойды в хаскале

Фунгтогы в Хацкле

товарищи

многовато флуда, да?

у меня вопрос

очень

давайте про haskell

у меня проблема

я ввожу вещи в ghci и ничего не понимаю

Prelude> let x = (id True, id undefined) Prelude> :sprint x x = _ Prelude> let x = (True, id undefined) Prelude> :sprint x x = _ Prelude> let x = (True, undefined) Prelude> :sprint x x = (,) True _ Prelude> let x = (True, undefined::Int) Prelude> :sprint x x = (True,_) Prelude> let x = (True, False) Prelude> :sprint x x = (True,False)

кто-нить может рассказать почему вывод именно такой, какой он есть

ленивость?

Ну видимо если бы там был не булеан а какая-нибудь дата то (,) Дата Дата

Хотя не. Наверное он дальше головы вообще не должен вычислять в любом случае

Prelude> let x = (Just 4, False) Prelude> :sprint x x = (Just 4,False)

Хех

ну нужно понимать, что тут константы ему их вычислять в общем-то незачем

но я не понимаю почему не (,) a b везде

хотя бы

допустим оптимизация или особенности sprint

но почему есть места где (,) a _

и почему в тоже время есть (a,_)

а что sprint смотрит? вообще у undefined вроде свой тэг в рантайме.

тег смотрит

разницу между undefined и undefined::Int я вижу и понимаю

CAF?

но не понимаю почему она приводит к такой разнице вывода в sprint

ну undefined это :: forall a . a

undefined :: Int это :: Int