lufthansa

FRA->LED

MUN->FRA тоже было, но мне было лень за него платить, т.к. там лететь полчаса или меньше

я сделал первый в жизни коммит из самолёта

сделал бы PR но я там сам меинтейнер//

как заставить доктесты с new-build работать?

он cabal_macros.h найти не может

интересно оно когда-нить работало

там -isrc которого нет..

вероятно никак? я вообще так сразу не назову ни один тул который с ньюбилдом работает (ну понятно не считая тулов которым все равно компилируется что-то или нет)

hsc2hs, c2hs вроде работает

думаю, не все авторы тулов и знают о его существовании

не только тулов

отключить чтоли тест, все равно не особо полезный

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

возможно в стеке будет optional-packages кстати

надо быть большим любителем творчества Янга, или особо ярым снойманхейтером, чтоб что-то про него найти и узнать

и позиции стекодевов относительно backpack начали меняться

опциональные? может локальные?

локальные опциональные

как в ньюбилде

распаковал в директорию пакет - он добавился

@A64m_qb0 офигеть у меня работали доктесты в nixos

на new-build

вообще это адская смесь

а про такие зависимости они мне очень нужны и классные, чтобы можно было патчить зависимые пакеты или тестировать их

без изменения инфраструктурных файлов

о, на трависе тоже прошло, круто

все можно выкладывать пакет. и делать версию, к чертям ломающую все апи

@qnikst

Высоконагруженное приложение на хаскеле?

@qnikst @voidlizard

@qnikst @voidlizard

как там ваша книга?)

Высоконагруженное приложение на хаскеле?

всякие считалки достаточно высоконагруженные

типа там брутфорс с эвристиками

формулировать надо конкретнее короче :(

Ждите

Ждите

про йонеду и кана не будет?)

Нет конечно, кому эта лабуда нужна

Нет конечно, кому эта лабуда нужна

наверное Кметту

Он в курсе уже

а что кто меня хайлайтит?

там был спам

аа

народ, как из IO ByteString получить ByteString?

сбиндить

народ, как из IO ByteString получить ByteString?

никак

вытаскивать нельзя) только работать в монаде IO

unsafePerformIO...

лучше скажу, что хочу

unsafePerformIO...

плохому учишь? :)

прочитать файл, получить IO ByteString и напечатать полученный массив

плохому учишь? :)

Пусть лучше от нас узнает, чем от дядь в интернете)

прочитать файл, получить IO ByteString и напечатать полученный массив

Это всё можно сделать, находясь внутри IO. А там можно биндить промежуточные результаты

do content <- readFile ... -- делаем что-то с content print result

спасибо, ошибка была в том, что я сделал let content = readFile "file"

так тоже можно

но потом нужно делать foo <- content

и.к. в контент лежит не значение а функция для его получения

можно в принципе начать с понимания того как работают монады и во что превращается do-нотация

doSomething <$> readFile >>= print выглядит конечно страшнее, но по сути понятнее

именно по сути, после приобретения навыков лучше всетаки do-нотацию

Ждите

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

есть вроде только такое https://github.com/bravit/idris-cs-hse

есть вроде только такое https://github.com/bravit/idris-cs-hse

Не, этот курс не такой интересный, он читается для студентов, которым надо объяснять за функциональное программирование. Вот этот курс для тех, кому не надо азы объяснять. Но к нему домашек нет в публичном доступе. https://www.youtube.com/watch?v=o-7zhrUP3ds&list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI

Afaik часть из них из книги Брэди

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

да там всё как-то приватно раздавалось. Думаю Виталий расшарит как прочтёт

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

Шарю в индивидуальном порядке, если сообщите акк на гитхабе, но там действительно в основном из книжки Брейди.

Шарю в индивидуальном порядке, если сообщите акк на гитхабе, но там действительно в основном из книжки Брейди.

welf

Еще раз спасибо за лекции ))

Пожалуйста! На почту должно приглашение прийти

Окей, вы работодатель, хотите начать большой проект с нуля, стек - Haskell и все с ним связанное. В проекте ожидаются типичные бэкенд, фронтенд, сервисы, может быть, мобилки. Ваш запас средств позволяет нанять трех разработчиков уровня senior/lead зна европейскую зарплату на год. К вам приходят совершенно разные хаскеллисты. Каких возьмете, каких отсеете, какие вопросы задавать будете, какие критерии возьмете на вооружение?

Если у работодателя нет человека, который сам выстроит процесс на некотором стеке, не нужно смотреть на этот стек. Просто так нанимать людей в режиме "мол все сеньоры, чай договорятся сами", на мой взгляд, странновато

Если у работодателя есть человек, которому первый может доверить постановку процесса, то проект надо делать на том, что этот будущий постановщик выберет. Это может быть Haskell, а может и не быть. Но цель у бизнеса ведь не в трудоустройстве хаскелистов?

Можете не нанимать сеньоров, если хотите. Сказано только про бюджеты, но не про необходимость

Цель у бизнеса обычная - заработать

Это не выдуманный кейс, если что.

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

> вы работодатель, хотите начать большой проект с нуля, стек - Haskell и все с ним связанное. работодатель не имеет хаскелистов, которым может доверить начинание проекта, но при этом выбирает Haskell в качестве стека?

Правда, я не знаю, чем там у них дело кончилось