Size: a a a

2020 March 14

D

Dmitry in archlinux_ru
Бля а можно доки не читать плез
источник

JC

Julian =) Coffee in archlinux_ru
хиндли милнер
источник

VK

Vladislav K. in archlinux_ru
𝙼𝚛. 𝙱𝚘𝚠𝚕𝚎𝚛 𝙷𝚊𝚝
Поставил linux55 в манжаре
О, надо тоже поставить
источник

𝙼

𝙼𝚛. 𝙱𝚘𝚠𝚕𝚎𝚛 𝙷𝚊𝚝... in archlinux_ru
Dmitry
Бля а можно доки не читать плез
Нет, я запрещаю
источник

VK

Vladislav K. in archlinux_ru
Julian =) Coffee
хиндли милнер
Тогда hm алло
источник

VK

Vladislav K. in archlinux_ru
Ты че, теорию типов знаешь?
источник

VK

Vladislav K. in archlinux_ru
Я кстати теорию типов на жосе сдавал
источник

𝙼

𝙼𝚛. 𝙱𝚘𝚠𝚕𝚎𝚛 𝙷𝚊𝚝... in archlinux_ru
Ivan
уот уж этот линух, нет файла на каждый чих
(на самом деле есть)
источник

JC

Julian =) Coffee in archlinux_ru
ML - Meta Language
источник

I

Ivan in archlinux_ru
𝙼𝚛. 𝙱𝚘𝚠𝚕𝚎𝚛 𝙷𝚊𝚝
(на самом деле есть)
ну типа да, ну тыпонел
источник

I

Ivan in archlinux_ru
Dmitry
Бля а можно доки не читать плез
источник

JC

Julian =) Coffee in archlinux_ru
Vladislav K.
Я кстати теорию типов на жосе сдавал
🤔
источник

VK

Vladislav K. in archlinux_ru
Julian =) Coffee
ML - Meta Language
Я так же расшифровываю
Почему жс не мета ланг?
источник

JC

Julian =) Coffee in archlinux_ru
Там все стэйтменты
источник

VK

Vladislav K. in archlinux_ru
Всякие тс, котлинжс, скалажс вполне компилируются в жс
источник

VK

Vladislav K. in archlinux_ru
Поэтому жс это мета язык
источник

VK

Vladislav K. in archlinux_ru
Прув ми вронг
источник

JC

Julian =) Coffee in archlinux_ru
ну лан
источник

JC

Julian =) Coffee in archlinux_ru
Значит я просто хочу иметь паттерн матчинг и суммы типов во всех языках
источник

VK

Vladislav K. in archlinux_ru
Это уже другой разговор
источник