Type
We track 22 posts about Type from 18 engineering blogs. Most active: Lerner Consulting Blog, Raymond Chen, T.J. Maher. Latest post: Oct 21, 2026.
Companies writing about Type
Recent posts
Pylance + Pyrefly: bring your preferred type checker to Visual Studio Code (opens on the source site)
Microsoft Python Engineering ·
Announcing the Type Server Protocol and our partnership with Meta The post Pylance + Pyrefly: bring your preferred type checker to Visual Studio Code appeared first on Microsoft for Python Developers Blog.
CodeSOD: A Type of Type Safety (opens on the source site)
For some godawful reason, people like to explain object oriented concepts via analogy to biological taxonomies. I suppose it's easy to understand an "is-a" relationship (a cat is a mammal), but the down side is you get a complex and increasingly leaky analogy that over-emphasizes the importance of inheritance. That's not to slight Alan's choice of using it to anoymize today's code. It's just a broad frustration on my part. In any case, Alan has been working in a C++ codebase that's written by people who maybe don't fully understand all the key object oriented concepts. That's why you get code…
SQLite Change Column Type Without Losing Data: The Safe Rebuild Guide (opens on the source site)
SQLite does not support altering a column type directly. Learn the safe table rebuild procedure to migrate column types, preserve data, restore indexes and triggers, and avoid silent data loss from foreign key cascades. Continue reading SQLite Change Column Type Without Losing Data: The Safe Rebuild Guide on SitePoint.
Is Agentic now tailors its audit by site type (opens on the source site)
Vercel ·
Is Agentic reports now let you view your checks through one of four site types: Docs & content, Business, App, or Commerce. For example, the Commerce view highlights payment and checkout standards like x402, UCP, and ACP, while the App view highlights API discovery, authentication, error handling, and SDK support. Your score stays the same in every view, and you can change views on an existing report without rescanning. Only the highlighted checks change, so you can focus on what matters for your kind of site while keeping scores comparable across sites. To set the default view, add a single…
Kodebits Day 85: Type Check As Cast [FREE] (opens on the source site)
What does this print? fun main() { val x: Any = 42 val n = x as Int println(n * 2) } Try it in the online Kotlin Playground → [spoiler title="Solution"] Answer: 84 Explanation: as explicitly casts a value to the specified type. [/spoiler] Further Reading Advanced Kotlin Class Features Utilize Control Flow in Kotlin
Type-Safe Authentication in Rust with Auth0 and Axum (opens on the source site)
Auth0 ·
Secure your Rust CLI applications with Auth0 Device Code flow and protect your Axum backend endpoints by validating JWTs with Rust's type safety.
Add Type Checking and TSConfig to Bun-Create-Playwright (opens on the source site)
Now that we have installed bun, Anthropic's package manager, and scaffolded a Playwright framework and closely examined the results, we are going to explore with our Bun-Create-Playwright project ways to check if our code is correct. The first method we will be exploring is typechecking. Why Typechecking? As the Playwright.dev / Node.js Introduction mentions:"[...] Playwright does not check the types and will run tests even if there are non-critical TypeScript compilation errors. We recommend you run TypeScript compiler alongside Playwright."[...] Note that Playwright only supports the…
Reducing C++ template bloat by factoring out the type-dependent portions of the function, practical exam (opens on the source site)
Applying our principles. The post Reducing C++ template bloat by factoring out the type-dependent portions of the function, practical exam appeared first on The Old New Thing.
Reducing C++ template bloat by factoring out the type-dependent portions of the function (opens on the source site)
Looking for consolidation points. The post Reducing C++ template bloat by factoring out the type-dependent portions of the function appeared first on The Old New Thing.
Add Type Checking and TSConfig to Bun-Create-Playwright (opens on the source site)
Now that we have installed bun, Anthropic's package manager, and scaffolded a Playwright framework and closely examined the results, we are going to explore with our Bun-Create-Playwright project ways to check if our code is correct. The first method we will be exploring is typechecking. Why Typechecking? As the Playwright.dev / Node.js Introduction mentions: "[...] Playwright does not check the types and will run tests even if there are non-critical TypeScript compilation errors. We recommend you run TypeScript compiler alongside Playwright. "[...] Note that Playwright only supports the…
What Is a Token? A Developer’s Guide to Every Type (opens on the source site)
If you’re an API or application developer, you likely hear the term “token” a lot. However, that term has entirely different meanings depending on the developer and the industry. Maybe you’re a developer who just implemented token-based authentication or found out the AI agent you built uses far too many LLM tokens. Perhaps you’re experimenting ...
Unpacking a database of unknown type (opens on the source site)
There is a Rutracker (Russian torrent website) non-official dump that came as a file of some unknown database type. (There was also a GUI database viewer for Windows, which I won't run.) Let's see if I can unpack these files by myself. The file extension is meaningless '.RDB'. The file is compressed and/or encrypted: % ent tmp.bin Entropy = 7.990625 bits per byte. The header is: % xxd -g1 tmp.bin | head 00000000: da 36 32 31 33 37 33 34 da 37 7a bc af 27 1c 00 .6213734.7z..'.. 00000010: 03 ff e9 09 be 60 14 00 00 00 00 00 00 3e 00 00 .....`.......>.. 00000020: 00 00 00 00 00 fb 89 7a 12 00 3c…
Using OxCaml to implement type-safe reference counting between OCaml and Python (opens on the source site)
Jane Street is known for being an OCaml shop, but for years now Python has been our second major programming language, acting as the primary tool for data analysis and (especially importantly these days) machine learning. Most of our traders and researchers think and write in Python, even as the majority of our infrastructure is written in OCaml.
isinstance vs type(): The safer way to check Python types (opens on the source site)
Is a Python value of a particular type? It’s tempting to say: Far better to say: Why?– Works with subclasses– Second argument can be a tuple of possibilities The post isinstance vs type(): The safer way to check Python types appeared first on LernerPython.
object and type in Python: The circular class hierarchy (opens on the source site)
Every Python class inherits (directly or not) from object. object is a class. So type(object) is type, the class of all classes. But type is a class, and inherits from […] The post object and type in Python: The circular class hierarchy appeared first on LernerPython.
Redis array type: short story of a long development (opens on the source site)
Antirez ·
I started working on the new Array data type for Redis in the first days of January. The PR landed the repository only now, so this code was cooked for four months. I worked at the implementation kinda part time (kinda because many weeks were actually full time, sometimes to detach yourself from the keyboard is complicated), and even before LLMs the implementation was likely something I could do in four months. What changed is that in the same time span, I was able to do a lot more. This is the short story of what happened. In the first month I just wrote the specification document. The…
Type Construction and Cycle Detection (opens on the source site)
Go ·
The Go Blog Type Construction and Cycle Detection Mark Freeman 24 March 2026 Go’s static typing is an important part of why Go is a good fit for production systems that have to be robust and reliable. When a Go package is compiled, it is first parsed—meaning that the Go source code within that package is converted into an abstract syntax tree (or AST). This AST is then passed to the Go type checker. In this blog post, we’ll dive into a part of the type checker we significantly improved in Go 1.26. How does this change things from a Go user’s perspective? Unless one is fond of arcane type…
BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures (opens on the source site)
RocksDB ·
Modern concurrent data structures increasingly rely on atomic operations to avoid the overhead of locking. A valuable but under-utilized technique for maximizing the effectiveness of atomic operations is bit packing—fitting multiple logical fields into a single atomic variable for algorithmic simplicity and efficiency. However, language support for bit packing does not guarantee dense packing, and manually managing bit manipulation quickly becomes error-prone, especially when dealing with complex state machines. To address this in RocksDB, we have developed a reusable BitFields API, a…
How To Type Function Mocha Context With Cypress Aliases (opens on the source site)
In Cypress you can save values under aliases which is pretty handy. You can get the aliased value using the cy.get, or by using a cy.then(function () { ... }) callback, or (my favorite solution) using the alias in the next hook or test callback via this.[alias] property 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 beforeEach(() => { cy.wrap(42).as('answer') // later in the same code cy.get('@answer') .should('equal', 42) // alternative 1: cy.then(callback) cy.get(...) .then(function () { // we can access the aliased value expect(this.answer, 'answer').to.equal(42) }) }) // alternative 2 //…
22 years later, YAML now has a media type (opens on the source site)
As of February 14th 2024, RFC 9512 formally registers application/yaml as the media type for all YAML content, and adds +yaml as a standard structured suffix for all YAML-based more specific media types. With this registration, it's now included in the official media types list maintained by the IANA. Media types like this (also known as the MIME types, from their original invention for email attachment metadata) are heavily used particularly in HTTP Content-Type headers for both requests & responses, and in all sorts of file metadata and processing logic elsewhere. These names give…
Solving Advent of Code “Handy Haversacks” in Type-level Haskell (opens on the source site)
I have been trying to use type-level programming in Haskell to solve interesting problems since I read Thinking with Types by Sandy Maguire. Then I found myself solving the problems in Advent of Code 2020 and some of them seemed suitable to be solved with type-level programming. So I decided to give it a shot.
Notes for ‘Thinking with Types: Type-level Programming in Haskell’, Chapters 1–5 (opens on the source site)
Haskell—with its powerful type system—has a great support for type-level programming and it has gotten much better in the recent times with the new releases of the GHC compiler. But type-level programming remains a daunting topic even with seasoned haskellers. Thinking with Types: Type-level Programming in Haskell by Sandy Maguire is a book which attempts to fix that. I’ve taken some notes to summarize my understanding of the same.
Related topics
This page is generated automatically from the engineering blogs we follow. Every post links to its source, where it was published. See all sources.