о

о

а что о?

Я тоже не понял.

Я тоже не понял.

Лол

вчера тоже было 322 человека

https://github.com/pirapira/coq2rust

https://github.com/nau/lasca-compiler

Imagine Scala with fast compilation/start time, optional dynamic typing, and without null Go with ADTs, global type inference, and parametric polymorphism Haskell with decent records syntax, runtime polymorphism, and string interpolation OCaml with typeclasses, overloaded +-*/ for ints and floats, and do-notation Rust with garbage collector without <::>!? Erlang with types and fast execution Python with multithreading, pattern matching, and multiline lambdas TypeScript with indentation significant syntax, and LLVM Julia with static type checking, and zero-based indexing

>Go with ADTs, global type inference, and parametric polymorphism

лол)

optional dynamic typing

AAAAAAAAAAAAAAAAa

Compiler Modes Dynamic Mode, aka Prototype Mode. Syntax is checked. All types are dynamically checked. Static Mode. Syntax is checked. Typechecking/inference, faster execution. Hardcore Liquid types enabled. (See Liquid Haskell) Proves checked. Array bounds checks eliminated.

норм

press fmap to pay respect

это откуда?

https://github.com/jwiegley/category-theory/blob/master/Theory/Functor.v#L19

coq...

да, знаю, "coq говно, потому что не haskell"

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

короче

хаскель - процедурщина

я все понял

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

теперь будешь хуесосить хаскель?)

открываю доки по скале

но она же наполовину ооп

так это и хорошо

так это и хорошо

ойойойойой

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

так вещи же ортогональные

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

то, как зачастую пишут код на хаскеле - Anemic Domain Model

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

нужно DDD книгу прочитать

Я чтобы не забывать корни иногда открываю книгу по паттернам в джаве, лол)

Вообще нормальную абстракцию сделать очень сложно даже при наличии всех стартовых условий

Всегда будут какие-то компромиссы

посмотрел пару докладов Егора и вступил в его веру

Есл нет компромиссов, то либо их просто пока что не видно, либо автор себе выбил x10 к срокам

Либо размер меньше тысячи строк))

посмотрел пару докладов Егора и вступил в его веру

ООП или смерть \0 \0 \0

ООП или смерть \0 \0 \0

Но... Есть ли жизнь при ооп?

Можно ли назвать это жизнью?

ООП это ведь такая странная обёртка

Диковатая абстракция

Буддистская

Тебя не согреют байты и ты не почувствуешь на себе лучшей монад

Обёртка вокруг ничего

И вот вопрос тогда... Зачем это всё?

Зачем? К чему всё это?

Тебя не согреют байты и ты не почувствуешь на себе лучшей монад

почему?

как ооп вообще касается монад?

Зачем? К чему всё это?

потому что могут

как ооп вообще касается монад?

Слегка

Совсем немножко

Но касается, если оно того захочет

потому что могут

Не потому что могут, а потому что вынуждены

Вот представь себе, что рынок охватили скала, хаскел, кожура, фшарп...

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

И все бы писали на всяких милых окамлах или ризончиках

ERROR: S client not available

Но гнёт ооп... Он чувствуется повсюду

Он настигнет тебя везде

Он заставит тебя лечь под себя или погибнуть

И вот вопрос: есть ли жизнь при ооп?

функторы и ооп вместе это прекрасно

возможно... не мне судить

посмотрел пару докладов Егора и вступил в его веру

мы тебя потеряли

Душераздирающе ?

Вот что прод на хаскеле с людьми делает

функторы и ооп вместе это прекрасно

ооп это комонады же

а в хаскеле есть комонады

бля постоянно ФП это аниме а не союзмультфильм

потому что аниме по правилам чата разрешено, а союзмультфильмы нет

как роскомндазор с "ну погоди"

кто эту хуйню с аниме сделал? (я про эти уебанские стикеры)

c# 6.0?

кстати есть liqpad а есть https://roslynpad.net/ (можно кодить на f#)

https://habrahabr.ru/company/jugru/blog/308914/

там есть момент про управление памятью

Бугаенко смотрит на раст, думаю

Бугаенко смотрит на раст, думаю

хайпит как может)

кстати есть liqpad а есть https://roslynpad.net/ (можно кодить на f#)

Так у F# вообще fable есть

при чем тут фронтенд?

чо ты все фронтендом и жс меряешь?

ШОБ ТЫ БОМБАНУЛ))