Alexander
Спасибо.
parket
Не взрывает стек, за счет оборачивания в цикл
Антон
— | A _trampoline_ monad, which can be used at the bottom of
— | a monad transformer stack to avoid stack overflows in large
— | monadic computations.
Alexander
Приятно, что можно не лазить самому по ссылкам и в гугль :)
Alexander
the essence of the Haskell community
Alexander
Если бы! Вообще-то, мне знакомые жалуются, что хаскельное сообщество токсично.
Антон
Приятно, что можно не лазить самому по ссылкам и в гугль :)
Я просто скопировал doc-комментарий :/
Антон
Если бы! Вообще-то, мне знакомые жалуются, что хаскельное сообщество токсично.
И есть за что: полно тех, кто считает, что все программисты на Haskell должны знать теоркат
Антон
А те, кто не знают — недостойны того, чтобы до них снисходить
Alexander
Alexander
Упс.
Увы, да, но выше @qnikst уже спросил, где эти самые люди.
Alexander
очень часто приходят сразу с непонятными шаблонами наездами и т.п., зачастую неясно где непонимание, а где троллинг
Alexander
а тролли не tolerated
Зигохистоморфный
а тем временем Фриман запилил расширяемые эффекты через Day Convolution (comonads) https://github.com/paf31/purescript-smash
Leonid 🦇
гофера спросят "а чё такое говно язык?" а они сразу - токсично
Alexander
Консерны у человека были еще о том, что, мол, хаскеллисты на зигохистоморфных препромоморфизмах зациклены, и что многие беседы - это что-то заумное ради самой зауми. Чувак, кстати, попробовал Хаскель немного.
Leonid 🦇
это он просто отмазывался так
Зигохистоморфный
Leonid 🦇
обычно люди с хаскелем завязывают не раздуплив базовый синтаксис
Leonid 🦇
мол нет {} и функции вызывают без ()
Leonid 🦇
а уже паттерн матчинг это вообще стрёмно
Зигохистоморфный
обычно люди с хаскелем завязывают не раздуплив базовый синтаксис
это очень слабые какие-то люди
Leonid 🦇
вот это токсично было
Aragaer
в птоне нет {}, а в перле без ()
Aragaer
что не мешает
Евгений
И паттерн-матчинг много где
Leonid 🦇
про питон нытьё про оступы на всех каналах связи
Антон
Кроме Rust
Leonid 🦇
Rust мейнстрим /0
Leonid 🦇
раст тоже никто не осиливает
Anonymous
Замечательный, в целом, паттернматчинг
Alexander
В плюсы, вроде, хотят добавить.
Leonid 🦇
и вообще, какая разница о какой зауми говорят какие-то хаскелисты?
PsyDebug
Ды чего вы, ведь прям на конфе последней Волков на докладе примерно так и сказал, что без теорката ты не человек
Антон
Замечательный, в целом, паттернматчинг
Больно многословный. Во всяком случае, с типами суммами возьни много
Alexander
Destructuring (ограниченный кортежами) != pattern matching
Это общепринятое знание? А то если буквоедством заниматься, то одно в другое входит
Leonid 🦇
1. Группа людей объеденненная по признаку "хаскелист" не является сообществом
2. Какая разница о чём они там говорят и пишут
3. Я смог в хаскель, значит каждый может.
Антон
Это общепринятое знание? А то если буквоедством заниматься, то одно в другое входит
Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга
Alexander
Ды чего вы, ведь прям на конфе последней Волков на докладе примерно так и сказал, что без теорката ты не человек
Если не ошибаюсь, всякое такое можно было от некоего Сохацкого услышать.
Alexander
Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга
Так я и сказал, что "зачаточный"
PsyDebug
Если не ошибаюсь, всякое такое можно было от некоего Сохацкого услышать.
Ну это вообще отдельный персонаж относительно всего
Alexander
Как бы то ни было, со стороны эти персонажи более видны
Alexander
Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга
Списков еще, кстати.
Alexander
Гм, могу ошибаться, но и словарей вроде тоже... или нет?
A64m
обидно, конечно, что у такого удивительно разумного по нынешним временам язаыка как пурскрипт такая карикатурно убогая имплементация с костылением базовых фп вещей
Alexey
если деструктуризация - это pattern matching, то тогда pattern matching есть и в ES6, что было бы уже перебором
A64m
деструктуризация - это ПМ
Alexander
A64m
иначе получается, что ПМ не отец Конора МакБрайда изобрел
Антон
A64m
ну это-то понятно
Alexander
Ленивости нету
A64m
это плохо, но тут у автора никакого выбора, язык без своего рантайма ленивым не сделать
Alexander
Саймона нашего Пейтона Джонса нету
Антон
Саймона Петона-Джонса на вас нет!
A64m
ну хоть как-то ФП оптимизировать не только в ghc пытались
A64m
если деструктуризация - это pattern matching, то тогда pattern matching есть и в ES6, что было бы уже перебором
ну и если АлгТД нет, то кроме туплов и матчить нечего
Alexey
Их можно симулировать в JS так же, как симулируются туплы
Alexey
точнее, енумы можно. Насчет алгТД не знаю.
Alexander
(a, b, c) = (1, 2, 3)
a, b, *rest = [1, 2, 3, 4]
John
Это скорее сахарок для бедных, какой уж тут паттерн-матчинг
Alexey
Вот, вот, и я о чем.
const [ a, b ] = [ 1, 2 ];
const { c, d } = { c: 3, d: 4 };
Тут тоже паттерн матчинг где-то завалялся?
Alexander
Это скорее сахарок для бедных, какой уж тут паттерн-матчинг
Так и есть. Но питонисты очень гордятся!
Зигохистоморфный
(a, b, c) = (1, 2, 3)
a, b, *rest = [1, 2, 3, 4]
js
const {a, b, c, d: e = 50} = {a: 10, b: 20, c: 30}
const [x,y,...rest] = [1,2,3,4,5,6,7]
Alexey
А, кстати, в питоне можно совместить деструктуринг и слайсы?