@haskellru

Страница 1319 из 1551
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
https://github.com/ruHaskell/ruhaskell/wiki/Translation
>free monad — свободная монада >freer monad — монада посвободнее

Денис
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
а у haskell_jobs и Haskell CV and Jobs есть какая-то структура и разделение CC @cblp_su ?
структура в заголовке. по контенту, я думаю, будет отношение включения. если есть другие предложения, внемлю

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
Насколько older то?
старее 3-х последних

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
cabal new-*
дак оно тот же cabal-install

Aleksey
02.07.2018
13:29:36
cabal new-*
старые то команды продолжают работать

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
старые то команды продолжают работать
Ну я старые команды юзаю только в редких случаях (когда new-* не работают как надо)

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
на read the docs кабаловом
и по WIP тоже чтот поиск не находит на https://www.haskell.org/cabal/users-guide/

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
и по WIP тоже чтот поиск не находит на https://www.haskell.org/cabal/users-guide/
там где-то было описание формата и полное описание полей

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
хотя он порой упоротый

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

Страница 1319 из 1551