#prog #clojure #article
Серия блогпостов про внутреннее устройство персистентных векторов в Clojure.
Understanding Clojure's Persistent Vectors, pt. 1
Understanding Clojure's Persistent Vectors, pt. 2
Understanding Clojure's Persistent Vectors, pt. 3
Understanding Clojure's Transients
Persistent Vector Performance Summarised
Размер шрифта советую снизить, по умолчанию он чёт крупноват
Серия блогпостов про внутреннее устройство персистентных векторов в Clojure.
Understanding Clojure's Persistent Vectors, pt. 1
Understanding Clojure's Persistent Vectors, pt. 2
Understanding Clojure's Persistent Vectors, pt. 3
Understanding Clojure's Transients
Persistent Vector Performance Summarised
Размер шрифта советую снизить, по умолчанию он чёт крупноват
Hypirion
Understanding Clojure's Persistent Vectors, pt. 1
Ever wondered how Clojure's persistent vector actually works? This is part 1 of a blog series which aims to explain them.
👍4🖕1
#prog #haskell #article
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
Haskellforall
GADTs
Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...
🤯5👍3💩1🖕1
Блог*
#prog #haskell #article GADTs Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго…
Хм. В Rust нет ни GADT, ни полиморфизма высшего ранга*, но последнее можно эмулировать при помощи трейтов с обобщёнными методами... Возможно, будет авторский пост.
* строго говоря, есть, но только для лайфтаймов, не для типов.
* строго говоря, есть, но только для лайфтаймов, не для типов.
Telegram
Блог*
#prog #rust #article
Как известно, в Rust (почти) нет higher-ranked polymorphism. Тем не менее, иногда его можно эмулировать довольно простым образом.
leshow.github.io/post/cheat_rank_n
Как известно, в Rust (почти) нет higher-ranked polymorphism. Тем не менее, иногда его можно эмулировать довольно простым образом.
leshow.github.io/post/cheat_rank_n
👍6🤯2🖕1
Forwarded from Рубрика Рандомных Реплик Ромы (ГуРоАл aka NamorNiradnug)
Идея для стартапа: желтые утята для программистов с встроенной ChatGPT.
❤7🤯3🖕1
Forwarded from Tycho (Michael)
ты ей рассказываешь код, а она предлагает, какие ещё классные баги можно в него добавить
😁8❤2🖕1
Forwarded from ☕️ Мерлин заваривает τσάι 🐌
Это как нарисовать узор на берегу моря чтобы волны построили песочный замок
https://btm.qva.mybluehost.iss.one/building-arbitrary-life-patterns-in-15-gliders/
https://btm.qva.mybluehost.iss.one/building-arbitrary-life-patterns-in-15-gliders/
❤5🤩4🤯1🖕1
#prog #python #article
Writing Python like it's Rust
Правда, только пример про мьютекс реально связан с Rust, остальное в принципе про плюшки системы типов.
Writing Python like it's Rust
Правда, только пример про мьютекс реально связан с Rust, остальное в принципе про плюшки системы типов.
Kobzol’s blog
Writing Python like it’s Rust
You can check out a YouTube recording of a talk based on this blog post.
👍5🔥1🖕1
#prog #rust #amazingopensource
Typst is a new markup-based typesetting system that is designed to be as powerful as LaTeX while being much easier to learn and use. Typst has:
* Built-in markup for the most common formatting tasks
* Flexible functions for everything else
* A tightly integrated scripting system
* Math typesetting, bibliography management, and more
* Fast compile times thanks to incremental compilation
* Friendly error messages in case something goes wrong
Typst is a new markup-based typesetting system that is designed to be as powerful as LaTeX while being much easier to learn and use. Typst has:
* Built-in markup for the most common formatting tasks
* Flexible functions for everything else
* A tightly integrated scripting system
* Math typesetting, bibliography management, and more
* Fast compile times thanks to incremental compilation
* Friendly error messages in case something goes wrong
❤🔥24🤔5👍2🤮1🖕1