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-атрибут при скачивании. Важная штука для скринридеров, кстати. Приятно видеть, что люди не забывают о доступности.
dd if=/dev/stuff of=/dev/tg
JE SUIS JOHN 🅰️ DE GOES
К слову, подобные драмы что в скала-сообществе, что в хаскель-сообществе отталкивают меня всё сильнее и сильнее от обоих.
Почему инженеры не могут просто писать код и делиться кодом с другими? Почему обязательно нужно ворошить грязное белье 2017 года? Почему то, что у тебя в штанах и какие gender pronouns ты предпочитаешь слышать, стало важнее, чем идеи, которые выражаются в коде?
Много вопросов, мало ответов.
Почему инженеры не могут просто писать код и делиться кодом с другими? Почему обязательно нужно ворошить грязное белье 2017 года? Почему то, что у тебя в штанах и какие gender pronouns ты предпочитаешь слышать, стало важнее, чем идеи, которые выражаются в коде?
Много вопросов, мало ответов.