таким, что jvm-язык шейпится под нужды людей, использующих эту инфраструктуру, то есть, по сути, нужна совместимость с джавой

не объясняет существования десятков ML языков не на jvm

показать, как в го указатель на функцию\метод работает, или что?

показать, как функционально реализовать fold-операцию, и показать, где у нас тут иммутабельные типы

не объясняет существования десятков ML языков не на jvm

ML языки на JVM особо и не нужны

показать, как функционально реализовать fold-операцию, и показать, где у нас тут иммутабельные типы

ну оно будет выглядеть не менее ублюдочно, чем max(), но работать будет

ну оно будет выглядеть не менее ублюдочно, чем max(), но работать будет

без сайд эффектов напишешь?

так-то да, без дженериков его писать тоскливо. но можно руками специализировать для всех типов

без сайд эффектов напишешь?

tco завезли? если да, то напишу

tco завезли? если да, то напишу

его в питоне тоже нет, но питону это не мешает ФП реализовывать

ну и потом, иммутабельности-то все равно нет

ну так в питоне тоже нет

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

ну так в питоне тоже нет

в питоне есть

где?

где?

tuple, frozenset

вот жалко что канал холивар заняли арабы

вас бы туда сослать

tuple, frozenset

если это единственное препятствие на пути в фп, то это можно запилить

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

вот жалко что канал холивар заняли арабы

ну я понимаю почему апологеты фп вечно в чатах спорят, но вы-то чо с ними полемизируете ? у вас работа должна быть

если это единственное препятствие на пути в фп, то это можно запилить

генераторы бы или tco

скала получится же

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

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

С++ !

фп по ходу это всего одна вещь - функции как первоклассные значения

голанг вроде позволяет

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

затем, что крайне сложно писать серьезные распределенные программы не на фп-языках

лол

а у го, вроде как, ставка как раз на распределенность

/me смеется на Erlang

ну да, эрланг, скала, все такое

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

они сложные, но на них многое удобнее

а Erlang - хрестоматийный пример

ну вообще-то Erlang *проще*, чем го

они сложные, но на них многое удобнее

В скале frm прям понравился

может быть, затруднения будут на behaviours

ну вообще-то Erlang *проще*, чем го

*примитивнее

но недолго

ну вообще-то Erlang *проще*, чем го

потому что там все иммутабельно по дефолту? :)

и нет проблем с указателями?

пока питонисты без нормальных блочных скоупов считают что туплы им чтото дают, жс господа смогли пережить 2010 год и пойти дальше https://jamie.build/const

потому что там все иммутабельно по дефолту? :)

нет

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

@banofbot

пока питонисты без нормальных блочных скоупов считают что туплы им чтото дают, жс господа смогли пережить 2010 год и пойти дальше https://jamie.build/const

в питоне нормальные блочные скоупы - это with

иди в другой чат

вполне себе может

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

в питоне нормальные блочные скоупы - это with

забодаешься строить все на контекстах

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

точно. а ты?

забодаешься строить все на контекстах

смотря что надо будет

точно. а ты?

хз, но точно знаю что гоу не может даже в 10% фп абстракций и фич

хз, но точно знаю что гоу не может даже в 10% фп абстракций и фич

как я уже написал, фп - это всего одна "абстракция"

остальное - парадигмы

фп по ходу это всего одна вещь - функции как первоклассные значения

если бы так было, голанг был бы самым что ни на есть ФП языком

святолисп например не имеет ни одной жестко заданной фичи из фп, там только s-expressions

как я уже написал, фп - это всего одна "абстракция"

поэтому я и уточнил "ФП в современных реалиях"

тем не менее, считается fp

С++ !

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

поэтому я и уточнил "ФП в современных реалиях"

чем lisp (да продлятся дни его) тебе не современнен?

тем не менее, считается fp

кем считается?

кем считается?

ну например википедией и еще рядом ресурсов

чем lisp (да продлятся дни его) тебе не современнен?

где я говорил что лисп не современный? вполне себе котирую кложу (правда сам не сварщик)

ну например википедией и еще рядом ресурсов

а ну яснопонятно

прям так и пишут "поддерживает фп-парадигму"

ну как запилите монад-трансформеры на go - пишите

хотя бы их*

а ну яснопонятно

а тебе справку из муниципалитета надо, или что?

ну как запилите монад-трансформеры на go - пишите

это вообще-то относится к системе типов. монады ты можешь и на java запилить

это вообще-то относится к системе типов. монады ты можешь и на java запилить

монады неотъемлемая часть фп так то

лол

давно?

кстати, знал одного персонажа, который запилил целую СТАТЬЮ в golang weekly про реализацию монад на голанге

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

продуктивный тип был, только личной жизни никакой не было

продуктивный тип был, только личной жизни никакой не было

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

не дает, если по хорошему

так то и на пыхе можно попытаться обмазаться всем этим, но зачем страдать?

что-то можно запилить, но полной реализации никогда не получится

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

с каких пор он стал бай дефолт?

почему не ocaml?

почему не prolog?

почему не cl, в конце концов?

почему не F#, почему не Scala - так можно продолжать вечно

F# - это Ocaml ваще-то

наверное потому что хаскель сообщество самое активное в этом разрезе

у них на каждой конференции доклады в духе "как я заюзал фри монады и трава стала зеленее, волосы снова стали расти и т.д."

это ты просто на него чаще смотришь, чем на все остальные

продуктивный тип был, только личной жизни никакой не было

Потому что идеологически Го против бесполезных абстракций и монадирующих программистов

кастомный оператор равенства - это бесполезная абстракция?

это ты просто на него чаще смотришь, чем на все остальные

таки нет, я вообще скалист

я знаю

F# - это Ocaml ваще-то

и близко не стоял

Потому что идеологически Го против бесполезных абстракций и монадирующих программистов

бесполезные с точки зрения кого?

кастомный оператор равенства - это бесполезная абстракция?

Это способ так неудобно выразить сеттер, чтобы его никто неотличил от присваивания

если дядя не мжет понять зачем нужны всякие фп-асбтракции - то это он бесполезный, а не они

бесполезные с точки зрения кого?

монада - костыль, который хоть как-то оправдан только в ФП ввиду его оторванности от реального мира

монада - костыль, который хоть как-то оправдан только в ФП ввиду его оторванности от реального мира

вы точно в курсе того, о чем говорите?

и близко не стоял

щас может быть, т.к. платформа развилась оче сильно. в своем начале это был порт ocaml на .net