Четвертая статья из серии "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 | Typescripting 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 Typescript.
Yes, you read that right. This is flappy bird, written only in Typescript types.
How did I do it? It involves a lot of type magic, and a new type-level Typescript runtime I made in Rust + Zig.
Let me…
Yes, you read that right. This is flappy bird, written only in Typescript types.
How did I do it? It involves a lot of type magic, and a new type-level Typescript 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-typescript
zackoverflow.dev
Flappy Bird Implemented in Typescript 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.