Vasily
Норм тулинг, что вы начинаете
Ayrat
Взять тот же кэш, непонятно как простейшее кеширование реализовать в парадигме фп
Пересоздавать каждый раз дикшинари? А память?
Ну и так далее
Если не упарываться тотальностью и чистотой, то ничего сложного)
Упарываться не надо.
Andrew
Doge
Взять тот же кэш, непонятно как простейшее кеширование реализовать в парадигме фп
Пересоздавать каждый раз дикшинари? А память?
Ну и так далее
Надо просто объяснять, что ФП не про отсутствие эффектов как таковых, а про их контроль и ссылочную прозрачность.
Ayrat
Надо просто объяснять, что ФП не про отсутствие эффектов как таковых, а про их контроль и ссылочную прозрачность.
кстати, да. есть хорошие языки которые эффекты выделяют в типы
Doge
кстати, да. есть хорошие языки которые эффекты выделяют в типы
При должном желании, как минимум, частичного контроля за эффектами и той же ссылочной прозрачности можно почти везде добиться, вопрос в том насколько удобно будет.
Ayrat
При должном желании, как минимум, частичного контроля за эффектами и той же ссылочной прозрачности можно почти везде добиться, вопрос в том насколько удобно будет.
https://granule-project.github.io/granule.html
Ayrat
Забавный язык, ясно дело не продакшн, а рисерча ради
Ayrat
Granule, a functional programming language based on the linear λ-calculus augmented with graded modal types, inspired by the coeffect-effect calculus of Gaboardi et al..
Doge
Забавный язык, ясно дело не продакшн, а рисерча ради
Из относительно практичного есть purescript, в котором любопытно на row-полиморфизме гранулярные эффекты добавили
Ayrat
Видел в хаскель хотят линейные типы впилить, но не градуал, а дуальные. Одноразовый тип и многоразовый тип
Ayrat
Гранула позволяет делать тип, который используется n раз
Ayrat
Когда-нибудь это все из коробки будет работать в мейнстрим языках, как сейчас тайп чекинг базовый. Лет через 10.
Andrew
А что значит "прозрачность ссылок", кстати?)
Andrew
Когда-нибудь это все из коробки будет работать в мейнстрим языках, как сейчас тайп чекинг базовый. Лет через 10.
Мейнстрим языки сейчас, кстати, очень охотно внедряют разные куски фп)
Ayrat
А что значит "прозрачность ссылок", кстати?)
Банально, можно заменить ссылку на экспрешн результатом вычисления этого выражения и ничиво не изменится.
Ayrat
Если есть сайдэффекты в вычислении, то правило прозрачности нарушается
Ayrat
А, понял теперь
Ну да, оно обычно просто заменяется на слова про "отсутствие сайд эффектов". Сложно звучит, просто на деле
Fail
https://twitter.com/kot_2010/status/1064090662042185728
Fail
было уже?
Анна
По моему опыту общения с коллегами постарше - дотнетчиков скорее пугает писать на нем прод, а сам ФП им кажется прикольным
Может быть и так. Но тут опять возвращаемся к тому, что на c# недостаточно больно, чтобы остро хотелось альтернативы, а то бы уже разобрались как и что в прод писать
Vladislav
https://twitter.com/kot_2010/status/1064090662042185728
Он же гвоздями к склсерверу прибит?
Ιπταμενο
Вы какую-то фигню обсуждаете. Тот же икспириенс сишарпа в студии с решарпером - кошмар же.
Самое лучшее для новичка - ванилла студия. Хоть для си, хоть для фэ
Открыл чат, взлолировал и не смог не отреагировать
Ιπταμενο
Был недавно прецедент
Ιπταμενο
Питонист скачал студию, открыл
Ιπταμενο
Пописал чего-то денёк, выругался что нихера не работает
Ιπταμενο
Сорян, но с помощью студии заинтересовать людей в 2018 году нереально. Она тупит, тормозит, лагает, бесит, долго прогружает менюшки, долго запускается (в особенности, если у тебя не SSD и не i7). И всё бы ей можно было простить, да вот полным-полно IDE-шек, у которых нет проблем студии — PyCharm, Goland, WebStorm (это из тех, которые тот чувак ковырял), по своему опыту сюда же Rider, IntelliJ IDEA.
Ιπταμενο
В общем пришлось краснеть за студию и срочно посоветовать Rider :) Она без решарпера — слабо лагающий блокнот, с решарпером — сильно лагающая IDE
Bonart
Ayrat
Неправда. Студия с решапером норм.
Неправда. Норм это можно называть только с развитым Стокгольмским синдромом
Ιπταμενο
Неправда. Студия с решапером норм.
Долго сидел на Rider на линуксе, поставил студию вот буквально вчера и появилось желание разбить ноутбук вдребезги
Ιπταμενο
Это просто невозможно.
За такой софт надо бить больно и беспощадно
Ayrat
У меня даже паранойя была что JB внедряли в R# тормоза чтобы увеличить юзербазу райдера
Ιπταμενο
У меня даже паранойя была что JB внедряли в R# тормоза чтобы увеличить юзербазу райдера
Кстати тоже думал о таком, может оно так и есть?
Ayrat
Кстати тоже думал о таком, может оно так и есть?
Просто лично у меня появление невненяемых тормозов ± совпало с релизом райдера, прям очень подозрительно было
Ayrat
как будто через строчку Thread.Sleep 10 добавили
Ιπταμενο
Просто лично у меня появление невненяемых тормозов ± совпало с релизом райдера, прям очень подозрительно было
Да-да, раньше такого кошмара не было.
Bonart
Неправда. Норм это можно называть только с развитым Стокгольмским синдромом
На фоне того, на что жалуются эфшарперы - даже не норм, а люкс. Есть известные проблемы, острота которых зависит от проекта. Тормоза в решарпере были всегда - я на текущий момент их субъективно не ощущаю (это не значит что их нет)
Ιπταμενο
Но с другой стороны, им же и ReSharper продавать надобно, чего бы свой софт портить? Ходят слухи, в кишках студии кошка сдохла (прошу прощения)
Bonart
Решарперу тяжко с ломающими изменениями в студии
Ayrat
На фоне того, на что жалуются эфшарперы - даже не норм, а люкс. Есть известные проблемы, острота которых зависит от проекта. Тормоза в решарпере были всегда - я на текущий момент их субъективно не ощущаю (это не значит что их нет)
есть хорошие плагины - рослинатор. Не тормозят, какой-то сабсет возможностей R# дают
Ayrat
я не шарю насколько FSC отдаёт инфы по сравнению с Рослином чтобы делать подобные плагины, но появление такой тулзы вопрос перехода кол-ва (юзеров F#) в качество (появление тулов подобных R#)
Hog
Да уж... нафлудили знатно
Ιπταμενο
:)
Hog
Набросали на вентилятор
Hog
1. Студия без решарпера не говно, но и не конфетка.
2. С решарпером - тормозная конфетка. Работал с солюшенами, которые приходилось сильно дробить, потому как решарпер-таки хочется, а всё падает.
3. Решарперу лет надцать и тормозил он всегда, а райдеру сколько? 2? Так что теория заговора сомнительна.
Hog
4. Ионид слился на 12 проектиках в солюшене. Т.е. всё красное и никаких подсказок с типами.
Hog
5. Райдер - тоже.
Hog
6. Лангсервер хочет всё компилировать под неткором, а есть проект, который надо под классиком. И всё- пися.
Igor
Студия до сих пор x86
Igor
Ιπταμενο
Или подчинить https://github.com/JetBrains/fsharp-support А студию хрен знает как чинить или гуда репортить, юзервойс игнорируют (а недавно его вообще закрыли и мои ишуи выперли на левый форум какой-то без сохранения голосов)
Hog
Я даже не знаю, что именно ломается.
Hog
Просто нет никаких тултипов и интелисенса.
Dr. Friedrich
Хочешь сказать все пробелемы в F#, а в райдере все ок
Ну, я думаю, что проблемы в F#-плагине.
Hog
Что-то там индексирует-индексирует... но безрезультатно
Dr. Friedrich
Что-то там индексирует-индексирует... но безрезультатно
Вот на всю эту ерунду надо жаловаться в багтрекер или саппорт, слать логи и всякое
Dr. Friedrich
По умолчанию я считаю, что у нас всё работает.
Dr. Friedrich
Ты думаешь? А я думал ты знаешь
Откуда мне знать-то? Я даже не знаю, что у него за проекты — вдруг там на питоне написано :)
Dr. Friedrich
Мне уже два дня люди жалуются на баги в kotlinc вообще ._.
Igor
Он же в котлине вроде
Хех, вроде всегда писал r#/rider (ну котлин там всех учить заставляют...)
Hog
Вот на всю эту ерунду надо жаловаться в багтрекер или саппорт, слать логи и всякое
Если оба и ионид и райдер ломаются - я вот думаю - мож проблема во мне?
Hog
У меня пакет и фейк
Dr. Friedrich
Если оба и ионид и райдер ломаются - я вот думаю - мож проблема во мне?
Но ведь в студии работает?
Dr. Friedrich
Если где-то работает, а где-то не работает, то тем, у кого не работает, надо жаловаться!
Hog
В какой такой студии? :)