Latest #types Threads 
In the meanwhile, Cure sees a light at the end of the tunnel. In the last week it got several features I’m really proud of, and I have im...
New
Episode 295 of Thinking Elixir. News includes José Valim publishing a deep technical post on Elixir’s type system shift from DNFs to Lazy...
New
Episode 282 of Thinking Elixir. News includes cutting-edge research from José Valim and Guillaume Duboc on the data structures powering E...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Lazier Binary Decision Diagrams (BDDs) for set-theoreti...
New
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal wit...
New
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
This Week's Trending
In the meanwhile, Cure sees a light at the end of the tunnel. In the last week it got several features I’m really proud of, and I have im...
New
This Month's Trending
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
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
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal wit...
New
Episode 282 of Thinking Elixir. News includes cutting-edge research from José Valim and Guillaume Duboc on the data structures powering E...
New
When designing error types in Rust, especially for libraries with a public API, there are several important considerations to keep in min...
New
IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. M...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Lazier Binary Decision Diagrams (BDDs) for set-theoreti...
New
Episode 295 of Thinking Elixir. News includes José Valim publishing a deep technical post on Elixir’s type system shift from DNFs to Lazy...
New
Last Three Year's Trending
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 Swift blog post/announcement has been posted!
New
Overloading gen-class methods of glorious types with sublime nation of clojure for make great benefit of interop.
(Post title shenanigan...
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
A new Go blog post/announcement has been posted!
Get the full details here: Range Over Function Types - The Go Programming Language
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
It’s the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford an...
New
Episode 236 of Thinking Elixir. News includes José Valim’s exciting PR for Elixir 1.19 that dramatically enhances type inference capabili...
New
Dialyzer is something that eventually everyone hears about in the Elixir community. It’s a static code analysis tool that has both fans a...
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
From Go to Rust: The Two Types of Readable Code.
Ever looked at some code and thought, “Wow, that’s an ugly mess!”? Or maybe you picked ...
New
TypeScript: Branded Types :wrench:.
How to brand TypeScript types for norminal typing
New
The 6 Types of Conversations with Generative AI.
When interacting with generative-AI bots, users engage in six types of conversations, d...
New
A new Rust blog post/announcement has been posted!
Get the full details here: Types Team Update and Roadmap | Rust Blog
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
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
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
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
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
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
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 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
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
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
A new Rust blog post/announcement has been posted!
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
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
The Pragmatic Studio
20% off any course
Linux New Media
15% off any non-sub item
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
- #linux
- #programming
- #web
- #blog-post
- #podcasts
- #video
- #news
- #otp
- #community
- #openai
- #microsoft
- #chatgpt
- #learning
- #github
- #macos
- #new
- #project
- #ai
- #development
- #manning
- #design
- #testing
- #database
- #performance
- #ios
- #internet
- #css
- #android
- #apps
- #nvidia
- #blog
- #guide
- #quantum
- #hardware
- #llm
- #browser
- #intel
- #amazon
- #social
- #privacy
- #liveview
- #games
- #windows
- #musk
- #writing
- #api
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /emacs
- /haskell
- /svelte
- /onivim
- /typescript
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /html
- /opensuse
- /zig
- /deepseek
- /centos
- /php
- /scala
- /react-native
- /lisp
- /textmate
- /sublime-text
- /nixos
- /debian
- /agda
- /deno
- /django
- /kubuntu
- /arch-linux
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.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
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 move you from confusion to "Aha, now I get it!"
Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.