Latest #type Threads 
A startup, together with activists, has launched an open-source drone detection system that links data from participatin…
New
A new Elixir blog post/announcement has been posted!
Get the full details here: http://elixir-lang.org/blog/2026/01/09/type-inference-o...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.19 released: enhanced type checking, broader ...
New
What is Typed Python? Why is it important for Python developers today? How to can you get started?
New
Using Template Haskell to derive the structure of records and simulate structural subtyping
New
What is the difference between a concept and a type trait? Note that you can create a type trait using a requires-expression: You can als...
New
Why aren’t people writing more types? Perhaps it’s because the intermediate and expert developers deleted the patterns that didn’t work a...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.18 released: type checking of function calls,...
New
Go and Java: Rethinking Type Safety for the Pragmatic Age.
premise I want to explore where mainstream programming languages are headed, ...
New
Sets, types and type checking.
My currently understanding of types
New
This Week's Trending
This Month's Trending
This Year's Trending
What is Typed Python? Why is it important for Python developers today? How to can you get started?
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.19 released: enhanced type checking, broader ...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: http://elixir-lang.org/blog/2026/01/09/type-inference-o...
New
Using Template Haskell to derive the structure of records and simulate structural subtyping
New
A startup, together with activists, has launched an open-source drone detection system that links data from participatin…
New
Last Three Year's Trending
A new Elixir blog post/announcement has been posted!
New
A new Go blog post/announcement has been posted!
Get the full details here: Everything You Always Wanted to Know About Type Inference -...
New
TypeScript-first schema validation with static type inference.
TypeScript-first schema validation with static type inference
New
A Different Type of SQL Recursion with PostgreSQL · vb-consulting/blog · Discussion #1.
A Different Type of SQL Recursion with PostgreSQ...
New
Go and Java: Rethinking Type Safety for the Pragmatic Age.
premise I want to explore where mainstream programming languages are headed, ...
New
How we built a new powerful JSON data type for ClickHouse.
We’re excited to introduce our new and significantly enhanced JSON data type,...
New
Constraining Go type parameter pointers.
A quick note on an FAQ about Go generics
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.18 released: type checking of function calls,...
New
A new F# compiler feature: graph-based type-checking - .NET Blog.
Graph-based type-checking is a new F# compiler flag that allows the co...
New
What is the difference between a concept and a type trait? Note that you can create a type trait using a requires-expression: You can als...
New
Type Erasure in Rust.
Patterns for when dyn isn’t sufficient.
New
Why aren’t people writing more types? Perhaps it’s because the intermediate and expert developers deleted the patterns that didn’t work a...
New
Please make more USB-C cables like this.
Elgato has created a great USB-C cable
New
TS Playground - An online editor for exploring TypeScript and JavaScript.
The Playground lets you write TypeScript or JavaScript online ...
New
A new Go blog post/announcement has been posted!
Get the full details here: Deconstructing Type Parameters - The Go Programming Language
New
Trending Over Three Years
This Keyboard Lets People Type So Fast It’s Banned From Typing Competitions.
A new peripheral lets you keep typing without ever lifting ...
New
A Proposal For Type Syntax in JavaScript.
Today we’re excited to announce our support and collaboration on a new Stage 0 proposal to bri...
New
Type-Level TypeScript — Introduction.
A course to take your TypeScript skills to the next level!
New
TypeScript’s never type is very under-discussed, because it’s not nearly as ubiquitous or inescapable as other types. A TypeScript beginn...
New
Type.
Type is a directed typing experiment. You choose the direction the
letters should flow.
New
A new Crystal blog post/announcement has been posted!
Get the full details here: Reveal type in Crystal - The Crystal Programming Language
New
Types Of Barcodes - 1D & 2D - Scanbot SDK.
An essential overview on the most-used barcode types. 1D- and 2D-barcodes for retail, log...
New
A new Svelte blog post/announcement has been posted!
Get the full details here: Zero-effort type safety
New
Type Specialization in Go.
This post was originally tweets but then things happened, and it needed a new linkable home. Btw, I’m now @co...
New
Why We Added TypeScript Configuration Support.
We’re excited to announce support for generating GraphQL schemas with TypeScript.
New
The Hidden Dangers of Haskell’s Ratio Type.
Haskell’s Rational datatype is useful, but using a type other than Integer with Ratio leads ...
New
Python Type Hints are Turing Complete.
Grigore showed that Java generics are Turing complete by describing a
reduction from Turing mach...
New
Type-safe React Query.
About the difference between “having types” and “being type-safe”…
New
Abstract
This paper proposes a new type system for concurrent pro- grams, allowing threads to exchange complex object graphs without ris...
New
A new Erlang blog post/announcement has been posted!
Get the full details here: https://www.erlang.org/blog/type-based-optimizations-in...
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
- #otp
- #news
- #openai
- #community
- #github
- #microsoft
- #chatgpt
- #learning
- #macos
- #new
- #ai
- #manning
- #project
- #design
- #development
- #testing
- #database
- #performance
- #ios
- #internet
- #llm
- #blog
- #css
- #android
- #apps
- #nvidia
- #guide
- #hardware
- #quantum
- #browser
- #amazon
- #intel
- #social
- #games
- #privacy
- #liveview
- #coding
- #windows
- #musk
- #api
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /java
- /clojure
- /emacs
- /haskell
- /typescript
- /svelte
- /onivim
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /elm
- /flutter
- /vscode
- /html
- /ash
- /deepseek
- /zig
- /opensuse
- /centos
- /php
- /scala
- /react-native
- /lisp
- /sublime-text
- /textmate
- /debian
- /nixos
- /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.