что значит "готическая"?
шрифты наверное:)
Ilya
Anonymous
у милевского подружелюбнее чет
adam
Всё из-за картинок со свинками
Anonymous
именно
Кабачок
Готический шрифт это как алеф нуль обычно, если мне память не изменяет.
Cheese
нет, Алеф из еврейского алфавита, а готический шрифт — латиница
Cheese
точнее, шрифт можно не только для латиницы нарисовать, но Алеф нуль набирается не готическим, а каким-то обычным шрифтом
Кабачок
алеф нуль набирается каким-то диким шрифтом, совершенно непохожим на еврейское кубическое письмо, которое они используют сейчас
Anonymous
א
Anonymous
очень даже похоже
Anonymous
просто засечки добавили, с русским языком аналогия срабатывает
Кабачок
Зигохистоморфный
а при чем тут алеф?
Anonymous
Влод
Anonymous
ага
Alexander
кто в streaming шарит?
Cheese
никто, но ты задавай вопрос
Alexander
я уже решил его
Alexander
вопрос был про написание concatMap для стримов
Alexander
ответ: \f -> concats $ maps (x:>r -> f x >> pure r)
Alexander
и про модификацию m - ответ `hoist
Alexander
наверное работает, во всяком случае компиляется
A64m
и как streaming?
A64m
у него автор куда-то запропал
Alexander
очень приятная штука
Alexander
мне не хватает понимания всяких морфизмов и т.п.
Alexander
и пока я не уверен, что у меня получится сделать штуку что я хочу
Alexander
я знаю что с пайпами я могу это сделать, а тут не ясно
Alexander
интересно насколько меня коллеги будут завтра ненавидеть
Alexander
я решил, что streaming интерфейс прятать внутри либы^W части внутренних модулей не хорошо и надо выводить его наружу,
Alexander
иначе фичи не используются
Alexander
но теперь зато прекрасно видно где в чужом коде [ ] не по делу вылезают
Anonymous
какой есть пример применения warbler1 из птиц?
Anonymous
да
Зигохистоморфный
ну это же вроде флипнутый join
Зигохистоморфный
для функции
Alexander
@A64m_qb0 ты не в курсе вектора все ещё можно из Stream собирать, или теперь тольно из Bundle?
Зигохистоморфный
join(*) 10
Кабачок
square = flip warbler1 (*)
бггг
Anonymous
но мне интересно где бы мы его вместо обычного варблера хотели бы юзать
Alexander
Vector.Fusion.Stream.Monadic есть, а чего-то сходу не вижу как в вектор превратить
Зигохистоморфный
а это будет просто w1 10 (*)
A64m
@qnikst там должна быть функция которая стрим в бандл оборачивает
Alexander
хм.. чего-то сходу не нашёл
A64m
fromStream или что-то вроде
Alexander
точно пассиб
Зигохистоморфный
кто в streaming шарит?
ты про этот стриминг? https://www.stackage.org/lts-9.9/package/streaming-0.1.4.5
Alexander
+
Alexander
мне лень стаканж открывать, но судя по урлу оно
Alexander
ни у кого кстати нету юзерскрипта с кнопкой - перейти на хакадж?
Зигохистоморфный
а что плохого в stackage?
Alexander
вырвиглазные стиль и не удобный
Зигохистоморфный
Vector.Fusion.Stream.Monadic есть, а чего-то сходу не вижу как в вектор превратить
я такого там не нашел
Alexander
абсолютно не информативная главная страница пакета
Alexander
если ты не хочешь посмотреть в каком срезе что
Alexander
раньше вообще стиль был вырезающий полезную информацию, сейчас хотя бы нормально
Alexander
а это в векторах
Alexander
мне нужно Streaming.Stream (Of a) -> m (v a) сделать
Alexander
ну или Streaming.Stream (Of a) -> Vector.Stream m a хотя бы
Alexander
чтобы польхователь сам мог это в Bundle и нужный вектор конвертнуть
Зигохистоморфный
ну или Streaming.Stream (Of a) -> Vector.Stream m a хотя бы
а это случаем не hoist из Monad Morph?
Alexander
с чего бы?
Alexander
hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b
Alexander
он меняет внутреннюю монаду если у тебя есть как преобразовать
Alexander
у меня меняется "форма"
Alexander
структура у Streaming.Stream и Vector.Stream все же разная
Зигохистоморфный
тогда это какое нат преобразование
Зигохистоморфный
мб как-то через линзовый Iso
Alexander
нет, это функция которая consum-ит Streaming.Stream и порождает Vector.Stream при этом потоково
Alexander
если это можно сделать через мудрые тайпклассы, то этот код тебе все равно придётся написать
Alexander
т.е. это Vector.unfoldM ( .. Stream.next ...)
Alexander
это точно как-то называется умными словами, но я их сегодня не знаю
Зигохистоморфный
порождает и потребляет?
Alexander
+
Alexander
косьюмер для одного - генератор для другого
Зигохистоморфный
какой то хиломорфизм