да, а в Google X на нем полноценно пишут
а есть открытые сведения, что именно там на Хаскеле пишут?
Cheese
Alexander
ни разу не интересовался открытыми сведениями
Cheese
а коммерческую тайну кто-нибудь растрепал?
Alexander
наверное если про гугл х погуглить, то найти можно, где-нибудь с новостями где они Леннарта Августонсона наняли
Alexander
я не уверен, что это тайна
Anonymous
Леннарт только на Хаскеле пишет?
Anonymous
Это он:
https://en.m.wikipedia.org/wiki/Lennart_Augustsson
?
Alexander
во всяком случае слышал это от независимых источников из гугла
Alexander
не знаю на чем он пишет, я знаю, что там он пишет на haskell
Leonid 🦇
А Пипони все еще в гугле? Я правда не уверен что он вообще всё еще пишет
Alexander
без понятия
kosc
Что за Пипони?
Cheese
http://blog.sigfpe.com/
kosc
Найс
Alexander
блог отличный
Kirill
@qnikst а Ganeti же ещё гугловский?
Alexander
да
Alexander
но это 20%-time project
Alexander
не уверен, что он вообще где-то используется реально
kosc
Пожалуй, соглашусь.
Зигохистоморфный
https://ryanglscott.github.io/2018/02/11/how-to-derive-generic-for-some-gadts/
Mi Shа
Привет! Подскажите, пожалуйста, как выполнить IO () перед тем, как приложение с servant закроется?
Cheese
servant как сервер?
Cheese
после завершения сервера?
Cheese
что-то типа финализации?
Mi Shа
Там, как мне кажется, loop. И мне нужно засейвить состояние, если сервер прекращает работу
Dmitry
обернуть в finally ?
Mi Shа
Что такое finally?
Cheese
да, если сервер по исключению завершается, состояние-то тоже надо сохранить
Mi Shа
Спасибо, пойду читать!
Cheese
но можно сразу в БД писать
Viacheslav
а только у меня stack таймауты начал выдавать?
Viacheslav
на hackage.fpcomplete.com
Alexander
я думаю сначала стоит уточнить, пользуется ли кто-то ещё hackage.fpcomplete.com?
Viacheslav
так, а чем нужно пользоваться?
Viacheslav
я с деревни просто, поставил stack он мне вроде опций не предлагал
Viacheslav
(но дело было в том, что почему-то ось сертификат перестала принимать, перезагрузка помогла)
Alexander
не знаю, нормальное место это hackage.haskell.org
Alexander
не в курсе что предлагает стек
Alexander
иногда у h.haskell.org бывает downtime но редко
Alexander
у меня есть Lens Foo (Maybe X) и Prism X Y и Y -> Z как мне все это скомпозить, чтобы из Foo получить Maybe Z?
Aleksei (astynax)
^? lens . _Just . prism . to f?
Aleksei (astynax)
что-то вроде такого
Aleksei (astynax)
Возможно потребуются ещё _Just :)
Alexander
ааа
Alexander
^? точно нужно, если у меня lens в Maybe уже?
Aleksei (astynax)
нужно для призмы
Aleksei (astynax)
имхо
Aleksei (astynax)
но это не точно
Leonid 🦇
Линзы слишком полиморфные. Ерунда всякая тайпчекается.
Alexander
@astynax спасибо!
Alexander
(не знаю пока работает или нет, но тайпчекается)
Aleksei (astynax)
Линзы слишком полиморфные. Ерунда всякая тайпчекается.
поэтому приходится явно аннотировать иногда. Но обычно в случае какого-нибудь глубокого травёрса
Leonid 🦇
Глубокий траверс by brazzers
Alexander
ненавижу когда примеры из документации не тайпчекаются
Leonid 🦇
Я думал в линзах сплошные доктесты
Alexander
это не про линзы
Alexander
уже
Alexander
jose выставляет линзовый апи, без нормального
Alexander
@astynax а если у меня есть prism :: Prism X A, foo :: A -> Maybe B, bar :: B -> C то как их скомпозить
Alexander
чтобы из X получить Maybe C
Alexander
^? prism . to(foo) . _Just . to(bar) ?
Alexander
взлетело
Leonid 🦇
скобки не красивые
Misha
а кто знает что значит вот такое
error: function-like macro 'MIN_VERSION_template_haskell' is not defined ?
гугл как-то не особо помогает
Misha
CPP добавлено
Leonid 🦇
а template-haskell то есть в зависимотсях?
Misha
а это хороший вопрос!
Misha
а template-haskell то есть в зависимотсях?
ага, спасибо, это я мощно протупил, его там просто не было
Dmitry
А есть смысл от Hyperthreading на AMD-шных процессорах? Я проверил где-то три своих проекта, если распараллеливать их на количество ядер, то это оказывается лучше, чем распраллеливать их на потоки. Думаю вообще Hyperthreading отключить, а то некоторые программы распраллеливаются на всю катушку и в результате работают медленнее. Как у вас?
Leonid 🦇
полезность HT зависит от паттернов использования кэша
Антон
Dmitry
Ну да, всё в память/кэш упирается.
Dmitry
По идее, HT должен выстреливать, если данных в кеше для загрузки потоков хватает
Dmitry
Вот только у меня куски данных где-то по 10Mb (изображения), да ещё и не линейные :(