Лекции Дональда Кнута в Стенфорде (111 видео!): https://www.youtube.com/playlist?list=PL94E35692EB9D36F3

Новый стенд для маркеров. Тестирую разные варианты разделителей внутри каждой секции. Модульность рулит 🤟🏻

Хорошая книга и выводы интересные

Big Босс

Ага, понятно.
*вносит Яндекс в тот же черный список, что и Мейл.ру*

https://meduza.io/news/2019/01/17/yandeks-i-mail-ru-podderzhali-zakonoproekt-o-suverennom-internete

Чё нашел, чё нашел… Доказательство того, что система типов в TypeScript полна по Тьюрингу: https://gist.github.com/hediet/63f4844acf5ac330804801084f87a6d4 🤓

#полезности
Сниппет для typelevel assertion для TypeScript:

const assertType = <T>(expect: [T] extends [never] ? never : T): T => expect;

Использование:

assertType<string>('ok'); // => 'ok'
assertType<boolean>(true); // => true
assertType<true>(false); // => Argument of type 'false' is not assignable to parameter of type 'true'
assertType<never>(); // => Expected 1 arguments, but got 0
assertType<never>(undefined); // => Argument of type 'undefined' is not assignable to parameter of type 'never'

Пример typelevel-теста:

  it('IfDef<T, TrueT, FalseT>', () => {
    type A = IfDef<string, string, never>;
    expect(assertType<A>('ok')).toEqual('ok');

    type B = IfDef<string | never, string, never>;
    expect(assertType<B>('ok')).toEqual('ok');

    type C = IfDef<string & never, never, string>;
    expect(assertType<C>('ok')).toEqual('ok');
  });

всем +5 минут к работе SBT за мой счет

Age hasn't slowed you down one bit

Idris, завёрнутый в JS, завёрнутый в очередной hybrid app framework.
https://medium.com/the-web-tub/idris-state-machines-in-javanoscript-apps-b969e2cb6ed2
P.S. Выдержка из официальной доки идриса:
«Idris can produce very big chunks of JavaScript code (hello world weighs in at 1500 lines).»
А что, не такая уж и большая плата за наличие зависимых типов… 🙄

https://www.youtube.com/watch?v=uvDDyLSAZyQ — очень ламповое общение о теории типов, компиляторах, высшей алгебре, теорем-пруверах и будущем функциональных языков. Kudos to @tonpa & @bravit111 :3

Жирное обсуждение на реддите о том, что в Haskell удобнее, чем в Scala.

В тред ворвались мастодонты обоих сообществ: Edward Kmett и Sam Halliday со стороны Haskell и Alexandru Nedelcu с Wojtek Pituła на защите скалы 🍿