мне не нравится реальность
Все же уже слышали про новый формат QOI (quite ok image format, qoiformat.org), который lossless сжимает картинки +- так же хорошо, как PNG, но при этом в 20-50 раз быстрее, а его спецификация умещается на одну страницу? Хотели бы кодинг стрим где я бы подумал…
#prog #haskell #article
ТоварищМёртвопищ 0xd34df00d написал декодер и енкодер QOI на хаскелле. И весьма быстрые.
Haskell is quite OK for images: decoding QOI
Haskell is quite OK for images: encoding QOI
Товарищ
Haskell is quite OK for images: decoding QOI
Haskell is quite OK for images: encoding QOI
❤6👍3😁2🤯2
#prog #haskell #article
Why 'Functor' Doesn't Matter
Names can’t transmit meaning. They can transmit a pointer, though, which might point to some meaning. If that meaning isn’t the right meaning, then the recipient will misunderstand. <...>
Object Oriented Programming is littered with terrible names, precisely because they mislead and cause a false familiarity. Object, Class, Visitor, Factory, Command, Strategy, Interface, Adapter, Bridge, Composite. All of these are common English words with a relatively familiar understanding to them. And all of them are misleading.
Why 'Functor' Doesn't Matter
Names can’t transmit meaning. They can transmit a pointer, though, which might point to some meaning. If that meaning isn’t the right meaning, then the recipient will misunderstand. <...>
Object Oriented Programming is littered with terrible names, precisely because they mislead and cause a false familiarity. Object, Class, Visitor, Factory, Command, Strategy, Interface, Adapter, Bridge, Composite. All of these are common English words with a relatively familiar understanding to them. And all of them are misleading.
www.parsonsmatt.org
Why 'Functor' Doesn't Matter
Alternative, less click-baity title: Names Do Not Transmit Meaning
👍3
#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
Unique sample drawing & searches with List and StateT --- "Send more money"
Или про то, как интерпретация списка как недетерминированного значения позволяет очень ясно записать решение задачи с ограничениями и при этом задействовать ранний бектрекинг.
Unique sample drawing & searches with List and StateT --- "Send more money"
Или про то, как интерпретация списка как недетерминированного значения позволяет очень ясно записать решение задачи с ограничениями и при этом задействовать ранний бектрекинг.
in Code
Unique sample drawing & searches with List and StateT --- "Send more money"
Nothing too crazy today, just a cute (basic/intermediate) haskell trick as a response to Mark Dominus’s excellent Universe of Discourse post on Easy exhaustive search with the list monad intended for people new or unfamiliar with haskell demonstrating the…
❤🔥5🔥1🤡1
#prog #rust #haskell #article
Reflections on Haskell and Rust
TL;DR: оба языка хороши, но на текущий момент автор считает Rust более прагматичным выбором.
Reflections on Haskell and Rust
For most of my professional experience, I have been writing production code in both Haskell and Rust, primarily focusing on web services, APIs, and HTTP stack development. My journey started with Haskell, followed by working with Rust, and most recently returning to the Haskell ecosystem.
This experience has given me perspective on both languages' strengths and limitations in real-world applications. Each language has aspects that I appreciate and miss when working with the other. This post examines the features and characteristics that stand out to me in each language.
TL;DR: оба языка хороши, но на текущий момент автор считает Rust более прагматичным выбором.
👍2❤1👎1