Это учебник по теории типов.

ООО. Я знаю этого чувака. На Ютубе лекции его смотрел на тему, какой язык программирования выбрать. Очень интересно рассказывал. На тот момент в Самсунге работал

Он был рецензентом моего диплома.

Языки программирования: критерии выбора
https://youtu.be/T70qJndjYi0

Он же МГУ окончил. А ты вроде физтех

Так это не мешает же. Главное, что со степенью.

тлдр? пхп победит?

Он дотнетчик до мозга костей.

а, ясно

я кстати тут чет прикололся по линту, в андроиде, никто не хочет подсказать одну штуку?

> научиться программировать
> c#

еще лучше питон

(языки указаны в порядка предпочтения, те c# > java > python)

я вот не совсем понял как сделать:
есть пример, как писать свои линт правила (для андроида), от гугла, он заводится и работает.
в нем линтовые правила лежат в отдельной java-library, и все ок компилится, какой то манифест еще туда подписывается для сервис локатора (IssueRegistry)
вот... а я значит хотел бы в зависимости к дзява либрари добавить кусок композа, мне конкретно нужен fqcn (ну так, это эксперимент), но руками зашивать я его не хочу, хочу просто ссылку типа AnyComposeClass::class.java.name
получается как только я ставлю в зависимости андроидную хрень - мне придется переделать тип библиотеки с java-library на android-library
но в таком случае билдится aar хотя и манифест там тоже вроде для сервис-локатора присутствует, но он не работает с линтом - я так понял андроид линт не понимает что можно юзать aar
так что вопрос - как можно сделать кастомные линт правила с депенденсями на андроиде в отдельный модуль?
можно ли сбилдить jar через градл вместо (или рядом) с aar, чтобы залинковать его?

в чем суть наброса?

Гораздо страшнее "научиться делать веб-сайты" ~ JavaScript

а c# < java? 🤔🤔🤔

тогда java < python