Alexander
я скинула исходный код
это не исходный код. Это формулировка задачи.
Andrey
не, мне просто жалко если скоро кончится
kannie
ну ок, формулировк задачи
Alexander
люди не хотят писать все решение сразу, им хочется чтобы было продемонстрировано то, что задачу пытались решать
Andrey
Александр пишет через линзы? )
kannie
больше нет просто ничего . я хотела понять как работает currying anf partical application
Alexander
тогда можно будет указать что не так и где ошибка
kannie
я написала как я думаю. ч не знаю как по другому решить
Alexander
это немецкий
Alexander
@anawitu у тебя эта контрольная прямо сейчас идёт или нету ограничения во времени?
kannie
@anawitu у тебя эта контрольная прямо сейчас идёт или нету ограничения во времени?
у меня завтра контрольная. это настоящие задания с прошлого года .
Alexander
отлично
Alexander
тогда можно начать с задачи 1.
Alexander
что такое tail recursion известно?
Alexander
https://wiki.haskell.org/Tail_recursion <- если нет то ответ тут, можно читать, и задавать вопросы
Andrey
злые вы (С) 😂
Alexander
после этого можно будет решать задачу, там чтения на ~(3-5) минут, очень глубоко читать не обязательно
Alexander
ну вот обидели человека..
Andrey
тебя? )))) кстати, есть сайт (и наверное не один), где подобные халявщики в изобилии постят темы с требованием решить, безоя всяких собственных попыток. И находится достаточно желающих это сделать. Я вот только каждый раз удивляюсь - ну по плюсам то ладно, а по Хаскелю где дают заддания, да еще такие тривиальные, да еще таким немотивированным мягко говоря студентам?
Alexander
не, человека с ником Nastja
Andrey
а что обидели - ты же тоже решение на блюдечке не написал ) зато уже 667, осталось мне выйти для ровного счета )
Alexander
@cblp_su киберчто-то там
Alexander
какой-то форум
Зигохистоморфный
anzahlzutat (голосом злого немца)
Andrey
тайль рекурсьён, мсье!
Cheese
какой-то форум
в «Симпсонах» тоже такая шутка была: «мы не будем называть её имя, скажем только Л. Симпсон. Ой, простите, Лиза С.»
Leonid 🦇
Вообще они даже денег предлагают на фрилансерских сайтах
Cheese
за деньги хотя бы не обидно
Alexander
Хаскельное сообщество отзывчиво, говорили они...
Leonid 🦇
Студенты должны страдать. Вот сегодня пришлось пить чай на морозе потому что студенты заняли всю кафешку и сидели там с пустыми чашками! Бездельники!
Andrey
Подсел бы к ним
Зигохистоморфный
Подсел бы к ним
подлил им чайку и спросил как жизнь
Leonid 🦇
И закурил беломор
Alexander
обсудил новый ИТМОшный ролик
Alexander
бы
Kirill
обсудил новый ИТМОшный ролик
А что за ролик? (Я из ИТМО, интересно стало)
Leonid 🦇
Позор и днище
Leonid 🦇
Язабан
Крылатый
Блевать тянет с обоих крайностей.
Крылатый
Почему бы просто нормально не жить.
Alexander
все кто поинтересовался линк запомнили?
Kirill
Позор и днище
Позор и днище за реализацию в том числе. Мало того что выставили студентов гопниками, так еще и сделали халтурно
Leonid 🦇
Потому что нормально жить хотят не только цис-гендерные белые мужики
Kirill
Хотя, справедливости ради, для ЦА эти мисс и мистеров как раз ролик
Leonid 🦇
В ИТМО Хаскель преподают
Alexander
сейчас в приват придёт
Vitaly
Да уж
Алдар
И мне
Alexander
https://vk.com/video-76139618_456239332
Alexander
в общем вот, только давайте срач не устраивать тут
Alexander
там ещё + немного текста и описание было
Зигохистоморфный
https://github.com/dbousamra/hnes
Нурлан
Ребят, я что-то давно не писал на haskell и подзабыл, как сделать такое: a <- Maybe Integer b <- Maybe Integer return c * a - b
Нурлан
haskell ругается что не может (с::Integer) перемножить с Maybe Integer
Нурлан
это в do нотации
Зигохистоморфный
Зигохистоморфный
ну или скобки)
Нурлан
Блин, сработало!
Нурлан
фейспалм
Нурлан
спасибо!!!
Зигохистоморфный
=)
Alexander
@catamorphism ты чего не предупредил своих ребят, что в Питере кложатролли живут?
Denis
Да взрослые все мужики, сдюжат
кана
backpack выглядит очень клево, сразу кажется, что можно убрать несколько тайп-семейств уже в каком-нибудь megaparsec
кана
можно же поставить cabal рядом со стаком?
кана
ну то есть понятно, что стак и так от кабала(-инстал) зависит, вопрос достаточно абстрактный - есть ли вообще какие-то подводные камни?
кана
ВНЕЗАПНО join нет в определении монад
кана
через него мне куда удобнее определять, я думал там типа есть x >>= f = join . fmap f $ x
A64m
ВНЕЗАПНО join нет в определении монад
это из-за ограниченности Coercible, если бы в Monad был join (а это планировалось) то GND для монад не работал бы
кана
instance {-# OVERLAPS #-} (Monad m, Monoid a) => Monoid (m a) where mempty = pure mempty mappend = liftA2 mappend такого инстанса тоже нет для оптимизаций каких-нибудь? Там можно на Applicative заменить
Алексей
Перекрывается с instance Monoid [a]