Denis
надо или завтрак или ужин пропускать
Denis
больше 15 часов должно быть без еды вроде
Konstantin
микроголодания норм, только когда спишь
parket
А когда я про лисп спросил, возмущались, типа "у нас что, чатик по лиспу?"... микроголодания... 😂
Vitaly
Да вообще, оффтоперы
кана
голод - близкая каждому хаскелисту тема
кана
кроме @qnikst
Валерий
например? Для тех кто не смотрел
В хаскеле нет циклов, но иногда хочется стейт (для рекурсивного фиббоначи без оверхеда на перевычисления, например)
Поэтому смотрите как сделать фор:
...
кана
ну иногда хочется...
Валерий
Как бы это и так понятно, но когда ты привык к фору начинаешь видеть императивщину в чистых функциях
Валерий
То есть вместо того, чтобы понять что именно надо, некоторые пишут этот же код на С и компании, а потом переписывают по инструкции
Валерий
Она там есть
Валерий
Лично знаком с одной из жертв такого подхода
Cheese
саляришейминг
Валерий
То есть к одному и тому же решению проблемы с фиббоначи можно подойти с разных сторон и сделать правильно
Но если делать по той инструкции другие вещи (а это не сложно) получается говнокод даже там, где просто foldl' (\(a, b) -> f (a, b)) (0,"") data
Валерий
Выглядит примерно как исходники фолдов и мапов, но самописные и необобщённые
Нечитаемо
Alexander
Тут про события в Твиттере пишут, и тоже бы хотелось почитать, но как я туда не загляну, - ничего неясно, все перемешано.
Твиттер какой-то сложный. Сложнее Haskell.
Alexander
twitter самый ужасный вещь
Alexander
даже Фейсбук лучше
Alexander
жалко никто не пиарил жуйк в этом отношении он был лучше на порядок
Alexander
Про Жуйк я только знаю, что какой-то известный хаскеллист (я уже запамятовал за давностью) просматривал "Жуйк по тегу Haskell"
Denis
Ой, если добавить forall(нужен STV) в default type signature, то появляется ошибка об этом. А мне нужно захватить оттуда переменную, которая в type equality.
Denis
Что делать, чат?
Donat
жалко никто не пиарил жуйк в этом отношении он был лучше на порядок
разве твиттер только в плане ui плох?
Валерий
Как пример — нахождение номера элемента в списке
maybeHead $ dropWhile (not . check) $ zipWith [1..] lst
и
ind lst check = help 0 lst where
help i l = if l == [] then -1 else
if check (head l) then i else help (tail l)
Cheese
Ой, если добавить forall(нужен STV) в default type signature, то появляется ошибка об этом. А мне нужно захватить оттуда переменную, которая в type equality.
она случайно не захватывается неявно без forall?
Denis
Как пример — нахождение номера элемента в списке
maybeHead $ dropWhile (not . check) $ zipWith [1..] lst
и
ind lst check = help 0 lst where
help i l = if l == [] then -1 else
if check (head l) then i else help (tail l)
Я напоминаю что это учебный курс, стандартную библиотеку по понятным причинам там предполагается не использовать.
Валерий
Я напоминаю что это учебный курс, стандартную библиотеку по понятным причинам там предполагается не использовать.
Ну Prelude же никто не запрещает
A64m
Denis
она случайно не захватывается неявно без forall?
я пробовал менять имя переменной, ничего не изменилось
Cheese
я пробовал менять имя переменной, ничего не изменилось
можешь пример для воспроизведения опубликовать?
Denis
class GNothing (t :: *) where
nothing :: Proxy t -> t
default nothing :: forall a tt. (a Maybe ~ tt, Generic1 a) => Proxy tt -> tt
nothing _ = to1 $ gnothing (Proxy @a)
кана
Как пример — нахождение номера элемента в списке
maybeHead $ dropWhile (not . check) $ zipWith [1..] lst
и
ind lst check = help 0 lst where
help i l = if l == [] then -1 else
if check (head l) then i else help (tail l)
второй вариант выглядит лучше (по крайней мере валидный)
ind f = go 0 where
go _ [] = -1
go n (x:xs)
| f x = n
| otherwise = go (n + 1) xs
Denis
https://cdn-images-1.medium.com/max/455/1*snTXFElFuQLSFDnvZKJ6IA.png
Denis
а стоп, там только a должно быть под forall наверное
Denis
т.к. t из скоупа захватывается и должно быть одинаково для default и нет
Alexander
Denis
ну да, как всегда, стоит свой слабоумный код куда-нибудь показать, как сразу ошибку находишь
Denis
я не знаю как это работает, явно что-то в кровь выбрасывается, когда код кому-то показываешь
Vitaly
Про Жуйк я только знаю, что какой-то известный хаскеллист (я уже запамятовал за давностью) просматривал "Жуйк по тегу Haskell"
А вот Зефиров фамилию запомнил, судя по тому, что он на днях написал.
Alexander
разве твиттер только в плане ui плох?
там нулевой поиск и навигация и мало буков, это главное, наверное. Всякие jabber интерфейсы и прочее мелочи
Leonid 🦇
Валерий
второй вариант выглядит лучше (по крайней мере валидный)
ind f = go 0 where
go _ [] = -1
go n (x:xs)
| f x = n
| otherwise = go (n + 1) xs
С одной стороны да
С другой по
ind lst check = fst $ safeHead $ dropWhile (not . check) $ zipWith [1..] lst where
safeHead [] = (-1,"")
safeHead (x:[]) = x
легко быстро понять что происходит
Alexander
Валерий
Хотя тут я ошибся
Alexander
А вот Зефиров фамилию запомнил, судя по тому, что он на днях написал.
Загадочное сообщение :) Где, что написал Зефиров, чью он фамилию запомнил?
кана
С одной стороны да
С другой по
ind lst check = fst $ safeHead $ dropWhile (not . check) $ zipWith [1..] lst where
safeHead [] = (-1,"")
safeHead (x:[]) = x
легко быстро понять что происходит
= fromMaybe -1
. fmap fst
. maybeHead
. dropWhile (not . check)
. zip [1..]
Denis
Загадочное сообщение :) Где, что написал Зефиров, чью он фамилию запомнил?
я тоже не распарсил
Anatolii
@bravit111 запомнил Зефирова потому что тот что-то на днях написал?
Oleg
в Фейсбуке бесит его умность вообще ничего непонятно и неудобно и не найти снова
Жаль, Google + не взлетел. Там можно определять тематические субпотоки. Можно было бы подписаться на макбрайда без брекзита, брагилевского без кибербуллинга и т.п.
Vitaly
Ну, вы сами спросили https://twitter.com/sergueyz/status/968502223801069570?s=19
Alexander
Зефиров запомнил фамилию Брагилевского, судя потому, то последний на днях написал в Твиттер?
Alexander
О как :)
Валерий
Починил
кана
я не понимаю
Leonid 🦇
Alexander
https://thesz.livejournal.com/1502565.html
Alexander
для полноты
Vitaly
А, да, я извинения пропустил, только сейчас увидел
Alexander
Хм, что творится. Сначала оскорбляют, потом извиняются, а я даже не в курсе 😂
Vitaly
Хм, что творится. Сначала оскорбляют, потом извиняются, а я даже не в курсе 😂
А что это вообще? Где вы с ним пересеклись?
Alexander
С ним лично я, вроде как, нигде не пересекался. Я без понятия, на что он сагрился. Из Твиттера не ясно.
/Скандалы, интриги, расследования/
Vitaly
Прикольно
Vitaly
Я уже не знаю, может, это какой-то другой Александр Гранин?
Alexander
Расследование показало, что в DevDay "На функционале" был все-таки я, но оно не показало, что же такого я там сказал в адрес ФП, на что нужно было так реагировать.
Vitaly
Ну ладно, в большом мире вообще на гитхабе друг друга банят
Andrey
А Зефиров порадовал )
Andrey
Причем, дважды
Vitaly
Тяжело быть столько лет иконой Хаскеля
Andrey
Он привык носить тяжести
кана
так, а кто это? Вижу его упоминание впервые емнип
Alexander
Так Зефирова даже на Лурке косвенно упомянули
кана
чтобы находить косвенные ссылки, нужно знать объект
Vitaly
Можно почитать старые записи жж, он раньше много писал про Хаскель https://thesz.livejournal.com/