Kaspar Minosiants

Software Dev.

[Alexander Granin @graninas]

Hi all, it’s time to officially announce my new book:

Pragmatic Type-Level Design

Yay! 😀😀😀😄😊😊😊

🗜️ It is about practical, approachable, useful type-level programming with concrete ideas applicable across various languages: C++, Rust, Scala, OCaml, Haskell, F#.

👩‍🎓Curry-Howard correspondence, System F, Propositional Logic, type-level isomorphisms, cumulative universes—nothing like that in my book. It is academism-free, avoids math completely, and is approachable to mere developers like me who just want to build real applications using ready type-level solutions and approaches.

By PTLD on LeanPub for $35 and support my hard work; the link is in the message below.

What does the book offer? A lot:

🟤 type-level domain modeling
🔵 type-level domain-specific languages (eDSLs)
🟣 type-level correctness verification
🟡 extensibility and genericity approaches
🟠 type-level interfaces (my own concept)
🔴 application architectures and type-level design patterns
🟢 design principles such as SOLID, make invalid states unrepresentable, dumb but uniform
⚪️ a whole methodology called Pragmatic Type-Level Design
🟤 several new ideas and approaches never seen in other resources before

📝 PTLD has 409 pages, 481K symbols, and 72K words. 💐Writing is engaging and fun, full of nice diagrams and pictures. I even developed a special visual language, Typed Forms, which is useful for illustrating the types and relations.

➡️The model language is Haskell, but the book is not about features; it’s about high-level design ideas that can be transferred to other languages. The Rosetta Stone part provides this translation to Rust and Scala 3.⬅️

❗️The book is systematic, offering a definite methodology for writing type-level applications. It is not just a set of receipts, it is a complete story from end to end. No blind hacking 👩‍🦯, No type astronautics 🛸, nothing for pleasuring one's intellect 🚫🧠🚫. Only pragmatism, only hardcore 🛠️.

🤖 There are numerous supporting projects, all with different application architectures: cellular automaton management is a common CLI application; Minefield step-by-step game is actor-based; Zeplrog, a zero-player rogue-like game (not playable at the moment), is also actor-based, but it’s much more than that. There are other showcase projects I developed for the book, you’ll find them in the book’s repo.

📚 If you have my previous book, Functional Design and Architecture (Manning), you know my writing approach. I cover gaps in software engineering and try to build a new foundation for functional programming. Hopefully, Functional Design and Architecture will become a classic one day. In some sense, PTLD is marketing material for it. Yes, this is my way of promoting a book—to write another one. PTLD and FDaA complement each other nicely. 🧩🧩

▶️If PTLD sells well (1000+ copies), I’ll expand the main material with four new chapters because the subject is deep, and there are more topics to discuss. I’ll also add two more chapters with C++ and F#/OCaml to the Rosetta Stone part. ◀️

➤ I’ll collect issues and errata for a while and publish an updated version sometime in January 2025. If you are interested in a free copy in return for the beta reading, please contact me directly; I’ll be happy to get your help.

➤ Additionally, I have 10 author’s paper copies of Functional Design and Architecture (Manning). Contact me directly if you want to purchase the PTLD e-book and FDaA paper copy together for $60, including EMS shipping worldwide.

➤ In January, I’ll also investigate Amazon KDP publishing to enable paper copy on demand.
Hope you’ll enjoy my insights and will get something useful in your day-to-day practice.

[Kaspar Minosiants @minosiants]

Northeast Scala Symposium 2023 https://t.co/DjpQsFU5mJ via @YouTube

[Stephen Diehl @smdiehl]

This was pretty good. Kudos to Bloomberg.
https://t.co/BycHirjhL7

[Kaspar Minosiants @minosiants]

Kayak CEO Steve Hafner on the state of travel, AI's place, hospitality t... https://t.co/YXrJ0VlvNC via @YouTube

[Gabriel Claramunt @gclaramunt]

https://t.co/cWMjCXP4nX

[Forbes @Forbes]

Why You Should Never Share Your Boarding Pass On Social Media https://t.co/C44S5tRJU7

[Scala Days @scaladays]

Exciting news: Recordings from the Scala Days Seattle presentations are now available on YouTube.

We'll be posting links to each video.

#ScalaDays #Scala #Conference

[Kaspar Minosiants @minosiants]

Поддержка @Rostelecom_News не отвечает. Интернет в Питере не работает.

[Kaspar Minosiants @minosiants]

Updated #pencil to cats-effect 3.
https://t.co/1HKtvHZLLj
#scala #smtp #smtpclient

[Kaspar Minosiants @minosiants]

Paypal mafia 😂🤐 https://t.co/Ib74kangEI

[Kaspar Minosiants @minosiants]

Finished "Haskell Programming From First Principles" https://t.co/wlsUj8Ilxu It took one year . 🤐

[Mashable @mashable]

No need to hail this taxi!

[Kaspar Minosiants @minosiants]

Ethereum protocol Casper 😍💪😂https://t.co/pOdtsb51DQ

[Kaspar Minosiants @minosiants]

Programming Languages Virtual Meetup https://t.co/KdRcyARhK1 started covering
Category Theory for Programmers book 👍https://t.co/UmLBLFrLk9 via @YouTube

[Obsidian @obsdmd]

Obsidian 0.11.0 just dropped!

• Colored groups in graph
• Persistent folding everywhere
• Right click link to rename
• URI to create note
• Hover preview for search results and backlinks
& lots of QoL goodness!

Download (or check for update in-app):
https://t.co/sq8HL1qAKN

[Kaspar Minosiants @minosiants]

In love with #Haskell #LSP . It is like an AI tutor 😍😃😜
https://t.co/lDNjN1FuLa

[CIX 🦾 @cixliv]

A very cool and practical use of AR (Augmented Reality).

Visual explanations of real world objects.

Here demonstrated with the @Raspberry_Pi

[Mashable @mashable]

Show off those pearly whites!

[Kaspar Minosiants @minosiants]

https://t.co/o49AmueaU5 #BTC

[Kaspar Minosiants @minosiants]

https://t.co/LSUabM05sa Good book describes how to build and use #zettelkasten by #Luhmann
I took some notes https://t.co/ik9I0vH2yL So ready to start my slip-box 💪