dd if=/dev/stuff of=/dev/tg

Самое важное решение в моей жизни с @lene_love

Карл фон Госсеринг потратил 76 лет на написание трактата о часах. Об одник конкретных часах — часах-фонаре Николаса Валлина. В ходе написания этот трактата он предвосхитил специальную теорию относительности, поднял вопрос о проблеме останова, и даже построил исчисление для моделирования часовых механизмов.

Насладиться прекрасным тредом:
https://threadreaderapp.com/thread/1467417990744649728.html

Самое любопытное здесь — табличка с бенчмарками относительно JVM и ноды. Вопросы, конечно остаются — скажем, на код остальных примеров хотелось бы тоже взглянуть, — но значения времени холодного старта и потребления памяти вызывают заинтересованность, как минимум.

Вот и пригодилась компиляция Scala → JavaScript. Только не для фронтенда.

Daniel Spiewak в концепте serverless-фреймворка предлагает компилировать код на Scala в JS, чтобы запускать его на движке V8. Таким образом получится избежать проблемы холодного старта JVM для короткоживущих функций. V8 не надо прогревать, а код для него можно писать всё на той же Scala. Не зря ведь scala.js делали и библиотеки под него кроссбилдили!

Понятно, что scala-native слишком далека от готовности к проду, но интересно, почему решили не использовать Native Image в GraalVM. Решение с js в любом случае оригинальное и может быть из него что-то вырастет.

Сам концепт: https://gist.github.com/djspiewak/37a4ea0d7a5237144ec8b56a76ed080d
Прототип библиотеки: https://github.com/typelevel/feral

Заметка об использовании ScalaJS для написания кода под AWS-ный V8 напомнила о проекте, который позволяет нативно запускать хаскельный код в AWS:
https://theam.github.io/aws-lambda-haskell-runtime

Новая статья — о простом тайп-левел представлении UUID:
https://ybogomolov.me/type-level-uuid

В продолжение недавней драмы, о которой хорошо написали в канале Lil Functor:
Джон Де Гоуз написал статью о том, что ZIO organisation ставит перед собой две важные цели: pro-community и pro-professionalism. Это означает, что все проекты, находящиеся в организации ZIO, будут хостить у себя интеграцию с другими экосистемами, и поддерживать запросы конечных пользователей вне зависимости от того, кто кому в песочнице по голове совочком дал каких мировоззрений или политической ориентации придерживается человек.
Мне близка эта позиция — ставить инженерные практики выше политики/гендеров/мировоззрений/etc. Да, всегда можно сказать, что Джон снова использует ситуацию для агрессивного маркетинга ZIO, но в конечном итоге, мне кажется, такое позиционирование экосистемы выигрышно для конечных пользователей.

В продолжение темы Tagless Final в личку прислали крутую статью об опыте использования этого стиля на чистом JS с типизацией через аннотации JSDoc:
https://habr.com/ru/post/584502

Новое видео на канале: «Making Illegal States Unrepresentable in TypeScript»!

В этом докладе я рассматриваю очень полезную тему из domain-driven design — как сделать некорректные состояния непредставимыми. Затрагиваются темы opaque-типов и смарт конструкторов, программирования на уровне типов, Tagless Final и индексированных монад.

Свежая статья — о кодировке данных высших родов (higher-kinded data, HKD) на TypeScript:
https://ybogomolov.me/higher-kinded-data

https://github.com/earldouglas/linear-scala — линейные типы в скале, проверка которых осуществляется с помощью ScalaFix.
на что только не идут люди, чтобы не пользоваться Z3

Я сдул пыль со своего блога, немного его причесал и выложил туда все публичные статьи, которые писал про функциональное программирование, в том числе переведенные на английский статьи из цикла «Введение в fp-ts» с Хабра.
Встречайте: https://ybogomolov.me 🤘🏻

Серия "Intro to fp-ts":
https://ybogomolov.me/01-higher-kinded-types
https://ybogomolov.me/02-type-classes
https://ybogomolov.me/03-nullables-exceptions
https://ybogomolov.me/04-tasks

Серия #MonadicMondays:
https://ybogomolov.me/monadic-monday-compilation-april
https://ybogomolov.me/monadic-monday-compilation-may
https://ybogomolov.me/monadic-monday-compilation-june
https://ybogomolov.me/monadic-monday-compilation-july

Прочее:
Статья про типобезопасный фронт: https://ybogomolov.me/typesafe-typescript
Статья про пакет circuit-breaker-monad: https://ybogomolov.me/circuit-breaker-in-functional-world
Недавняя заметка про комментарии к функциям как образовательный ресурс: https://ybogomolov.me/comments-as-education

В дальнейшем все материалы, которые я буду создавать, будут в первую очередь публиковаться именно в блоге.

https://doi.org/10.1017/S0956796821000113
"How to design co-programs" by Jeremy Gibbons

Статья призывает расширить подход How to Design Programs (aka HtDP, серия курсов, обучающих студентов программированию с нуля, плюс два издания одноимённой книги: https://htdp.org/ если кто не знает) за счёт введения понятия ко-рекурсивных функций и соответствующих паттернов для их построения.

Говоря по-простому, ко-рекурсивные функции — это такие, которые строят свой результат "по кусочкам", используя конструкторы соответствующего (алгебраического) типа данных, вместо того (или вместе с тем) чтобы разбирать входные данные "на кусочки" при помощи сопоставления с образцом (aka [datatype] pattern matching).

Я безусловно согласен с Гиббонсом в том, что ко-рекурсивные функции — очень полезный инструмент в арсенале разработчика, особенно, начинающего. Тем не менее, на мой взгляд, эта тема требует намного более тщательной методической проработки чтобы органично встроиться в общую канву HtDP.

Более того, самая интересная часть этой статьи — ещё одна статья, которая не была написана, к сожалению. 😊 В середине повествования Гиббонс обсуждает "генеративную рекурсию" (generative recursion, термин из HtDP), и показывает как функции (изначально) в форме общей генеративной рекурсии могут быть представлены в виде композиции структурно-рекурсивной и ко-рекурсивной функции (так же известной как "иломорфизм" или "хиломорфизм" — hylomorphism). К сожалению, за кадром остаются самые важные и интересные вопросы: как понять, что данную конкретную функцию можно представить в виде такой композиции, или придётся использовать генеративную рекурсию общего вида? как выбрать подходящую промежуточную структуру для рекурсии и ко-рекурсии? Возможно, эти вопросы удастся прояснить тем, кто интегрирует тему ко-рекурсивных функций в свои учебные программы. 😊

Жизненно)))

Пишут, что https://people.cs.uchicago.edu/~shanlu/paper/hotos19_azure.pdf

found that 21% of the cloud outages resulted from inconsistent data format assumptions across different software components and versions

Good luck with dynamically typed languages.
(Сам я, конечно, не читал что там пишут 😁)