В твиттере показали красивое: https://github.com/gvergnaud/hotnoscript
Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨
Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).
Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).
ybogomolov.me
Intro To Effect, Part 2: Handling Errors
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
Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥
Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.
Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.
ybogomolov.me
Intro To Effect, Part 3: Managing Dependencies
Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨
Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.
Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.
ybogomolov.me
Intro To Effect, Part 4: Concurrency in Effect
Пятая статья из цикла “Intro to Effect”:
https://ybogomolov.me/05-effect-stm ✨
Разбираю тему software transactional memory (STM).
https://ybogomolov.me/05-effect-stm ✨
Разбираю тему software transactional memory (STM).
ybogomolov.me
Intro To Effect, Part 5: Software Transactional Memory in Effect
https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.
Nostarch
Learn Physics with Functional Programming
Deepen your understanding of physics by learning to use the Haskell functional programming language.
Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую.
Richard-Towers
Richard Towers | Typenoscripting the technical interview
An homage to Aphyr's Typing the technical interview
https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта.
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
X (formerly Twitter)
zack (in SF) (@zack_overflow) on X
I wrote a 2D game, entirely in type-level Typenoscript.
Yes, you read that right. This is flappy bird, written only in Typenoscript types.
How did I do it? It involves a lot of type magic, and a new type-level Typenoscript runtime I made in Rust + Zig.
Let me…
Yes, you read that right. This is flappy bird, written only in Typenoscript types.
How did I do it? It involves a lot of type magic, and a new type-level Typenoscript runtime I made in Rust + Zig.
Let me…
dd if=/dev/stuff of=/dev/tg
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта. Это стало возможным благодаря кастомному рантайм, написанному на Zig. A work of pure art 🖼️
И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typenoscript
zackoverflow.dev
Flappy Bird Implemented in Typenoscript types
The ultimate type-level trickery
Design Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
mmapped.blog
Universal domain types
A guide to domain-specific types that make sense.