Latest #types Threads 
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
Sets, types and type checking.
My currently understanding of types
New
This Week's Trending
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
When designing error types in Rust, especially for libraries with a public API, there are several important considerations to keep in min...
New
This Month's Trending
This Year's Trending
A new Swift blog post/announcement has been posted!
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.17 released: set-theoretic types in patterns,...
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 Rust blog post/announcement has been posted!
Get the full details here: Types Team Update and Roadmap | Rust Blog
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
Safe and efficient C++ interoperability via non-escapable types and lifetimes.
Introduction Safely interacting with unsafe code is chall...
New
A new Go blog post/announcement has been posted!
Get the full details here: Range Over Function Types - The Go Programming Language
New
Types Team Update and Roadmap | Rust Blog.
Empowering everyone to build reliable and efficient software.
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
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 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
Background
I am moving towards defined data structures in my application, and I find that TypedStruct is quite useful.
Questions
Howeve...
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
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
Introducing Austral: A Systems Language with Linear Types and Capabilities.
Introducing a new programming language.
New
Programming with union, intersection, and negation types.
In this essay, I present the advantages and, I dare say, the beauty of
progra...
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
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
The two types of creativity that peak at different ages.
A new analysis of Nobel Prize winners in economics discovered notable differenc...
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
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
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
Climbing Steep hills, or adopting Ruby 3 types with RBS — Martian Chronicles.
A deep dive into adding Ruby Type Signatures to existing p...
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
Welcome to Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.
The “counterexa...
New
…
So what do I conclude from this? Not much other than that static typing is not for me. I prefer the flexibility of dynamic typing, and...
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
- #via-ars-technica
- #apple
- #code
- #programming
- #linux
- #web
- #podcasts
- #blog-post
- #video
- #news
- #otp
- #community
- #chatgpt
- #new
- #macos
- #microsoft
- #learning
- #openai
- #github
- #via-techcrunch
- #database
- #development
- #design
- #performance
- #ios
- #testing
- #project
- #internet
- #apps
- #css
- #hardware
- #android
- #quantum
- #guide
- #nvidia
- #intel
- #amazon
- #browser
- #liveview
- #musk
- #manning
- #privacy
- #social
- #languages
- #windows
- #writing
- #api
- #games
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /haskell
- /emacs
- /svelte
- /onivim
- /typescript
- /crystal
- /c-plus-plus
- /tailwind
- /kotlin
- /gleam
- /react
- /flutter
- /elm
- /ocaml
- /ash
- /vscode
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /scala
- /zig
- /debian
- /nixos
- /lisp
- /agda
- /textmate
- /sublime-text
- /react-native
- /kubuntu
- /arch-linux
- /ubuntu
- /revery
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!"