Телеграмм чат группы pofftop страница 9777

2020 June 25

I

С++ и Джава - функциональные тогда. Ну и Си с гнутыми расширениями тоже. Ещё какой-то древний диалект Паскаля, ЕМНИП, такое умел.

> Си с гнутыми расширениями тоже

а ванильный видимо нет, как и мой самописный lisp, но я это переживу

источник

21:14пожаловаться #1

AD

Apache DOG™ in Programming Offtop

Ilmir

С++ и Джава - функциональные тогда. Ну и Си с гнутыми расширениями тоже. Ещё какой-то древний диалект Паскаля, ЕМНИП, такое умел.

В жавке можно писать дотфри на Function<I,O> даже с инференцией, если ты себе наколхозишь JIO и набор функций

источник

21:15пожаловаться #2

AD

Apache DOG™ in Programming Offtop

Так что джавка ограниченно функциональная

источник

21:15пожаловаться #3

I

Ilmir in Programming Offtop

Apache DOG™

Так что джавка ограниченно функциональная

https://t.me/pofftop/200425

Ilmir in Programming Offtop

Кстати, где проходит граница между ФП и не-ФП языками? Какие фичи должен поддерживать язык, чтобы носить гордое звание "функциональный"?

источник

21:16пожаловаться #4

AN

Alexander Nozik in Programming Offtop

Apache DOG™

Блет, тайпклассы это способ неинвазивного приделывания полиморфного функционала, которого в вашем оопэ нет, а не вовсе та бредятина

Фигня все эти "полиморфные функционалы". У меня запас политкорректности кончился. Напишите конкретные кейсы, тогда может быть поговорим

источник

21:17пожаловаться #5

AN

Alexander Nozik in Programming Offtop

Ilmir

https://t.me/pofftop/200425

Ilmir in Programming Offtop

Кстати, где проходит граница между ФП и не-ФП языками? Какие фичи должен поддерживать язык, чтобы носить гордое звание "функциональный"?

Это религия же. У них должна быть священная книга

источник

21:18пожаловаться #6

AN

Alexander Nozik in Programming Offtop

В которой все догматы записаны

источник

21:18пожаловаться #7

(

( in Programming Offtop

Alexander Nozik

Фигня все эти "полиморфные функционалы". У меня запас политкорректности кончился. Напишите конкретные кейсы, тогда может быть поговорим

Вон у меня сверху был кейс. Сошлись на том, что котлин для этого практически непригоден, а и не надо

источник

21:18пожаловаться #8

AD

Apache DOG™ in Programming Offtop

Ilmir

https://t.me/pofftop/200425

Ilmir in Programming Offtop

Кстати, где проходит граница между ФП и не-ФП языками? Какие фичи должен поддерживать язык, чтобы носить гордое звание "функциональный"?

1) иммутабилити-ферст стдлибы 2) иммутабилити-ферст синтаксис 3) лямбдочки как полноправные значения 4) инференция типов, это базовый набор, дальше идут ХКТ + контекстуальные абстракции для полиморфных тайпклассов, без хкт ты не напишешь дженеричную монаду. Ещё дальше - линтипы, завтипы, афтипы, тактики, стратегии и т.д.

источник

21:19пожаловаться #9

I

Ilmir in Programming Offtop

Apache DOG™

1) иммутабилити-ферст стдлибы 2) иммутабилити-ферст синтаксис 3) лямбдочки как полноправные значения 4) инференция типов, это базовый набор, дальше идут ХКТ + контекстуальные абстракции для полиморфных тайпклассов, без хкт ты не напишешь дженеричную монаду. Ещё дальше - линтипы, завтипы, афтипы, тактики, стратегии и т.д.

Лисп не подходит. Функциональный язык не подходит под определение - определение неверно. Следующий!

источник

21:20пожаловаться #10

AN

Alexander Nozik in Programming Offtop

(

Вон у меня сверху был кейс. Сошлись на том, что котлин для этого практически непригоден, а и не надо

Ну тебе по-моему наглядно показали, что пригоден. Аргумент в стиле "мне влом писать ровно одну лишнюю строчку" - так себе. Но то, что в твоем случае не надо - это точно.

источник

21:20пожаловаться #11

AD

Apache DOG™ in Programming Offtop

Ilmir

Лисп не подходит. Функциональный язык не подходит под определение - определение неверно. Следующий!

Сколько лет лиспу?

источник

21:20пожаловаться #12

I

Ilmir in Programming Offtop

Apache DOG™

Сколько лет лиспу?

Зависит от диалекта.

источник

21:20пожаловаться #13

AD

Apache DOG™ in Programming Offtop

Кто на нем сейчас пишет?

источник

21:20пожаловаться #14

I

Ilmir in Programming Offtop

Apache DOG™

Кто на нем сейчас пишет?

А это здесь при чём? В определении нет ни слова про популярность.

источник

21:21пожаловаться #15

AN

Alexander Nozik in Programming Offtop

Apache DOG™

1) иммутабилити-ферст стдлибы 2) иммутабилити-ферст синтаксис 3) лямбдочки как полноправные значения 4) инференция типов, это базовый набор, дальше идут ХКТ + контекстуальные абстракции для полиморфных тайпклассов, без хкт ты не напишешь дженеричную монаду. Ещё дальше - линтипы, завтипы, афтипы, тактики, стратегии и т.д.

1) Фигня. Иммутабилити ферст - не есть самоцель и тайп классы к этому ровно никакого отношения не имеют. 2) Фигня по обозначнным выше поводам. 3) рили? Для этого нужны тайп классы? 4) вы вообще на каком языке пишите? На Паскале?

источник

21:21пожаловаться #16

BP

Bogdan Panchenko in Programming Offtop

Apache DOG™

Блет, тайпклассы это способ неинвазивного приделывания полиморфного функционала, которого в вашем оопэ нет, а не вовсе та бредятина

Александр не топил за ООП

источник

21:22пожаловаться #17

AN

Alexander Nozik in Programming Offtop

типы ради типов едут через типы к типам.

источник

21:22пожаловаться #18

AD

Apache DOG™ in Programming Offtop

Alexander Nozik

1) Фигня. Иммутабилити ферст - не есть самоцель и тайп классы к этому ровно никакого отношения не имеют. 2) Фигня по обозначнным выше поводам. 3) рили? Для этого нужны тайп классы? 4) вы вообще на каком языке пишите? На Паскале?

Иммутаюилити нужна потому что лямбда калькулус иммутабельный.

источник

21:22пожаловаться #19

I

Igor in Programming Offtop

Apache DOG™

Кто на нем сейчас пишет?

Рыжиков

источник

21:22пожаловаться #20