По просьбам коллег начал новый небольшой проект: code kata для функционального TypeScript.
Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.
Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata
Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.
Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata
GitHub
GitHub - YBogomolov/fp-ts-kata: Code kata for fp-ts
Code kata for fp-ts. Contribute to YBogomolov/fp-ts-kata development by creating an account on GitHub.
Forwarded from Nick Ivanych
Такое вот —
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link
Forwarded from PONV Daily (λoλcat)
Либа от Дмитро Митина (автора известного курса по завтипам) для макрогенерации различных хэлперов для тайпклассов: aux-паттерны, суммонеры, конструкторы, синтаксические расширения и др.
https://github.com/DmytroMitin/AUXify
https://github.com/DmytroMitin/AUXify
Stepik: online education
Introduction to programming with dependent types in Scala (2019)
#музыкальная_пауза
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY
YouTube
Periphery - Prayer Position (Bass Playthrough)
Adam "Nolly" Getgood's bass playthrough of 'Prayer Position' from the album, Periphery III: Select Difficulty - available now on Sumerian Records at http://smarturl.it/PeripheryIII-iTunes
More 'Prayer Position' Playthroughs:
Matt (Drums): http://youtu.be/whUy9s7jeqE…
More 'Prayer Position' Playthroughs:
Matt (Drums): http://youtu.be/whUy9s7jeqE…
Книга «Structure and Interpretation of Computer Programs» (SICP) в HTML/EPUB для чтения на мобильных устройствах:
https://github.com/sarabander/sicp
Она же, но в PDF, сгенерированном из LaTeX, — для эстетствующих господ:
https://github.com/sarabander/sicp-pdf
https://github.com/sarabander/sicp
Она же, но в PDF, сгенерированном из LaTeX, — для эстетствующих господ:
https://github.com/sarabander/sicp-pdf
GitHub
GitHub - sarabander/sicp: HTML5/EPUB3 version of SICP
HTML5/EPUB3 version of SICP. Contribute to sarabander/sicp development by creating an account on GitHub.
dd if=/dev/stuff of=/dev/tg
Психотерапевт: котокоровы не существует, она не может тебе навредить. Я: Котокорова:
Пока скачивал изображение, обратил внимание, что хром отображает alt-атрибут при скачивании. Важная штука для скринридеров, кстати. Приятно видеть, что люди не забывают о доступности.