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

т.е. нету неявного параметра для типа

это как с let x = 5, sprint x x = _, и let x = 5 ::Int sprint x x = 5

undefined это _|_, не?

особенности реализации? надо компилять в корку без оптимизашек и там понятно будет

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

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

(True, undefined) :: forall a . (Bool, a) (True, undefined::Int) :: (Bool, Int)может просто в первом случае ему не хватает "пустой дикт"?

@optician_owl у тебя 4 это функция я поэтому Bool и использую

(,) True _ - это thunk с конструктором. а (True, _) - слабая голова

Prelude> let x = (Just (+(1::Int)), False) Prelude> :sprint x x = (Just _,False)

(,) True _ - это thunk с конструктором. а (True, _) - слабая голова

вот это похоже на правду

ну не thunk, а ap

ну да

ладно лучше дальше работать буду

Leonid в общем-то тогда (Int,undefined::Int) и (Bool, Bool) сходятся

но какого черта он сразу whnf делает

там же код это let a = .. ; b = .. in (,) a b

жалко sprint thunk от функции не отличает

Whnf потому что CAF?

возможно

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

undefined это функция

undefined is not a function

а какой сейчас последний ghc в nix ?

А кто-нибудь уже пользовал compact regions?

Я с ними экспериментировал. Они работают.

Но фатальный недостаток в том, что в компактный регион не могут входить функции.

но какого черта он сразу whnf делает

strictness analysis?

Такой уж ли фатальный?

Ну если у тебя в данных функций нет, то не такой уж.

@cblp_su сомнительно, особенно в ghci

Самое кайфовое, что можно на диск дампать структуры бесконечные, вроде xs = 1:xs

Оно умеет шейринг сохранять

Я просто сейчас не оч втыкаю как с ними работать.) То есть вот есть компактный регион(compact b) ты к нему прибавил что-то типа a и получил IO (compact a)