Trending

#TypeSafety

Latest posts tagged with #TypeSafety on Bluesky

Latest Top
Trending

Posts tagged #TypeSafety

Can't Have It Short And Also Missing Character

Can't Have It Short And Also Missing Character

Can't Have It Short And Also Missing Character

#typescript #Typesafety #Functionparameters #Dates #Codequality

programmerhumor.io/typescript-memes/cant-ha...

1 0 1 0
Combining Rust's traits and enums — Asfaload

In the Asfaload codebase, there was a pattern that kept appearing: using #rust enum to wrap trait implementations. It offers great flexibility, clean #code, all with full #typesafety and no dynamic dispatch. I haven't seen it described often, let's change that! www.asfaload.com/blog/rust-tr...

1 1 0 0
Preview
4 CSS Features Every Front-End Developer Should Know In 2026 · January 7, 2026 Toolbelt worthy, powerful, and game-changing CSS you need for 2026.

#Development #Techniques
4 must‑know CSS features in 2026 · “Toolbelt worthy, powerful, and game-changing CSS.” ilo.im/169nsr by Adam Argyle

_____
#ModernCSS #Staggering #Scrolling #Typography #TypeSafety #Animations #ProgressiveEnhancement #WebDev #Frontend #CSS

0 0 0 0
Just A Simple Boolean Question

Just A Simple Boolean Question

Just A Simple Boolean Question

#Boolean #Datatypes #Typesafety #Apidesign #Programminghumor

programmerhumor.io/programming-memes/just-a...

0 0 1 0

Leveraging strong type systems and compile-time assertions is key for robustness. These tools catch potential issues early in development, ensuring code correctness and leading to more reliable software from the start. #TypeSafety 2/5

0 0 1 0

JSDoc's expressiveness often surprises users. It can define almost any type TypeScript can, though sometimes requiring a more verbose or "clunky" syntax. This flexibility provides significant type-checking power. #TypeSafety 5/6

0 0 1 0

7/8 Classes also act as powerful types in TypeScript!

You can use a class name (e.g., Car) to define the type of a parameter in another class's method. This ensures the object passed has all the expected methods, providing crucial type safety. ✅ #TypeSafety

1 0 1 0

Elysia’s popularity comes from its strong typing and smooth integration with OpenAPI workflows. That same schema-driven behavior makes this vulnerability impactful when multiple standalone validations (#Zod, #TypeBox, #ArkType) touch the same fields.
#OpenAPI #TypeSafety #SecureCoding 🧵3/5

1 0 1 0

A key use for `satisfies` is ensuring exhaustive type checking in switch statements. It helps catch unhandled cases at compile time, improving robustness. Consider it for enum-like patterns where you want strictness! #TypeSafety 2/6

0 0 1 0
Preview
Bifunctor - Higher-Kinded Types and Optics for Java Explore Higher-Kinded Types (HKTs) and Optcs in Java with the Higher-Kinded-J library. Learn about Functors, Applicatives, Monads, Transformers, practical functional patterns, and how to write cleaner, more composable Java code for your projects using Optics.

🎉 New in higher-kinded-j: Bifunctor support!

Transform both sides of your data structures with bimap, first, and second operations.
✨ Use with Either, Tuple2, Validated, and Writer
✨ Type-safe
✨ Law-verified
higher-kinded-j.github.io/functional/b...

#Java #FunctionalProgramming #TypeSafety

4 2 0 1
Preview
Building Type-Safe Laravel Apps with PHP 8.4: Enums, Attributes, and Error-Free Code Explore how PHP 8.4 and Laravel 12 are transforming application development through type safety. In his latest blog, Coder Manjeet shows how enums, attributes, and strict typing are eliminating bugs, speeding up teams, and making Laravel apps more re...

Coder Manjeet explores how PHP 8.4 + Laravel 12 make apps type-safe with enums and attributes.

Fewer bugs, cleaner validation, safer scaling — it’s time to drop the “magic strings.”

Read the full summary on TDT 👉 [https://bit.ly/4hjSRH7

#Laravel #PHP84 #TypeSafety #DevBestPractices

0 0 0 0
Post image

In #Unity, sometimes, general types can't convey the intention and #typesafety must be enforced, using alias directives is not the answer. We need #type wrappers. But declaring them is boringly repetitive. Why don't delegate that to a #roslyn #sourcegenerator?
github.com/laicasaane/T...

0 0 0 0
Model Validation & Time Utilities Sprint: From Basic Models to Proper Validation Layer A weekend sprint documenting the evolution from basic OCaml models to comprehensive validation infrastructure with field enhancements, time utilities, and cryptographic security improvements for the C...

Worked on model mapping and validation for Chaufr. Applied transforming data safely, enforcing type constraints, and validating inputs using OCaml strong type system and libraries essential for building reliable, type-safe apps. #OCaml #TypeSafety #DataValidation

fearful-odds.rocks/blog/model-m...

0 0 1 0
Preview
A TypeScript Journey: When Type Safety Feels Like a Safety Harness… and Sometimes a 10 kg Stone on Your Feet Introduction When I first started writing code, I lived in the world of Java. It was a...

A TypeScript Journey: When Type Safety Feels Like a Safety Harness… and Sometimes a 10 kg Stone on Your Feet Introduction When I first started writing code, I lived in the world of Java. It was a...

#typescript #typesafety #javascript

Origin | Interest | Match

2 0 0 0
Preview
Building Production-Ready AI Agents with Pydantic AI and Amazon Bedrock AgentCore Building Production-Ready AI Agents with Pydantic AI and Amazon Bedrock AgentCore In this...

🚀📝 Building Production-Ready AI Agents with Pydantic AI and Amazon Bedrock AgentCore

#AIagents #PydanticAI #AmazonBedrock #TypeSafety #MachineLearning

1 0 0 0
Post image

You're trying to compare a string to a number? 🤨 Not on my watch. JavaScript might let you, but I have standards 😉 mint-lang.com/reference/eq...
#typesafety #webdevelopment #frontend #coding #programming

1 0 0 0

#PowerShell #TypeSafety check #example:

$safeTypes=@([Math])

$UnsafeScript=
{[Math]::Sin($x);[Environment]::FailFast("bye now")}

$unsafe = $unsafeScript.Ast.FindAll({$true}, $true) |
? {$_.TypeName -as [string] -as [type] -notin $safeTypes}

if ($unsafeTypes) { "Do Not Run $unsafeScript" }

0 0 0 1
Video

A critical feature launch turns sour when key analytics go missing! Discover the common pitfalls in deployment, from overlooked post-production keys to staging vs. prod discrepancies. 🙈 Varlock from @dmno.bsky.social to the rescue! #cicd #environmentvariables #typesafety

3 1 1 0

The debate between Python's dynamic "duck typing" and static typing continues. Some argue dynamic typing hinders robust systems, while others contend that strong testing can offer comparable real-world reliability. #TypeSafety 5/6

0 0 1 0
type ArrayToUnion<T extends any[]> = T[number]

type MainParam = (string|number|boolean|bigint)[]

const main = (array:MainParam) => {
    const top = array[0]
    main2(top)
}

// const main2 = (head:string|number|boolean|bigint) => {
//     console.log(head)
// }

const main2 = (head:ArrayToUnion<MainParam>) => {
    console.log(head)
}

type ArrayToUnion<T extends any[]> = T[number] type MainParam = (string|number|boolean|bigint)[] const main = (array:MainParam) => { const top = array[0] main2(top) } // const main2 = (head:string|number|boolean|bigint) => { // console.log(head) // } const main2 = (head:ArrayToUnion<MainParam>) => { console.log(head) }

Unlock union types in TypeScript by using the all-powerful number keyword with array types! 🧠 Map any array's element types into a union, enabling flexible, type-safe utility functions. Level up your TS game! 🚀 #TypeScript #CodingTips #DevHacks #TypeSafety

2 0 0 0
// typeorm

type userFilter = MyParameters<User.find>

// typeorm type userFilter = MyParameters<User.find>

const foo = (arg1: string, arg2: number): void => { }

type MyParameters<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never;

type FunctionParamsType = MyParameters<typeof foo> // [arg1: string, arg2: number]

const foo = (arg1: string, arg2: number): void => { } type MyParameters<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never; type FunctionParamsType = MyParameters<typeof foo> // [arg1: string, arg2: number]

With TypeScript’s infer and mapped types, you can extract hidden types to make type-safe helpers for ORMs instead of using any. This helps create safer, smarter filter params. #TypeScript #infer #MappedTypes #TypeSafety #ORM #DevTips

0 0 0 0

💡 TypeScript Tip: Conditional Types! 🛡️

Precise type shaping based on conditions unlocks robust APIs & type safety. Master conditional types for reliable TypeScript code. #typescript #javascript #typesafety

2 0 0 0
Preview
Deep Dive into TypeScript's Type Inference System TypeScript's type inference system is one of its most powerful features, allowing developers to write cleaner and more concise code without having to explicitly annotate type...

Deep Dive into TypeScript's Type Inference System #Typescript #Generics #Inference #React #Redux #Decorators #Utilitytypes #Interfaces #Functions #Typesafety #Classes #Modules #Promises

3 0 0 0
Preview
How to Use TypeScript Mixins TypeScript mixins provide a powerful way to reuse code across classes without the limitations of traditional inheritance. Mixins allow combining properties and methods from m...

How to Use TypeScript Mixins #Typescript #Mixin #Class #Reuse #Inheritance #Modular #Extend #Functionality #Constructor #Flexibility #Behavior #Typesafety #Architecture #Code

1 0 0 0
Some code showing the new format for templates in https://handouts.tomg.cool/ and how its type safe.

Some code showing the new format for templates in https://handouts.tomg.cool/ and how its type safe.

ahh, thats better. delicious #typesafety. almost done with the internal refactoring, gonna be muuuuuch easier to make new templates in future. hashtag exciting times. wish i was back in #svelte but watcha gona do

#typescript #react

2 0 0 0
Preview
Ignoring explicitly with type parameters Learn how to improve type safety of your F# apps by using type parameters on ignore

Check out this week's blog post to learn about providing #typeSafety when using ignore in #fsharp

#dotnet @fsharponline.bsky.social

10 2 1 0
Preview
Typescript Type Narrowing And Assertions A guide to better type safety

A new post is out on Articles (I accidentally published it three days early). This one gets more into the weeds of Typescript.

articles.dotmh.dev/typescript-t...

#Typescript #TypeSafety #Types #Programming #Development

0 1 0 0

A more accessible takeaway is using types to encode guarantees or properties (e.g., non-null result). This "types as proofs" approach leverages the core idea to improve reliability without requiring full formal logic knowledge. #TypeSafety 4/6

0 0 1 0

1/15 HN discussion on a type-safe search DSL! 🔍 Key points: offline functionality, comparisons to LINQ & F#, experiences with Prisma & Kysely, and data security. Let's dive in! #DataQuery #TypeSafety #HackerNews

1 0 1 0