
Warren
02.07.2018
11:22:42
но ок, спасибо. словарик полезен

Index
02.07.2018
11:23:35
чего как "суждение равенствами" не перевели ?

Kirill
02.07.2018
11:24:17
и за это будете осуждены...

Yuriy
02.07.2018
11:26:02

Google

Alister
02.07.2018
11:26:38
равностные суждения

Index
02.07.2018
11:28:26
понятно, что в Wiki оно попало как в источнике (иначе бы я просто молча поправил Wiki)

Yuriy
02.07.2018
11:29:15
я бы перевёл "(рас)суждение в уравнениях"

Ilya
02.07.2018
11:29:22

Денис
02.07.2018
11:32:25

Yuriy
02.07.2018
11:32:46

Денис
02.07.2018
11:32:53
да

Alister
02.07.2018
11:33:13
"Измышления в тождествах" Кабал С.А.

Ilya
02.07.2018
11:34:27
Доказательство тождествами

Index
02.07.2018
11:34:48
proving /= reasoning

Денис
02.07.2018
11:35:56
reasoning может переводиться и как доказательство

Ilya
02.07.2018
11:36:15
Ну тогда аргументация тождествами

Google

Index
02.07.2018
11:37:06
как раз reasoning как "рассуждение" или "суждение" нормально переводится
так, беру свои слова назад, "суждение" не то означает
это proposition
тогда просто "рассуждение"

Alexander
02.07.2018
12:29:01
а у haskell_jobs и Haskell CV and Jobs есть какая-то структура и разделение CC @cblp_su ?

Yuriy
02.07.2018
12:30:13

Alexander
02.07.2018
12:30:51
и.е. в CV and Jobs и то и другое?
не, мне просто, чтобы самому понимать

Yuriy
02.07.2018
12:31:12
jobs < (cv + jobs)
jobs не включает cv
в @haskell_job рафинированные вакансии, в @haskell_cv можно обсуждать
целевая аудитория первого — скорее, соискатели; второго — скорее, работодатели и рекрутёры

Alexander
02.07.2018
12:36:23
сложно, но ясно

Leonid
02.07.2018
13:13:01
> Stop supporting older GHCs
Снойман решил таки избегать успеха?

Aleksey
02.07.2018
13:13:58
Насколько older то?
7.6 можно и забросить

Leonid
02.07.2018
13:14:21
пусть сначала 8.4 в лтс сделает

Aleksey
02.07.2018
13:15:48
nightly давно на 8.4, Скоро и LTS подтянется

Andrei
02.07.2018
13:19:19
то ли на этой неделе, то ли на следующей

A64m
02.07.2018
13:21:48

Google

Aleksey
02.07.2018
13:22:30
Это типа "берем 8.4, забываем про 7.x"?

Kirill
02.07.2018
13:22:43

Aleksey
02.07.2018
13:23:29
Может и она

Alexander
02.07.2018
13:23:34
о, как в FPC относятся к стекеджу!1

Aleksey
02.07.2018
13:23:59
NIH какой то

Andrei
02.07.2018
13:24:21
а вот к вопросу о “don’t use stack”: а что вместо? ghc+cabal-install из homebrew/nix или configure --prefix=$HOME/opt/GHC-xx && make install?

Aleksey
02.07.2018
13:24:43
cabal-install конечно

Andrei
02.07.2018
13:25:28
из пакетного менеждера?

Alexander
02.07.2018
13:25:38
а у cabal.project нету внешних полей?
типа x-parser-will-not-fail-on-it:...

Kirill
02.07.2018
13:26:10
а что такое "внешние поля"?

Alexander
02.07.2018
13:26:33
не описанные стандартом, но на которых парсер не сдохнет

Alexander
02.07.2018
13:26:41
чтобы свою метадату добавить
например, чтобы для внешних пакетов ревизию и репозиторий запинить
и не ждать пока это нативного будет

Kirill
02.07.2018
13:27:42
а чем ты их будешь обрабатывать?
доп. тулзой?

Alexander
02.07.2018
13:27:51
своей тулзой
чтобы 1 файл под конфиг проекта
и срез lts туда же, тогда стек точно не нужен

Google

Евгений
02.07.2018
13:29:11

Kirill
02.07.2018
13:29:12
в кабале вродеж со спеками как-то ниочинь или что-то поменялось?

Alexander
02.07.2018
13:29:16
и + можно без потерьгенерировать проект из стек файла и наоборот
какими спеками?

Kirill
02.07.2018
13:29:32

Aleksey
02.07.2018
13:29:36

Leonid
02.07.2018
13:29:49
скачиваешь архив с сорцами cabal-install, запускаешь bootstrap.sh

Kirill
02.07.2018
13:29:56

Admin
ERROR: S client not available

Alexander
02.07.2018
13:30:08
ну формат описан
семантика вроде тоже

Евгений
02.07.2018
13:30:33

Alexander
02.07.2018
13:31:19
судя по гитхабу, кстати GSoC на то чтобы новые команды дефолтными сделать идёт успешно

Leonid
02.07.2018
13:32:10
install то сделали?

Евгений
02.07.2018
13:32:16
Ну там в новых командах не работает new-install
Без него боль

Alexander
02.07.2018
13:32:21
PR сегодня открыли

Kirill
02.07.2018
13:32:26

Alexander
02.07.2018
13:32:27
но там написано WIP

Leonid
02.07.2018
13:32:29
найс

Google

Leonid
02.07.2018
13:32:45
я как раз на new перешел

Alexander
02.07.2018
13:32:50
на read the docs кабаловом
ну у нас везде стек
иногда вместе с никсом

Leonid
02.07.2018
13:33:33
с никсом стек не нужен

Kirill
02.07.2018
13:35:22

Yura
02.07.2018
13:35:24
c nix-ом разве cabal new- работает?

Leonid
02.07.2018
13:35:32
еще как
я же постил

Yura
02.07.2018
13:35:54
хм...

Alexander
02.07.2018
13:36:08

Leonid
02.07.2018
13:36:25
https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/make-package-set.nix#L237

Yura
02.07.2018
13:36:30
я пробовал в nix-shell release.nix -A package.env
сделать cabal new-build

Alexander
02.07.2018
13:37:04

Yura
02.07.2018
13:37:19
оно что-то странное мне выдавало пока артефакты не поудалял

Leonid
02.07.2018
13:37:23
чем стек удобнее cabal new* ?

Alexander
02.07.2018
13:37:25
хотя он порой упоротый

Yura
02.07.2018
13:37:30

Alexander
02.07.2018
13:37:46
тем что не надо никого в этом убеждать