Latest #types Threads 
IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. M...
New
When designing error types in Rust, especially for libraries with a public API, there are several important considerations to keep in min...
New
The venerable master Foo was walking with a novice. Hoping to prompt the master into a discussion, the novice said: "Master, I have heard...
New
You may have heard of things like fundamental types, built-in types, basic types, integral types, arithmetic types, and so on. But what d...
New
A new Go blog post/announcement has been posted!
Get the full details here: Goodbye core types - Hello Go as we know and love it! - The...
New
Episode 237 of Thinking Elixir. News includes upcoming improvements to ex_doc for version navigation, the release of Phoenix Analytics 0....
New
Episode 236 of Thinking Elixir. News includes José Valim’s exciting PR for Elixir 1.19 that dramatically enhances type inference capabili...
New
Types are the basic tool of software design.
Static or dynamic, a program’s design is written in its types.
New
What would it take to add refinement types to Rust?.
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust...
New
Safe and efficient C++ interoperability via non-escapable types and lifetimes.
Introduction Safely interacting with unsafe code is chall...
New
This Week's Trending
This Month's Trending
IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. M...
New
This Year's Trending
You may have heard of things like fundamental types, built-in types, basic types, integral types, arithmetic types, and so on. But what d...
New
A new Go blog post/announcement has been posted!
Get the full details here: Goodbye core types - Hello Go as we know and love it! - The...
New
Episode 236 of Thinking Elixir. News includes José Valim’s exciting PR for Elixir 1.19 that dramatically enhances type inference capabili...
New
Episode 237 of Thinking Elixir. News includes upcoming improvements to ex_doc for version navigation, the release of Phoenix Analytics 0....
New
The venerable master Foo was walking with a novice. Hoping to prompt the master into a discussion, the novice said: "Master, I have heard...
New
A new Go blog post/announcement has been posted!
Get the full details here: Range Over Function Types - The Go Programming Language
New
Safe and efficient C++ interoperability via non-escapable types and lifetimes.
Introduction Safely interacting with unsafe code is chall...
New
When designing error types in Rust, especially for libraries with a public API, there are several important considerations to keep in min...
New
Types are the basic tool of software design.
Static or dynamic, a program’s design is written in its types.
New
Sets, types and type checking.
My currently understanding of types
New
What would it take to add refinement types to Rust?.
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust...
New
What the heck are reverse mapped types?.
Let’s try to understand what the TypeScript guys mean when they talk about reverse mapped types...
New
Last Three Year's Trending
Background
I am a fan of dialyzer and friends (looking at Gradient) and I try to have sepcs in my code as much as I can. To this end, I a...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: My Future with Elixir: set-theoretic types - The Elixir...
New
Background
I am moving towards defined data structures in my application, and I find that TypedStruct is quite useful.
Questions
Howeve...
New
Using dependent types to write proofs in Haskell | Ascetic Slug.
We all know that we can use Haskell to write functional programs that c...
New
A new Rust blog post/announcement has been posted!
New
Dependent types in Haskell.
Serokell’s team has implemented part 1 of visible forall and improved name resolution and type checking of t...
New
A new Rust blog post/announcement has been posted!
Get the full details here: Officially announcing the types team | Rust Blog
New
A new Go blog post/announcement has been posted!
New
Introducing Austral: A Systems Language with Linear Types and Capabilities.
Introducing a new programming language.
New
The two types of quality // Zeno Rocha.
The Japanese define quality in two ways — atarimae hinshitsu and miryokuteki hinshitsu. Understa...
New
Two types of software engineers.
One assumes it’s easy because it’s a non-technical problem, the other assumes that’s why it’s hard
New
It’s the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford an...
New
A new Swift blog post/announcement has been posted!
New
Types are moving to the right.
Types in programming languages are used to be written to the left of names, but are now moving to the rig...
New
Overloading gen-class methods of glorious types with sublime nation of clojure for make great benefit of interop.
(Post title shenanigan...
New
Trending Over Three Years
Background
I am trying out polymorphic typing with dialyzer. As an example I am using the famous Option type (aka, Maybe Monad) that is n...
New
Louis Pilfold is the creator of the Gleam programming language. He explains what Gleam is and tells us where it came from.
He then dives...
New
Background
So, I am playing around with a concept named “NewType” and I am taking inspiration from languages like F# and Scala.
My objec...
New
Hacking sum types with Go generics.
Go doesn’t have sum types, but generics get us one step closer to a useful polyfill. If you’ve ever ...
New
In this post we’re going to be looking at a more advanced use of Gleam’s type system, known as phantom types. Hopefully by the end of thi...
New
proposal: Go 2: permit types to say they may only be created by containing package · Issue #43123 · golang/go.
It would be useful to per...
New
Python 3 is a highly dynamic language, but it has introduced a syntax for expressing types with PEP484. This paper ex- plores how develop...
New
Climbing Steep hills, or adopting Ruby 3 types with RBS — Martian Chronicles.
A deep dive into adding Ruby Type Signatures to existing p...
New
Algebraic Data Types in Haskell.
In this article, we introduce you to the concept of algebraic data types and show how you can build you...
New
Background
I am now trying Gradual type checking, as a consequence I am giving a shot to Gradient. As I see it, this is an alternative to...
New
Rust has the concept of zero-sized types, or ZSTs for short. These are types that hold no information as part of their layout. A common m...
New
Ivan Rublev is the author of the open source library, Domo, which provides type validations for Elixir applications. He discusses the typ...
New
Trivia About Rust Types: An (Authorized) Transcription of Jon Gjengset’s Twitter Thread.
Preface (by Jimmy Hartzell) I am a huge fan of ...
New
Welcome to Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.
The “counterexa...
New
Dark Patterns - Types of Dark Pattern.
Dark Patterns have been categorised into 12 main types, including ‘bait and switch’, ‘roach motel...
New
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
The Pragmatic Studio
20% off any course
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
Filter by Type:
Popular Tags
- #apple
- #code
- #programming
- #linux
- #web
- #podcasts
- #blog-post
- #video
- #news
- #otp
- #community
- #chatgpt
- #macos
- #new
- #microsoft
- #learning
- #openai
- #github
- #development
- #database
- #design
- #ios
- #performance
- #project
- #testing
- #internet
- #css
- #apps
- #android
- #hardware
- #quantum
- #guide
- #nvidia
- #intel
- #amazon
- #browser
- #liveview
- #musk
- #manning
- #privacy
- #social
- #games
- #ai
- #writing
- #languages
- #windows
- #api
- #tiktok
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /onivim
- /svelte
- /typescript
- /crystal
- /c-plus-plus
- /kotlin
- /tailwind
- /gleam
- /ocaml
- /react
- /flutter
- /elm
- /vscode
- /ash
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /zig
- /scala
- /textmate
- /sublime-text
- /nixos
- /debian
- /lisp
- /agda
- /react-native
- /kubuntu
- /arch-linux
- /ubuntu
- /django
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"