Да нормальная, конечно. Сильно упрощает условия

https://2ch.hk/pr/src/1063552/15057411462320.png

Согласен, кстати. Питон - поделие двоечника. Кривой со всех сторон.

ну а серьезно вполне нормальная же конструкция, мне на хаскелле приходилось с continuations делать похожее, только в десять раз замороченнее

А MonadRec в Haskell нету разве? Чтобы не делать в десять раз замороченнее.

Посмотрел в Hoogle краем глаза, не нашел, гм

А MonadRec в Haskell нету разве? Чтобы не делать в десять раз замороченнее.

MonadFix

MonadFix

Не совсем, на самом деле.

Не совсем, на самом деле.

ну опиши что хош

Да, сконструировать я могу вручную. Полагаю, даже с помощью MonadFix. Но будет ли это то же самое?

Да, сконструировать я могу вручную. Полагаю, даже с помощью MonadFix. Но будет ли это то же самое?

опиши что надо

А что значит "неструктурно"?

опиши что надо

https://pursuit.purescript.org/packages/purescript-tailrec/3.3.0/docs/Control.Monad.Rec.Class#t:MonadRec Здесь явно выражен шаг и условие завершения. Монада для хвостовой рекурсии.

А что значит "неструктурно"?

В структурном программировании есть теорема: любой алгоритм можно записать без безусловных переходов (goto, break, continue и т.п.). Вот они и требуют так писать.

О боже, это ж...

https://pursuit.purescript.org/packages/purescript-tailrec/3.3.0/docs/Control.Monad.Rec.Class#t:MonadRec Здесь явно выражен шаг и условие завершения. Монада для хвостовой рекурсии.

а зачем это ленивому языку?

а зачем это ленивому языку?

Хвостовая рекурсия зачем? Или способ не городить дикие костыли, если хочется прервать вычисление?

А пурскрипт и не ленивый

Хвостовая рекурсия зачем? Или способ не городить дикие костыли, если хочется прервать вычисление?

ну наверное потому что хаскелл сам оптимизирует хвостовые рекурсии на уровне компилятора?

в пурсе оно чтоб стэк не взрывался

в пурсе оно чтоб стэк не взрывался

того что жс и все такое

ну наверное потому что хаскелл сам оптимизирует хвостовые рекурсии на уровне компилятора?

Так не всякая рекурсия хвостовая. А если напишешь вот в этой монаде, - будет

Так не всякая рекурсия хвостовая. А если напишешь вот в этой монаде, - будет

странный ты

Ну я могу ошибаться. Поправь, полезно

Ну, дык, на трамплин ее, раз хвостовая, и нет оптимизации.

Я, к сожалению, не знаком с этой концепцией :(

Я, к сожалению, не знаком с этой концепцией :(

в том же пурсе

Я, к сожалению, не знаком с этой концепцией :(

https://github.com/purescript/purescript-free/blob/master/src/Control/Monad/Trampoline.purs

Я видел, что оно там лежит. Я просто не знаю, что оно делает

Я видел, что оно там лежит. Я просто не знаю, что оно делает

ну тут почитай секцию "Coroutine Pipelines" https://themonadreader.files.wordpress.com/2011/10/issue19.pdf

Спасибо.

Не взрывает стек, за счет оборачивания в цикл

— | A _trampoline_ monad, which can be used at the bottom of — | a monad transformer stack to avoid stack overflows in large — | monadic computations.

Приятно, что можно не лазить самому по ссылкам и в гугль :)

the essence of the Haskell community

Если бы! Вообще-то, мне знакомые жалуются, что хаскельное сообщество токсично.

Приятно, что можно не лазить самому по ссылкам и в гугль :)

Я просто скопировал doc-комментарий :/

Если бы! Вообще-то, мне знакомые жалуются, что хаскельное сообщество токсично.

И есть за что: полно тех, кто считает, что все программисты на Haskell должны знать теоркат

А те, кто не знают — недостойны того, чтобы до них снисходить

И есть за что: полно тех, кто считает, что все программисты на Haskell должны знать теоркат

Увы, да. Но выше @Вер

Упс. Увы, да, но выше @qnikst уже спросил, где эти самые люди.

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

а тролли не tolerated

а тем временем Фриман запилил расширяемые эффекты через Day Convolution (comonads) https://github.com/paf31/purescript-smash

гофера спросят "а чё такое говно язык?" а они сразу - токсично

Консерны у человека были еще о том, что, мол, хаскеллисты на зигохистоморфных препромоморфизмах зациклены, и что многие беседы - это что-то заумное ради самой зауми. Чувак, кстати, попробовал Хаскель немного.

это он просто отмазывался так

Консерны у человека были еще о том, что, мол, хаскеллисты на зигохистоморфных препромоморфизмах зациклены, и что многие беседы - это что-то заумное ради самой зауми. Чувак, кстати, попробовал Хаскель немного.

:D никто на мне не зациклен)

обычно люди с хаскелем завязывают не раздуплив базовый синтаксис

мол нет {} и функции вызывают без ()

а уже паттерн матчинг это вообще стрёмно

обычно люди с хаскелем завязывают не раздуплив базовый синтаксис

это очень слабые какие-то люди

вот это токсично было

в птоне нет {}, а в перле без ()

что не мешает

И паттерн-матчинг много где

про питон нытьё про оступы на всех каналах связи

И паттерн-матчинг много где

Где в мейнстриме паттер-матчинг?

Кроме Rust

Кроме Rust

Эрл

Rust мейнстрим /0

Эрл

Он там вроде угрёбищный

Где в мейнстриме паттер-матчинг?

В Питоне есть. Зачаточный

раст тоже никто не осиливает

Rust мейнстрим /0

Уж и пошутить нельзя

В Питоне есть. Зачаточный

В скале есть

Замечательный, в целом, паттернматчинг

Уж и пошутить нельзя

нельзя. мы мрачные токсичные хаскелисты

В плюсы, вроде, хотят добавить.

ERROR: S client not available

В Питоне есть. Зачаточный

Destructuring (ограниченный кортежами) != pattern matching

нельзя. мы мрачные токсичные хаскелисты

А как же милые яойные хаскелль-трапики?

и вообще, какая разница о какой зауми говорят какие-то хаскелисты?

Ды чего вы, ведь прям на конфе последней Волков на докладе примерно так и сказал, что без теорката ты не человек

Замечательный, в целом, паттернматчинг

Больно многословный. Во всяком случае, с типами суммами возьни много

А как же милые яойные хаскелль-трапики?

А такие есть?

Destructuring (ограниченный кортежами) != pattern matching

Это общепринятое знание? А то если буквоедством заниматься, то одно в другое входит

1. Группа людей объеденненная по признаку "хаскелист" не является сообществом 2. Какая разница о чём они там говорят и пишут 3. Я смог в хаскель, значит каждый может.

Это общепринятое знание? А то если буквоедством заниматься, то одно в другое входит

Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга

Ды чего вы, ведь прям на конфе последней Волков на докладе примерно так и сказал, что без теорката ты не человек

Если не ошибаюсь, всякое такое можно было от некоего Сохацкого услышать.

Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга

Так я и сказал, что "зачаточный"

Если не ошибаюсь, всякое такое можно было от некоего Сохацкого услышать.

Ну это вообще отдельный персонаж относительно всего

Как бы то ни было, со стороны эти персонажи более видны

Вполне. Деструктуризация кортежей — всё, что есть в питоне от паттерн-матчинга

Списков еще, кстати.

Гм, могу ошибаться, но и словарей вроде тоже... или нет?

обидно, конечно, что у такого удивительно разумного по нынешним временам язаыка как пурскрипт такая карикатурно убогая имплементация с костылением базовых фп вещей

если деструктуризация - это pattern matching, то тогда pattern matching есть и в ES6, что было бы уже перебором

деструктуризация - это ПМ

обидно, конечно, что у такого удивительно разумного по нынешним временам язаыка как пурскрипт такая карикатурно убогая имплементация с костылением базовых фп вещей

А почему обидно? Работает, и ладно, не?

иначе получается, что ПМ не отец Конора МакБрайда изобрел

А почему обидно? Работает, и ладно, не?

нет, не ладно

обидно, конечно, что у такого удивительно разумного по нынешним временам язаыка как пурскрипт такая карикатурно убогая имплементация с костылением базовых фп вещей

А что там не так?

А что там не так?

ничего не оптимизируется

А что там не так?

Ну, в либах там сплошные unsafeCoerce и reinterpret_cast а-ля PS-JS-PS

ну это-то понятно

Ленивости нету

это плохо, но тут у автора никакого выбора, язык без своего рантайма ленивым не сделать

Саймона нашего Пейтона Джонса нету

Саймона Петона-Джонса на вас нет!

ну хоть как-то ФП оптимизировать не только в ghc пытались

если деструктуризация - это pattern matching, то тогда pattern matching есть и в ES6, что было бы уже перебором

ну и если АлгТД нет, то кроме туплов и матчить нечего

Их можно симулировать в JS так же, как симулируются туплы