Телеграмм чат группы fp

Size: a a a

ФП

296 membersпожаловаться на группу

2021 October 21

Denis Gabidullin in ФП

Может тебе в чат по хаскелл зайти?)

источник

23:12пожаловаться #1

2021 October 24

АП

Антон Пилипчук... in ФП

Переслано от Антон Пилипчук...

Какие ещё есть редукции кроме дельта, бета, йота, дзета ?

источник

09:54пожаловаться #2

Jerzy Syrowiecki in ФП

ого, я только про бету знаю

источник

10:44пожаловаться #3

АП

Антон Пилипчук... in ФП

Антон Трунов говорил о них в курсе по формальным методам верификации.

источник

10:46пожаловаться #4

ЗП

Зигохистоморфный Пре... in ФП

https://coq.inria.fr/refman/language/core/conversion.html

источник

10:53пожаловаться #5

Kir in ФП

> beta-reduction

eliminates fun

😞

источник

11:43пожаловаться #6

2021 October 25

АП

Антон Пилипчук... in ФП

ух ты! Спасибо😊

источник

08:51пожаловаться #7

2021 November 23

Igor in ФП

Ребят, похоже вам нужен бот, удаляющий сообщения о входе.
Могу предложить @delete_service_messages_bot - он написан на функциональном языке 😎

источник

12:17пожаловаться #8

Rafkat in ФП

Кложа)

источник

13:23пожаловаться #9

Jerzy Syrowiecki in ФП

не нужен

источник

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

Jerzy Syrowiecki in ФП

функциональных языков не бывает

источник

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

Igor in ФП

В смысле что все языки мультипарадигменные?

источник

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

Jerzy Syrowiecki in ФП

нет, потому что нет чёткой границы между более функциональными и менее функциональными

источник

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

Jerzy Syrowiecki in ФП

и мультипарадигменные не все

источник

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

Igor in ФП

А как тогда языки квалифицировать?

источник

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

Jerzy Syrowiecki in ФП

смотря зачем

источник

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

2021 November 24

Kir in ФП

По кластеризации религиозных фанатиков в фазовом пространстве фич

источник

00:08пожаловаться #17