Latest #type Threads 
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
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
TypeScript-first schema validation with static type inference.
TypeScript-first schema validation with static type inference
New
ts-blank-space.
A small, fast, pure JavaScript type-stripper that uses the official TypeScript parser.
New
Constraining Go type parameter pointers.
A quick note on an FAQ about Go generics
New
TS Playground - An online editor for exploring TypeScript and JavaScript.
The Playground lets you write TypeScript or JavaScript online ...
New
This Week's Trending
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
This Month's Trending
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
This Year's Trending
TypeScript-first schema validation with static type inference.
TypeScript-first schema validation with static type inference
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
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.18 released: type checking of function calls,...
New
Sets, types and type checking.
My currently understanding of types
New
ts-blank-space.
A small, fast, pure JavaScript type-stripper that uses the official TypeScript parser.
New
Last Three Year's Trending
Python Type Hints are Turing Complete.
Grigore showed that Java generics are Turing complete by describing a
reduction from Turing mach...
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
Type-Level TypeScript — Introduction.
A course to take your TypeScript skills to the next level!
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
A new Svelte blog post/announcement has been posted!
Get the full details here: Zero-effort type safety
New
A new Crystal blog post/announcement has been posted!
Get the full details here: Reveal type in Crystal - The Crystal Programming Language
New
A few words on Ruby’s type annotations state.
…that were written in a military training camp and accidentally grew to 5k words
New
Type-safe React Query.
About the difference between “having types” and “being type-safe”…
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
A new Elixir blog post/announcement has been posted!
New
The different uses of Python type hints.
5 different things you might be using type annotations for, or might want to.
New
GitHub - Mythra/typeish: A runtime type checker for bash… in bash. I’m not sorry…
A runtime type checker for bash… in bash. I’m not sorr...
New
Why We Added TypeScript Configuration Support.
We’re excited to announce support for generating GraphQL schemas with TypeScript.
New
Giant Keyboard Is Just Our Type.
We like big keyboards and we cannot lie, and we’ve seen some pretty big keyboards over the years. But t...
New
60% keyboards bring advanced customization and programmability.
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
TypeScript’s never type is very under-discussed, because it’s not nearly as ubiquitous or inescapable as other types. A TypeScript beginn...
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
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
Type.
Type is a directed typing experiment. You choose the direction the
letters should flow.
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
Sorbet: Stripe’s type checker for Ruby.
Stripe uses Sorbet to type check our 15 million lines of Ruby code, making engineers more produc...
New
Today, I’m writing about what types can be used for other than checking code properties. It will involve a good chunk of dynamic typing, ...
New
Topological qubits don’t exist yet, but the company is convinced they’ll scale.
New
Introduction to Type Systems
Introduction to Type Systems – 23 May 2020
Simply typed lambda calculus – 24 May 2020
Polymorphic lambda ca...
New
Every action you take is a vote for the type of person you wish to become.
The title of this blog is a quote from James Clear’s Atomic H...
New
Type Checking in Whiley goes Both Ways!.
Type Checking in Whiley goes Both Ways!
New
A number of websites include keyloggers that covertly snag your keyboard inputs.
New
The Usability of Advanced Type Systems: Rust as a Case Study.
Advanced type systems that enforce various correctness and safety
guarant...
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
- #news
- #video
- #otp
- #community
- #chatgpt
- #macos
- #new
- #microsoft
- #learning
- #openai
- #github
- #database
- #development
- #design
- #ios
- #performance
- #testing
- #project
- #internet
- #apps
- #css
- #hardware
- #android
- #quantum
- #guide
- #nvidia
- #intel
- #liveview
- #amazon
- #manning
- #browser
- #musk
- #privacy
- #social
- #languages
- #windows
- #api
- #writing
- #games
- #tiktok
- #ai
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
- /zig
- /scala
- /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.
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!"