Типы и переменные простая концепция

у меня перестало лагать

Что это такое

В чем преимущества перед дискордом/телегой?

МеСсЕнДжЕр,  с открытым исходником

основан на Matrix

Суть в том что они нихуянихуя не учат, они хотят просто гребсти деньги потому что программисты много зарабатывают

чувак сложность никуда не денется. вопрос всегда в том куда ты сможешь ее перегрузить. какие решения ты сможешь принять чтобы сложность оказалась там, где тебе проще всего с ней справиться. в данном случае вопрос в том, как тебе лучше всего закодировать эту сложность. то есть грубо говоря есть какая–то типовая информация которая ты считаешь необходима для проверки доказательства в какой–то около алгебре (то же самое что и проверки корректности программы в компьютере, помнишь про curry-howard isomorphism??)

вот ты берешь эту информацию и посмотри на нее в отрыве от типов

Таким ты не втюхнешь ничего

подумай о системе типов как о способе кодировки этой информации, типы = кодировка

есть комната

У тебя в гит-хабе акк есть?

Система типов это и есть утверждение, пропозиция

я показываю на этот предмет пальцем

что я имею в виду: стул или красный?

Вилкой в глаз

то есть в чем грубо говоря фишка типов изначально

Функция foo: a -> b говорит что если мы имеем объект типа а мы можем получить объект типа b