Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Typechecker Zoo - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Andrew Blinn
I use programming language theory as a lens on UI design, trying to make engagement with abstractions more fluid, tangible, and fun
Effect – The best way to build robust apps in TypeScript
Effect is a powerful TypeScript library designed to help developers easily create complex, synchronous, and asynchronous programs.
On Programming with Agents
From the Zed Blog: Agents handle typing so we can focus on thinking.
Slim Lim: "Concrete syntax matters, actually"
Communicating in Types • Kris Jenkins • GOTO 2024
Tangible Functional Programming
Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...
Paul Chiusano: The future of software, the end of apps, and why UX designers should care about type theory
[ econ fp tech unison ux ]
SOLID: The Software Design, Architecture & Testing Wiki
Learn to write testable, flexible, maintainable code with TypeScript.
Theorems for free! | Proceedings of the fourth international conference on Functional programming languages and computer architecture
The polymorphic blame calculus integrates static typing, including universal types, with dynamic typing. The primary challenge with this integration is preserving parametricity: even dynamically-typed code should satisfy it once it has been cast to a ...
Thinking with Type
The essential and bestselling guide to typography from beloved design educator Ellen Lupton—revised and expanded to include new and additional voices, examples, and principles, and a wider array of typefaces. "Thinking with Type is to typography what Stephen Hawking's A Brief History of Time is to physics."—I Love TypographyThe bestselling Thinking with Type in a revised and expanded third edition: This is the definitive guide to using typography in visual communication. Covering the essentials of typography, this book explores everything from typefaces and type families to kerning and tracking to grids and layout principles.Ellen Lupton provides clear and focused guidance on how letters, words, and paragraphs should be aligned, spaced, ordered, and shaped. Historical and contemporary examples of graphic design show how to learn the rules and how to break them. Critical essays, eye-opening diagrams, helpful exercises, and dozens of examples and illustrations show readers how to be inventive within systems that inform and communicate.Featuring 32 pages of new content, the third edition is revised and refined from cover to cover: More fonts: old fonts, new fonts, weird fonts, libre fonts, Google fonts, Adobe fonts, fonts from independent foundries, and fonts and lettering by women and BIPOC designersIntroductions to diverse writing systems, contributed by expert typographers from around the worldDemonstrations of basic design principles, such as visual balance, Gestalt grouping, and responsive layoutCurrent approaches to typeface design, including variable fonts and optical sizes; tips for readability, legibility, and accessibility; and stunning reproductions from the Letterform Archive Thinking with Type is the typography book for everyone: designers, writers, editors, students, anyone who works with words on page or screen, and enthusiasts of type and lettering. Readers will also love Ellen Lupton's book Extra Bold: A Feminist, Inclusive, Anti-racist, Nonbinary Field Guide for Graphic Designers. Ellen Lupton is a designer, writer, and educator. She has written numerous books about graphic design, including Thinking with Type, Graphic Design Thinking, and Extra Bold: A Feminist, Inclusive, Anti-racist, Nonbinary Field Guide for Graphic Designers. She teaches in the Graphic Design MFA program at Maryland Institute College of Art in Baltimore (MICA), where she proudly serves as the Betty Cooke and William O. Steinmetz Design Chair. She is Curator Emerita at Cooper Hewitt, Smithsonian Design Museum in New York City, where her exhibitions included Herbert Bayer: Bauhaus Master and The Senses: Design Beyond Vision. Lupton loves reading, writing, teaching, and learning new things about design.
Aaron Steven White
computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io
Write You a Haskell ( Stephen Diehl )