Вчера был первый теплый и солнечный день. При этом ни травинки ни малейших намеков другой зелени. Но в воздухе уже что-то есть и такое ощущение что снова обрел часть себя, которая умерла уже очень давно.

Смотрю перед сном лекции по теории категорий. Лектор просто офигенен. Благодаря ему моего внимания хватает на академический час и при этом не теряю мысль через 5 минут, а лишь изредко перематываю назад непонятные места. При этом это не доклады в стиле "смотрите дети, это функтор". Но на втором академическом часе я начинаю клевать носом и наступает крепкий и здоровый сон. youtube.com

Вылезают интимные подробности почему в очередной раз отложили запуск эпического телескопа. Говорят подрядчик Northrop Grumman на тестах по деплою слегка порвал один из 6 слоев теплового солчечного щита. Это хрен с ним, пусть лучше сейчас, чем за 1.5 млн. км. Правда там еще какие-то косяки со сборкой были и люди говорят, что косячить еще будут обязательно, потому что уже работают в цейтноте в 3 смены без запаса по времени.

Вышли овашки ReLife аж 4 штуки. Вспомнил что почему-то так и не досмотрел его и решил начать с начала. Говорят, что они впихнули в 4 серии оставшиеся после сериала 50% сюжета и мягко говоря порезали много. Но буду смотреть, шоу по идее должно быть мозгосношательным, но по факту получается приятным и душеспасительным.

Там вроде девочек волшабниц привалило в количестве. Если одно из них вроде смешное, то после второго, Мадока покажется нам нежным мультиком для дошкольников.

Я блин даже не знаю что тут сказать. Наверно что это очередная победа молодой американской демократии. Они в 13-й раз перенесли запуск JWST. На май 2020 !111 Изделие готово, предидущая дата запуска была на весну 2019. Они пилят эту дуру с 1996, исходный план был запуск в 2007 и пол гигабакса вместо 8+ уже по факту на сегодняшний момент. Я чуствую, что если эта хрень все же окажется на стартовом столе, то сверхнадежний Ариан просто порвет на месте как хомячка от груза ответственности!

Как делать все тоже самое, но при этом не нервничать? Как объяснить тупому организму что это объективно фигня и надо просто перестать дергаться на физеологическом уровне.

Я практически готов продать чью-нибудь бессмертную душу, за содержимое Александрийской библиотеки. upload.wikimedia.org Эти прекрасные реки в сахаре на 2-х тысячилетних картах Птолемея, но которых нет уже 5 тысяч лет и бывшие русла которых прекрасно видны со спутников. Эти картографические источники лежали у него рядом под рукой. Их больше нет! А ведь помимо карт и исходных данных для их построения там было что-то еще. А сегодня те же самые бастарды пытаются сжеч нашу "Александрийскую библиотеку".

А как я могу поименовать List по имени типкласса чтоб использовать его в констрейнах? Например типа такого: instance List a => Foo a where ... Использовать [] справа единственный вариант? Хочу указать слева аналогично Num a =>

Хочу в деталях понять как работает система типов, пока нет единой модели в голове что конкретно делает конкретный нетривиальный систаксис при программировании на типах. Если ли вменяемый гид по реализации System F в Хаскелл, который можно порекомендовать? Я наверно не убоюсь матлогики в ограниченных объемах, но хотелось бы не сколько про теоретическое лямбда счисление, сколько про конкретную реализацию в Хаскелл в его терминах.