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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

ФП

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

2021 June 01

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП

Именно. Второй является одновременно датой и кодатой. В ТС как раз с этим и проблемы: если на этапе компиляции не вычислить true/false у карри аргумента - то тип будет юнион - всё равно что без кондишена прописать тип результата юнионом (если не хакать перегрузками)

источник

00:25пожаловаться #1

AG

Alex Gryzlov in ФП

да нет, и то и то данные

источник

00:30пожаловаться #2

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП

Everything is just functions (Church numerals)
https://www.youtube.com/watch?v=pAnLQ9jwN-E

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

🔗 Part I: https://youtu.be/3VQ382QG-y4 🔗 Slides: http://bit.ly/2xpcPKn 🔗 Repo: https://github.com/glebec/lambda-talk

A presentation given at Fullstack Academy of Code, by instructor Gabriel Lebec. The Lambda Calculus is a symbol manipulation system which suffices to calculate anything calculable. This branch of pure mathematics forms the backbone of functional programming languages, and here it is presented through the concrete and familiar lens of JavaScript.

источник

00:32пожаловаться #3

АП

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

Какой язык лучше изучить после хаскеля в порядке возрастания сложности для ещё большего расширения кругозора?

думал взяться за идрис или кок но не слишком ли это сложно?

источник

11:23пожаловаться #4

А

Алексей ayaye :)... in ФП

Идрис в самый раз, по-моему. Тоже грызу потихоньку. Некоторые вещи сделаны лучше, чем в Хаскеле.

источник

11:28пожаловаться #5

АП

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

спасибо) А вы кок пробовали?

источник

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

А

Алексей ayaye :)... in ФП

я начал слушать курс Антона Трунова, но вынужден был бросить из-за накладок по времени :(

насколько я понимаю, в идрисе на первом месте программирование, а не доказательства, а в кок - наоборот. мне первый вариант интереснее

источник

11:33пожаловаться #7

АП

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

любопытно, благодарю)

источник

11:34пожаловаться #8

АП

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

а что посоветуете почитать/посмотреть по идрису?

желательно на русском

источник

11:35пожаловаться #9

А

Алексей ayaye :)... in ФП

На русском, увы, не знаю. Лучше, конечно, ломать себя об коленку и привыкать читать на английском.
Начинать можно с официального туториала, он вполне понятный
https://idris2.readthedocs.io/en/latest/tutorial/index.html

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

источник

11:37пожаловаться #10

АП

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

та я на английском читаю нормально, но с терминологией не очень

источник

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

А

Алексей ayaye :)... in ФП

ну тогда вообще здорово

источник

11:40пожаловаться #12

АП

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

просто когда читаю на английском, что то где есть специфичные термины - сильно отвлекаюсь на то чтобы их правильно перевести/понять

источник

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

А

Алексей ayaye :)... in ФП

да там не так много терминов, вроде. всегда можно в чате спросить

источник

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

АП

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

ладно, спасибо)

источник

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

А

Алексей ayaye :)... in ФП

вот есть же чат подходящий - про завтипы :)

источник

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

АП

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

ага, я там)

источник

11:50пожаловаться #17

2021 June 02

P

158

источник

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

AG

Alex Gryzlov in ФП

приборы!

источник

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

2021 June 03

DK

Daniil Kostin in ФП

не всегда, не копал твой код,
да все классы но
есть implements для подвязки множества интерфейсов
есть with для множества примесей
И через них тоже можно определять и реализовывать type-safety. С примесями есть подводные камни, с интерфейсами не напарывался.

источник

08:54пожаловаться #20