
Aleksey
12.10.2018
09:46:02
/= -> ≠
вот это норм

Leonid
12.10.2018
09:46:52
->. -> ? тоже

Aleksey
12.10.2018
09:47:07

Google

IC
12.10.2018
09:48:27

Yuriy
12.10.2018
09:48:39
с апмерсандом сложное историческое наследие. как с ss → ʃs → ß, p/c → %

IC
12.10.2018
09:48:42

Yuriy
12.10.2018
09:49:08

Aleksey
12.10.2018
09:49:29
В этом чатике всем понятно должно быть :) Это ж местная шутейка

kana
12.10.2018
09:49:37
Что мешает скрипту проходить стат проверку?

Yuriy
12.10.2018
09:50:17

kana
12.10.2018
09:51:07
Но я это утврждал довольно давно, так что мб ты не про это

Aleksey
12.10.2018
09:52:38
Я за то, чтобы называть вещи своими именами, а не так как "и так всем понятно"

Yuriy
12.10.2018
09:53:06
это про πроцессы и πараллелизм?

Aleksey
12.10.2018
09:53:22

Google

Aleksey
12.10.2018
09:54:29
Как раз от разброда в головах спасает единая терминология. Максимально формальная

IC
12.10.2018
09:54:30

kana
12.10.2018
09:54:33

Yuriy
12.10.2018
09:55:12

kana
12.10.2018
09:55:53
Так что да, для людей, не использующий монады, определение, что монада - это старинная херь для ио - куда лучшее и полезное определение, чем определение в головах хаскелистов или математиков. В скоупе хаскелистов обратное. В скоупе математиков у монады тоже не такое определение, как у хаскелистов

Terminator
12.10.2018
10:14:07
@anton_rich будет жить. Поприветствуем!

IC
12.10.2018
10:19:08

ParkeT
12.10.2018
10:35:00
Кто-то сталкивался с тем, что на Arch Linux
stack build валится с Attempt to free invalid pointer 0x...?
Конкретнее, пытаюсь собрать https://github.com/jpmorganchase/constellation
Очень похоже на https://github.com/commercialhaskell/stack/issues/2926

Alexander
12.10.2018
11:03:43
А как лучше сделать [Maybe (a, b)] -> ([a], [b])?

Sergey
12.10.2018
11:04:18
unzip . catMaybes

Alexander
12.10.2018
11:05:04
ой, нет, нужно сделать [Maybe (a, [b])] -> ([a], [b])

Denis
12.10.2018
11:05:40
не тотально же

A64m
12.10.2018
11:05:52
тут непонятно что делать

Denis
12.10.2018
11:05:59
надо тогда какие-то дефолты для Nothing

kana
12.10.2018
11:07:04
Пара пустых списков же

Alexander
12.10.2018
11:07:13

Sergey
12.10.2018
11:08:27
λ import Control.Arrow
λ import Control.Monad
λ import Data.Maye
λ second join . unzip . catMaybes $ [Just (1, [2,3]), Nothing]
([1],[2,3])
или
second mconcat . unzip . catMaybes

ParkeT
12.10.2018
11:10:03
Отвечая на свой же вопрос. В Arch что-то не так c libleveldb.so, если заменить библиотекой от ubuntu - работает.
Спасибо.

Google

Terminator
12.10.2018
11:15:40
@greenest_pig будет жить. Поприветствуем!

Pig
12.10.2018
11:15:49
еее, спам
какая сейчас в хаскеле система типов, System D?

Denis
12.10.2018
11:16:48
System F omega :D

Maxim
12.10.2018
11:18:19
":D" - часть названия? ?

kana
12.10.2018
11:18:51
Конечно

Pig
12.10.2018
11:19:03
а где про это написано?

kana
12.10.2018
11:20:14
Вообще я думал, что систем ф омега - это что-то старое, мб даже времен репорта
А сейчас DC там какой-нибудь

Pig
12.10.2018
11:20:45
мне ответили в лс, так что всем пока

kana
12.10.2018
11:21:06
Ясно, тайные сведения

A64m
12.10.2018
11:23:43
сейчас какая-то модификация System FC

Abbath
12.10.2018
11:24:16

Oleg
12.10.2018
11:24:27
по-моему было
System-F-omega-coerce-join

A64m
12.10.2018
11:26:36
System FC была с 7.0
c 7.4 SystemFC↑
с 8.0 как-то еще по другому называется, не помню, какие там закорючки, System FC with Explicit Kind Equality короче

Dmitry
12.10.2018
11:35:07
Haskell non stop вторые сутки??

IC
12.10.2018
11:35:51

Dmitry
12.10.2018
11:36:18
Не каждый Go-шник, наверное, такой накал типобезопасности выдержит

Google

Dmitry
12.10.2018
11:36:25
Горжусь нами!

IC
12.10.2018
11:36:33
Позавчера ещё был миникурс по fancy types

Dmitry
12.10.2018
11:36:44
А где это территориально?

IC
12.10.2018
11:36:46
В понедельник по оптимизациям

Dmitry
12.10.2018
11:37:08
Оптимизации я б посмотрел. Слайды будут в онлайне?

IC
12.10.2018
11:37:21

Dmitry
12.10.2018
11:37:29
Ыыы
"Ясно, тайные сведения" (C)

IC
12.10.2018
12:41:38
Хм.. на слайдах уже несколько раз есть inline-rust
Но его вроде же ещё нет?

Ilya
12.10.2018
12:56:22

Artem
12.10.2018
12:57:22
Это Template Haskell?

Yuriy
12.10.2018
12:57:41
о, наконец-то гуй на Хаскеле!

IC
12.10.2018
13:04:41
Ждём теперь inline-haskell

A64m
12.10.2018
13:06:04
я уже предлагал
можно же скомпилировать небольшой кусок хаскельного кода jhc в варианте без гц в си и потом этот сишный код вызвать ансейф вызовом (во время его выполнения гхц-ный гц не заработает)
(шутка)
можно даже, наверное, накостылить квазиквотер, для "хаскеля-без-гц" внутри хаскеля вроде аналогов для си, явы и т.д.

Google

IC
12.10.2018
13:09:59
... предлагая - делай!

A64m
12.10.2018
13:11:44
ну нет, я вам проблему с паузами в хаскеле в основном решил - детали уже сами дорабатывайте

Дмитрий
12.10.2018
13:33:18
Люди, а не подскажете, что нового на фронте "программирование на уровне типов", как движется, что ожидается? А то я в курсе, что ресёрч идёт, но подробностей не знаю :(

A64m
12.10.2018
13:45:28
есть кое-какие работы по зависимой корке и по унификации парсера для типов и значений, но заметных результатов пока нет
может в след. версии будет поудобнее сигнатуры для объявлений типов записывать, вроде такого
type MonoTagged :: Type -> Type -> Type
data MonoTagged t x = MonoTagged x
type Id :: forall k. k -> k
type family Id x where
Id x = x
type C :: (k -> Type) -> k -> Constraint
class C a b where
f :: a b
но и это неготово еще

Denis
12.10.2018
13:53:38
@A64m_qb0 никогда бы не подумал, что newtype можно прям внутри typeclass использовать
class MLMonoid m where
data T m :: *
zero :: T m
(<>) :: T m -> T m -> T m
data AddMon = AddMon
instance MLMonoid AddMon where
newtype T AddMon = AM Int deriving (Num, Show)
zero = 0
(<>) = (+)

A64m
12.10.2018
13:56:21
ну это то же самое что newtype instance на топлевеле, что разновидность data instance

Denis
12.10.2018
13:56:44
ну это же data family?

A64m
12.10.2018
13:58:54
ну да
инстанс для дата фемели может быть ньютайпом

Denis
12.10.2018
13:59:55
а не враппер

A64m
12.10.2018
14:00:45
ну обычно везде где data там и newtype можно применять, в инстансах классов и т.д.

IC
12.10.2018
14:41:38