A64m
там просто единственный автор годами что-то в стол пишет, потом после этого самого многолетнего перерыва - бабах - новые ветки появляются
Anatolii
а там какие-то изменения будут после которых перестанет собираться половину либ?
Anatolii
релиз без фитч же
Anatolii
ну дырки умные умные
Anatolii
:)
Anatolii
но боюсь чтобы там что-то не поломали
A64m
до заморозки 8.6 неделя, с фичами дела обстоят сейчас так:
вмерджены 4 микрофичи
литералы с подчеркиваниями
блоки кода передаваемые в функции без скобок
@ в паттерн-синонимах
вайлдкарты в стендалон дерайвингах
приняты комитетом и имплементированы, но пока не вмерджены две немикрофичи
QuantifiedConstraints https://phabricator.haskell.org/D4724
DerivingVia https://phabricator.haskell.org/D4684
вынесены на рассмотрение комитета и имплементированы две фичи
или-паттерны https://github.com/ghc-proposals/ghc-proposals/pull/43
читатель все никак не соберется прочитать
лин.типы - читатель и не собирается читать до начала заморозки
приняты комитетом но не имплементированы
ньютайпы для анлифтед типов, массивы анлифтед типов и анбоксед типы величиной не со слово
недоимплементированы и не на рассмотрении комитета - мутабельные объекты.
таким образом пока есть надежда на второй релиз (почти) без фич, но ведь две нормальные фичи могут и успеть сделать
A64m
только вместо "до заморозки неделя", "до заморозки один день"
A64m
Anatolii
товарищи, а как вот эта фича называется в хаскеле чтобы посмотреть примеры и почитать можно было поподробнее
pattern a :- b = (a, b)
Anatolii
а то гугление по слову pattern приводит к паттерн матчингу
IC
Anatolii
спасиб, не мог вспомнить
Timofey
Я вот прям заинтересовался "или-паттернами"
Timofey
какова вероятность, что их рано или поздно вмержат, как вы думаете?
Denis
высокая, им сто лет в обед(в других языках)
Timofey
Это радует
A64m
какова вероятность, что их рано или поздно вмержат, как вы думаете?
зависит от того, сколько еще автор пропозала сможет вынести боли и унижений
Евгений
зависит от того, сколько еще автор пропозала сможет вынести боли и унижений
А есть какая-то граница?
A64m
всегда есть
Евгений
*скучный спор об антиномии конечного и бесконечного был здесь*
A64m
а то гугление по слову pattern приводит к паттерн матчингу
поиском по оглавлению гхц-мануала зато легко находится
Ю ли я? 🤔
хотеть unfoldr, который даёт только бесконечные списки это то же самое, что хотеть foldr, который принимает только бесконечные списки (т.е. ему не нужен второй аргумент)
А хотеть fold, который принимает только непустые?
Alexander
изобрести свой который будет обёрткой и не надо заворачивать в Maybe достаточно просто
Ю ли я? 🤔
Ну понимаю, но небазовую тоже хочется
Alexander
отсутствие его в стандартной либе не странно
Alexander
PL на \f x -> unfoldr (pure f) x
Alexander
натрави
Alexander
pure . f
Alexander
видимо никому сильно не пригодилась
Ilya
А хотеть fold, который принимает только непустые?
тип такого foldr по-хорошему должен быть (a -> b -> b) -> (a -> b) -> [a] -> b
Ilya
тип такого foldr по-хорошему должен быть (a -> b -> b) -> (a -> b) -> [a] -> b
^ только вместо [a] тут надо вставить тип "непустой список"
Ю ли я? 🤔
Да нет, он скорее риторический
Ilya
Ага. Он недостаточно неалгебраичный?
foldr1 :: (a -> a -> a) -> [a] -> a не алгебраичен в смысле свёртки для непустого списка
правильный foldr для непустого списка это (a -> b -> b) -> (a -> b) -> [a] -> b
Антон
зависит от того, сколько еще автор пропозала сможет вынести боли и унижений
А что, его ещё и унижают? Это зело полезная вещь
A64m
А что, его ещё и унижают? Это зело полезная вещь
конечно, почитайте комментарии начиная вот с этого https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-370136509
Anton
Всем Привет. Почему Haskell?
Anton
ну не rust же, </troll> или, прости господи, C++
Давайте подробно. Rust как вполне хорошая замена C/C++. Учу его сейчас. Очень гуд. Понравилось, что нет GC
Anton
а если серьёзно, то в честь Haskell Curry
Лучше просто дай ссылку на статью, где описываются плюсы Haskell
Антон
Более того, в честь него ещё один ЯП назвали. Отгадай, как он называется
Anton
😟
A64m
плюсы хаскеля: есть гц
A64m
йес
Cheese
есть алгоритм с 5 переменными. на каждом шаге любая из них может измениться, в том числе все сразу. как идиоматично такое писать — рекурсия с 5 аргументами, State c 5-кортежем (и линзами), ST?
кана
Зигохистоморфный
Cheese
в хаскеле тип для внутренностей одной функции как-то чуждо смотрится
Антон
в хаскеле тип для внутренностей одной функции как-то чуждо смотрится
Значит, пятиместный кортеж
кана
можно просто линзы _1/_2/_3 проименовать в говорящие имена
f :: State (Int, Int, Int) ()
f = do
a += 1
b *= 2
c -= 3
where
(a, b, c) = (_1, _2, _3)
Cheese
Ilya
Давайте подробно. Rust как вполне хорошая замена C/C++. Учу его сейчас. Очень гуд. Понравилось, что нет GC
> Rust как вполне хорошая замена C/C++. Учу его сейчас.
> Bio: Rust Core Team
Cheese
по крайней мере один из них врёт
Антон
Alexander
про то, что в Haskell в отличии от rust есть GC уже написали?
Alexander
а то лень читать выше
A64m
плюсы хаскеля: есть гц
Alexander
а ну хорошо
Anton
> Rust как вполне хорошая замена C/C++. Учу его сейчас.
> Bio: Rust Core Team
никакой Язык Программирования нельзя выучить полностью, если ты, конечно, не забился на нем и только нем, но тогда ты и сам изменишься.
Anton
про то, что в Haskell в отличии от rust есть GC уже написали?
Зачем в языках системного уровня GC?
Alexander
или микроконтроллеры?
A64m
зачем языки "системного уровня" в 99.98% задач?