Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
dd if=/dev/stuff of=/dev/tg
@randomstuffilike
Музыка: @randommusicilike
18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot
По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
dd if=/dev/stuff of=/dev/tg
05 Dec, 20:21
Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
dd if=/dev/stuff of=/dev/tg
09 Nov, 12:52
Design Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
dd if=/dev/stuff of=/dev/tg
19 Oct, 17:30
И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript
dd if=/dev/stuff of=/dev/tg
19 Oct, 17:21
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта.
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
dd if=/dev/stuff of=/dev/tg
18 Oct, 07:20
https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.
dd if=/dev/stuff of=/dev/tg
09 Sep, 09:11
Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую.
dd if=/dev/stuff of=/dev/tg
08 Sep, 09:03
Большое событие — вышел официальный стабильный релиз Lean 4! 🥳
dd if=/dev/stuff of=/dev/tg
05 Sep, 20:18
https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.
dd if=/dev/stuff of=/dev/tg
22 Aug, 16:25
Пятая статья из цикла “Intro to Effect”:
https://ybogomolov.me/05-effect-stm ✨
Разбираю тему software transactional memory (STM).
https://ybogomolov.me/05-effect-stm ✨
Разбираю тему software transactional memory (STM).
dd if=/dev/stuff of=/dev/tg
18 Aug, 12:55
Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨
Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.
Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.
dd if=/dev/stuff of=/dev/tg
13 Aug, 11:58
Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥
Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.
Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.
dd if=/dev/stuff of=/dev/tg
18 Jul, 06:25
Typed Design Patterns for the Functional Era
This paper explores how design patterns could be revisited in the era of mainstream functional programming languages.
https://arxiv.org/abs/2307.07069
This paper explores how design patterns could be revisited in the era of mainstream functional programming languages.
https://arxiv.org/abs/2307.07069
dd if=/dev/stuff of=/dev/tg
16 Jul, 13:11
Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨
Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).
Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).
dd if=/dev/stuff of=/dev/tg
11 Jul, 13:17
В твиттере показали красивое: https://github.com/gvergnaud/hotscript
dd if=/dev/stuff of=/dev/tg
11 Jul, 12:43
Начало новой серии статей о Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое
Effect<R, E, A>, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения.
dd if=/dev/stuff of=/dev/tg
11 Jul, 11:36
TLA+, но с человеческим синтаксисом:
https://github.com/informalsystems/quint
Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.
https://github.com/informalsystems/quint
Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.
dd if=/dev/stuff of=/dev/tg
10 Jul, 16:50
Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, когда система типов Тьюринг-полна 🤤
dd if=/dev/stuff of=/dev/tg
10 Jul, 07:00
Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.
dd if=/dev/stuff of=/dev/tg
09 Jul, 11:39
Реализация STLC на хаскеле с использованием индексов/уровней де Брёйна: https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 🔥
2,933
subscribers
348
photos
5
videos
