AN
Раст вещь хорошая, но тайпклассы там явно не центральная фича
Size: a a a
2020 June 25
D
@noraltavir с почином https://t.me/ebanatics/692
> Хроники борьбы с ФП
Лол, это секта какая-то?
Лол, это секта какая-то?
BP
ну да
I
> Хроники борьбы с ФП
Лол, это секта какая-то?
Лол, это секта какая-то?
Религиозная секта свидетелей ФП.
(
Ну вот в свифте тоже есть какое-то подобие
Не знаю, что там с селф-типами
protocol SomeProtocol {
static func someTypeMethod()
}Не знаю, что там с селф-типами
KD
Было предсказание, что у Тайпклассов будет второе пришествие в Котлине. И все верующие, что грязные функции стороной обходят да ООП проклинают попадут в математический рай.
D
Религиозная секта свидетелей ФП.
Сжечь еретиков.
I
Было предсказание, что у Тайпклассов будет второе пришествие в Котлине. И все верующие, что грязные функции стороной обходят да ООП проклинают попадут в математический рай.
I
Религиозная секта свидетелей ФП.
Ну все така не фп, а type-level программирования 🤔 (не видел там кложуристов или f#-пистов)
I
Ну все така не фп, а type-level программирования 🤔 (не видел там кложуристов или f#-пистов)
Кстати, где проходит граница между ФП и не-ФП языками? Какие фичи должен поддерживать язык, чтобы носить гордое звание "функциональный"?
I
«Предмет верблюжьей гордости» https://zoom.us/j/91491473004
Пздц там парень уже второй час отжигает, он мне мозг сломал
Симулирует тайп-классы, зависимые типы, швыряется first-class модулями с состоянием
Симулирует тайп-классы, зависимые типы, швыряется first-class модулями с состоянием
D
As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.
-- Albert Einstein 🌛
-- Albert Einstein 🌛
I
Кстати, где проходит граница между ФП и не-ФП языками? Какие фичи должен поддерживать язык, чтобы носить гордое звание "функциональный"?
уметь возвращать из функции лямбду с замыканием 🤔
I
уметь возвращать из функции лямбду с замыканием 🤔
С++ и Джава - функциональные тогда. Ну и Си с гнутыми расширениями тоже. Ещё какой-то древний диалект Паскаля, ЕМНИП, такое умел.
BP
уметь возвращать из функции лямбду с замыканием 🤔
Смалток это ФП - вотчерт попался я на удочку
(
As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.
-- Albert Einstein 🌛
-- Albert Einstein 🌛
А то мы прям реальность из программы в программу пишем
AD
Тайпклассы это тоже "хотим хаскель, не знаю почему". Они необходимы в хаскеле, потому что там другого ничего нет. Но в языках типа котлин и даже скалы, их применение ограничено
Блет, тайпклассы это способ неинвазивного приделывания полиморфного функционала, которого в вашем оопэ нет, а не вовсе та бредятина
AD
As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.
-- Albert Einstein 🌛
-- Albert Einstein 🌛
Все программирование относится к certain, not refer to reality
AD
Даже железячное на опкодах