/= -> ≠ вот это норм

->. -> ? тоже

А зачем - непонятно, просто чтобы позанудствовать, ведь и так всем понятно чтт что значит

Ты сам же недавно был был против того, чтобы вещи называть не своими именами?

А зачем - непонятно, просто чтобы позанудствовать, ведь и так всем понятно чтт что значит

"Скрипт" = всем понятно, что "язык с дин типизацией"

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

"Скрипт" = всем понятно, что "язык с дин типизацией"

Turtle?

"Скрипт" = всем понятно, что "язык с дин типизацией"

мне непонятно

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

"Скрипт" = всем понятно, что "язык с дин типизацией"

Нет, вещи же вообще не связаны

Что мешает скрипту проходить стат проверку?

в разделе "markdown checklist" на https://www.fsd.it/shop/fonts/pragmatapro/ есть ссылка: https://www.fsd.it/wp-content/uploads/markdown_checklist.gif

когда ширина меняется, это ещё хуже

Ты сам же недавно был был против того, чтобы вещи называть не своими именами?

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

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

Я за то, чтобы называть вещи своими именами, а не так как "и так всем понятно"

это про πроцессы и πараллелизм?

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

"Общепринято", что монада, это "сложная хрень, чтобы делать IO". jQuery ещё

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

это про πроцессы и πараллелизм?

И co-ncurrency

"Общепринято", что монада, это "сложная хрень, чтобы делать IO". jQuery ещё

Должен уточнить, что в "определенном скоупе, в котором идёт обсуждение"

И co-ncurrency

они прямо в наши хаскельные типы их закодировали?

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

@anton_rich будет жить. Поприветствуем!

Кто-то сталкивался с тем, что на Arch Linux stack build валится с Attempt to free invalid pointer 0x...? Конкретнее, пытаюсь собрать https://github.com/jpmorganchase/constellation

Очень похоже на https://github.com/commercialhaskell/stack/issues/2926

А как лучше сделать [Maybe (a, b)] -> ([a], [b])?

unzip . catMaybes

ой, нет, нужно сделать [Maybe (a, [b])] -> ([a], [b])

не тотально же

тут непонятно что делать

надо тогда какие-то дефолты для Nothing

не тотально же

Почему

Пара пустых списков же

надо тогда какие-то дефолты для Nothing

Зачем? Мне нужно собрать все a в список, а ещё сконкатенировать все существующие [b], если все элементы Nothing, то получится ([], [])

λ 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

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

@greenest_pig будет жить. Поприветствуем!

еее, спам

какая сейчас в хаскеле система типов, System D?

System F omega :D

":D" - часть названия? ?

Конечно

а где про это написано?

Вообще я думал, что систем ф омега - это что-то старое, мб даже времен репорта

А сейчас DC там какой-нибудь

мне ответили в лс, так что всем пока

Ясно, тайные сведения

сейчас какая-то модификация System FC

сейчас какая-то модификация System FC

Что значит С?

по-моему было

System-F-omega-coerce-join

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

Что значит С?

(type equality) _c_oercions

Haskell non stop вторые сутки??

Haskell non stop вторые сутки??

Третьи

Не каждый Go-шник, наверное, такой накал типобезопасности выдержит

Горжусь нами!

Позавчера ещё был миникурс по fancy types

А где это территориально?

В понедельник по оптимизациям

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

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

Нет, платный курс от WT

Ыыы

"Ясно, тайные сведения" (C)

Хм.. на слайдах уже несколько раз есть inline-rust

Но его вроде же ещё нет?

в Фире != заменяется на ≠. как можно так ломать код?

Но ведь в хаскеле нет (стандартного) оператора !=

Это Template Haskell?

Но ведь в хаскеле нет (стандартного) оператора !=

это не связано. речь о том, что замена символов — плохо

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

Это Template Haskell?

если про [java|, то да

Ждём теперь inline-haskell

я уже предлагал

можно же скомпилировать небольшой кусок хаскельного кода jhc в варианте без гц в си и потом этот сишный код вызвать ансейф вызовом (во время его выполнения гхц-ный гц не заработает) (шутка)

можно даже, наверное, накостылить квазиквотер, для "хаскеля-без-гц" внутри хаскеля вроде аналогов для си, явы и т.д.

... предлагая - делай!

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

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

есть кое-какие работы по зависимой корке и по унификации парсера для типов и значений, но заметных результатов пока нет

может в след. версии будет поудобнее сигнатуры для объявлений типов записывать, вроде такого 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 но и это неготово еще

@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 (<>) = (+)

ну это то же самое что newtype instance на топлевеле, что разновидность data instance

ну это же data family?

ну да

инстанс для дата фемели может быть ньютайпом

инстанс для дата фемели может быть ньютайпом

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

а не враппер

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