« Rev
@fsharp_flood   90
Fwd »


Erlium
Поэтому я спрашивал чтобы такое почитать, может есть та самая книга, которая раскроет суть императивного программирования и ООП. Я привык рассуждать выражениями, как в математике. В СИКП тоже самое. А как и зачем используют объекты с состоянием я не понимаю. Мне нужно руководство чтобы понять как думать в этих категориях. Сам я вижу что не дойду, это слишком отличается от математического подхода.
Erlium
Вот читал я про Машину Тьюринга и Лямбда-исчисление. Как проводить вычисление с помощью лямбд мне сразу стало понятно, потому что это очень близко к математике. А вот когда познакомился с Машиной Тьюринга, впал в ступор, совершенно не понимая как с помощью нее можно проводить вычисления, тем более сложные.
Vasily
Ну это разница между объектным мышлением и математическим
Vasily
В реальном мире нас окружают объекты и , собственно, концепция ооп списана с реального мира. Взаимодействие идёт на уровне объектов, каждый из которых имеет свойства и набор действий
Erlium
В реальном мире нас окружают объекты и , собственно, концепция ооп списана с реального мира. Взаимодействие идёт на уровне объектов, каждый из которых имеет свойства и набор действий
Ну объеты это все понятно. Но то что у объектов то скрывают состояние, то высовывают наружу, то еще что то с ним делают, это разрыв мозга. Все эти штуки по сути ничего не делают, чисто boilerplate код. Зачем все это, как это использовать, вот в чем вопрос. Как сказал Алан Кей, не ручаюсь за точность цитаты: "Я придумал термин ООП, но я не имел ввиду C++". Если мыслить объектами, то не обязательно все вот это вот, что в C#, Джаве, и везде сейчас.
Erlium
Еще можно привести цитату Джо Армстронга, создателя Эрланг: "Проблема объектно-ориентированных языков программирования в том, что у них есть неявные зависимости, котороые они тянут за собой. Вам необходим банан, но вместо этого вы получаете гориллу, держащую банан и все джунгли."
Erlium
Да таких высказываний море.
Igor
Fail
Эрланг - тру ООП?
Igor
Хм, мне так Haskell чатике сказали
Erlium
Одно точно, что динамика позволяет ошибаться. А без ошибок нельзя ничему научиться.
Анна
это очень оригинально
Igor
Опять таки первые акторы в scala AKKA были НЕ типизированные (видимо по образу с эралангом)
Igor
Хотя сам язык (скала) очень сильно типизирован
Igor
Ведь ООП это же когда объекты кидают друг-другу сообщения (и все). Типы (кроме примитивных или хешмепов) / классы тут не нужны.
Erlium
ооо, можно я утащу в цитатки :D
Пожалуйста (смущенно).
Igor
Как-то пытался изучить SmallTalk - очень специфичный язык, сейчас бы на нем никто не стал писать. Возможно истинное ООП умерло вместе с ним и его вытестил С++-ООП ObjC почти помер под натиском Swift (Си-подобный язык), в Dart 2.0 впилили стат. типизацию и превратили его в Java/Kotlin
gsomix
Я смотрю, воз и ныне там.
Ayrat
Кормят.
Анна
gsomix
Василию угрожают баном в репозитории VF#. :)
gsomix
вброшу https://twitter.com/kot_2010/status/1021316067224965122
Ayrat
Василию угрожают баном в репозитории VF#. :)
да ладно?) где почитать драму?
gsomix
да ладно?) где почитать драму?
В ФП слаке, как обычно. Но я думаю, листать придется много по логу.
gsomix
Я пересказать могу.
gsomix
История короткая.
Ayrat
вот блин, а я думал там скучно и вышел
gsomix
В ФП всегда весело. Может ты путаешь с FSSF?
Ayrat
там постояно нубы какие-то заходят и вопрошают как hello world написать
gsomix
дада, давай
Ну, Василий пытается растормошить ребят из MSFT, пишет в комментариях к комментам и чатиках, что они ничего не делают, ничего мержат и не ревьювят.
Ayrat
Хм. Ну ты знаешь
Ayrat
Есть такое мнение
gsomix
Филлипу недавно это надоело.
gsomix
Он пригрозил в чатике баном.
gsomix
Я пытался вступиться, но чот как-то пассивненько.
gsomix
Особой драмы нет, но это будет большая потеря, конечно.
Ayrat
Да ппц будет. Василий же и для райдера делает много и для VS, и для компилятора в частности
gsomix
может. А может fsharp general
https://fpchat-invite.herokuapp.com/
gsomix
Да ппц будет. Василий же и для райдера делает много и для VS, и для компилятора в частности
Оказывается, есть целый Code of Conduct. Что у FSSF, что у репы с компилятором.
gsomix
Нельзя троллить и быть токсичным. %)
Ayrat
Эх
Ayrat
Ну. На самом деле ситуация в разработке F# стагнирующая. Но это имхо
Ayrat
и не точно
gsomix
Ну такая.
Ayrat
т.е. новые фичи чот не доезжают
gsomix
Никто не в силах форкнуть и что-то пилить самостоятельно.
gsomix
Дон набегами запиливает что-то эпичное.
gsomix
Чисто компиляторной команды ни в одной конторе нет.
Ayrat
Ну майкрософт же
Ayrat
филип и те самые два землекопа на зп
gsomix
У них как всегда все горит.
gsomix
Потому что F# привязан к релизам VS.
gsomix
И еще у них постоянно народ забирают какие-то сторонние штуки чинить.
gsomix
Ну, или они просто ничего не делают. %)
gsomix
Потому что F# привязан к релизам VS.
Я так понимаю, пока творится ад с очередным релизом, Дон просто ничего не запиливает.
gsomix
Потому что организация работы над компилятором не предполагает параллельного запиливания новых фич.
gsomix
Их доставки и тестирования.
Ayrat
Ну вот получается что F# привязан к VS и майкрософт, а MS насрать на F# в общем примерно почти совсем. При том что многие на VS Code нормально сидят и им насрать на релизы VS (как мне например)
Ayrat
но мне приходится держать VS для обновления F# лол, т.к. больше эти MSI нигде не найдёшь
Ayrat
на сайте забили обновлять
gsomix
Ну, с .NET Core проще все.
gsomix
Но, конечно, лучший вариант — отдельный пакет с компилятором.
gsomix
Не понимаю, почему не выкатят какой-нибудь автоматический найтли компилятор.
gsomix
Куда просто пилили бы свежие фичи.
gsomix
Можно было бы сразу тестировать без проблем.
Ayrat
Да, я тоже пока не очень понял стратегию
gsomix
Тот же руст делают очень клево.
gsomix
Есть найтли, все храбрые на нем.
Vladislav
Хотя почему интересующихся мало тоже вопрос
gsomix
Хотя почему интересующихся мало тоже вопрос
Ну, вот есть крутой чувак @manofstick.
gsomix
Он пилит сумасшедшие штуки, связанные с перформансом.
« Rev
@fsharp_flood   90
Fwd »