@haskellru

Страница 1518 из 1551
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 → %

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

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

kana
12.10.2018
09:51:07
Ты сам же недавно был был против того, чтобы вещи называть не своими именами?
Нет, я не знаю, откуда такой вывод. Я бвл против формализмов, утверждая, что общепринятный смысл терминах в головах куда важнее изначального определения

Но я это утврждал довольно давно, так что мб ты не про это

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

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

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

kana
12.10.2018
09:54:33
"Общепринято", что монада, это "сложная хрень, чтобы делать IO". jQuery ещё
Должен уточнить, что в "определенном скоупе, в котором идёт обсуждение"

Yuriy
12.10.2018
09:55:12
И co-ncurrency
они прямо в наши хаскельные типы их закодировали?

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

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

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
надо тогда какие-то дефолты для Nothing
Зачем? Мне нужно собрать все a в список, а ещё сконкатенировать все существующие [b], если все элементы Nothing, то получится ([], [])

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 короче

Что значит С?
(type equality) _c_oercions

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
Но ведь в хаскеле нет (стандартного) оператора !=
это не связано. речь о том, что замена символов — плохо

о, наконец-то гуй на Хаскеле!

Это Template Haskell?
если про [java|, то да

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




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