напримерHaskell
"Note that the -XImpredicativeTypes extension, which has been known to be broken for many years, is even more broken than usual in this release"
например
Имеет место некоторый прогресс в изучении немецкого: могу довольно свободно говорить на некоторые повседневные темы, нейтивы меня прекрасно понимают и не делают особых замечаний в плане акцента (несмотря на то, что R я говорю дичайше криво). Базовая грамматика, благодаря брошюре "Deutsche Grammatik mit minschlichem Antlitz", стала более-менее понятна.
С французским несколько сложнее. Учил его когда-то начиная с детского сада и заканчивая классом восьмым или девятым, емнип. Не помню совершенно ничего. Решил вспомнить, и теперь могу правильно читать любой текст, абсолютно не понимая смысл) Во время занятий на italki для проработки произношения читаю преподу вслух Coq'Art.
например
"Синтаксис — такая штука, которая отражает глубину погружения человека в предметную область. Самые недалёкие критикуют синтаксис комментариев в коде. Менее недалёкие критикуют сам синтаксис.
Кому же остаётся критиковать семантику языка программирования? Кому критиковать типизацию? В случае наличия зависимых типов, кто обосрёт по полной наличие/отсутствие автоматизации поставления доказательств? Кто расскажет про пользу/вред импредикативности Prop в Coq? Кто покритикует разницу в подходах к коиндукции в coq vs agda?
ТЫ!
Но не сейчас, наверное."