#type-safety
#type-safety

[ follow ]

Node JS

How to gracefully migrate your JavaScript programs to TypeScript

TypeScript allows for incremental transformation of JavaScript codebases into strongly typed alternatives.

fromInfoWorld

3 weeks ago

Scala

Gleam 1.10 improves compiler, JavaScript codegen

Gleam 1.10 introduces enhanced compiler features for better type retention and faster JavaScript execution.

fromInfoWorld

4 days ago

Node JS

How to gracefully migrate your JavaScript programs to TypeScript

TypeScript allows for incremental transformation of JavaScript codebases into strongly typed alternatives.

fromInfoWorld

3 weeks ago

Scala

Gleam 1.10 improves compiler, JavaScript codegen

Gleam 1.10 introduces enhanced compiler features for better type retention and faster JavaScript execution.

Scala

Scala Was My Comfort Zone-Then Gleam Happened

Gleam offers refreshing type-safety and expressiveness beyond Scala, surprising long-time Scala developers.

fromMedium

6 days ago

Scala

Workflows4s Finally Released-You Might Hate Your Business Processes a Little Less

Workflows4s is a Scala library providing a comprehensive framework for defining and executing event-driven workflows with type safety.

fromMedium

3 months ago

Scala

Bound to Thrill: A Seductive Peek at Scala 3's F-Bounded Type Tangos

F-bounding in Scala type definitions enables expressive modeling of relationships between types.

fromMedium

5 months ago

Scala

Dependency Injection with Implicits in Scala

Implicit-based Dependency Injection in Scala is a lightweight approach that simplifies dependency management.

fromScalac - Software Development Company - Akka, Kafka, Spark, ZIO

8 months ago

Scala

Scala & Akka: How to secure your code.

Scala features like type safety, immutable data structures, and functional programming contribute to code security.

Akka, using the actor model, isolates components into independent actors and provides supervision for fault tolerance.

frommedium.com

1 month ago

Data science

Spark Scala Exercise 4: DataFrame Schema Exploration (with Case Classes)

Understand how Spark infers schemas and the importance of Scala case classes for type safety.

fromMedium

1 week ago

Scala

Scala Was My Comfort Zone-Then Gleam Happened

Gleam offers refreshing type-safety and expressiveness beyond Scala, surprising long-time Scala developers.

fromMedium

6 days ago

Scala

Workflows4s Finally Released-You Might Hate Your Business Processes a Little Less

Workflows4s is a Scala library providing a comprehensive framework for defining and executing event-driven workflows with type safety.

fromMedium

3 months ago

Scala

Bound to Thrill: A Seductive Peek at Scala 3's F-Bounded Type Tangos

F-bounding in Scala type definitions enables expressive modeling of relationships between types.

fromMedium

5 months ago

Scala

Dependency Injection with Implicits in Scala

Implicit-based Dependency Injection in Scala is a lightweight approach that simplifies dependency management.

fromScalac - Software Development Company - Akka, Kafka, Spark, ZIO

8 months ago

Scala

Scala & Akka: How to secure your code.

Scala features like type safety, immutable data structures, and functional programming contribute to code security.

Akka, using the actor model, isolates components into independent actors and provides supervision for fault tolerance.

frommedium.com

1 month ago

Data science

Spark Scala Exercise 4: DataFrame Schema Exploration (with Case Classes)

Understand how Spark infers schemas and the importance of Scala case classes for type safety.

more#scala

#typescript

JavaScript

fromjsdevspace.substack.com

4 months ago

Understanding the Role of any in TypeScript

The 'any' type in TypeScript can introduce errors if misused; it should be used cautiously, favoring alternatives like 'unknown' for safer coding.

from2ality

3 months ago

JavaScript

TypeScript enums: use cases and alternatives

TypeScript enums map member keys to values and provide type safety through exhaustiveness checks.

from2ality

2 months ago

JavaScript

Conditional types in TypeScript

Conditional types in TypeScript enhance type decisions and manipulations, particularly with generics and union types.

from2ality

3 months ago

JavaScript

Computing with tuples in TypeScript

TypeScript's tuple types allow for fixed-length sequences of values with different types, enhancing type safety in arrays.

Variadic elements in tuples can be used to spread types at the level of type definitions.

fromAllthingssmitty

1 month ago

JavaScript

Leveraging

The any type compromises TypeScript's type safety, while the unknown type enforces type checks, enhancing code safety and maintainability.

from2ality

2 months ago

Node JS

The bottom type `never` in TypeScript

The 'never' type in TypeScript is crucial for ensuring certain conditions in type-level programming.

It is used in filtering union types, compile-time checks, and managing property assignments.

JavaScript

fromjsdevspace.substack.com

4 months ago

Understanding the Role of any in TypeScript

The 'any' type in TypeScript can introduce errors if misused; it should be used cautiously, favoring alternatives like 'unknown' for safer coding.

from2ality

3 months ago

JavaScript

TypeScript enums: use cases and alternatives

TypeScript enums map member keys to values and provide type safety through exhaustiveness checks.

from2ality

2 months ago

JavaScript

Conditional types in TypeScript

Conditional types in TypeScript enhance type decisions and manipulations, particularly with generics and union types.

from2ality

3 months ago

JavaScript

Computing with tuples in TypeScript

TypeScript's tuple types allow for fixed-length sequences of values with different types, enhancing type safety in arrays.

Variadic elements in tuples can be used to spread types at the level of type definitions.

fromAllthingssmitty

1 month ago

JavaScript

Leveraging

The any type compromises TypeScript's type safety, while the unknown type enforces type checks, enhancing code safety and maintainability.

from2ality

2 months ago

Node JS

The bottom type `never` in TypeScript

The 'never' type in TypeScript is crucial for ensuring certain conditions in type-level programming.

It is used in filtering union types, compile-time checks, and managing property assignments.

JavaScript

How to use Java generics to avoid ClassCastExceptions

Type safety issues in generic methods can be resolved using bounded wildcards.

fromTechBeamers

1 month ago

Python

Unsigned Integers in Python: A Complete Guide

Python lacks built-in unsigned integers, leading to potential issues that require manual enforcement of unsigned behavior.

fromHackernoon

3 years ago

JavaScript

Why 'Incomparable Types' in Go Are More Than Just a Compiler Error | HackerNoon

The 'comparable' constraint improves type safety and helps avoid runtime errors in Go generics.

fromInfoWorld

7 months ago

JavaScript

How to use Java generics to avoid ClassCastExceptions

Type safety issues in generic methods can be resolved using bounded wildcards.

fromTechBeamers

1 month ago

Python

Unsigned Integers in Python: A Complete Guide

Python lacks built-in unsigned integers, leading to potential issues that require manual enforcement of unsigned behavior.

fromHackernoon

3 years ago

JavaScript

Why 'Incomparable Types' in Go Are More Than Just a Compiler Error | HackerNoon

The 'comparable' constraint improves type safety and helps avoid runtime errors in Go generics.

more#programming

fromInfoQ

11 months ago

JavaScript

Rust-Written Borgo Language Brings Algebraic Data Types and More to Go

Borgo is a statically typed language that compiles to Go, providing additional features like algebraic data types and pattern matching, inspired by Rust.

[ Load more ]

#type-safety#type-safety

How to gracefully migrate your JavaScript programs to TypeScript

Gleam 1.10 improves compiler, JavaScript codegen

How to gracefully migrate your JavaScript programs to TypeScript

Gleam 1.10 improves compiler, JavaScript codegen

Scala Was My Comfort Zone-Then Gleam Happened

Workflows4s Finally Released-You Might Hate Your Business Processes a Little Less

Bound to Thrill: A Seductive Peek at Scala 3's F-Bounded Type Tangos

Dependency Injection with Implicits in Scala

Scala & Akka: How to secure your code.

Spark Scala Exercise 4: DataFrame Schema Exploration (with Case Classes)

Scala Was My Comfort Zone-Then Gleam Happened

Workflows4s Finally Released-You Might Hate Your Business Processes a Little Less

Bound to Thrill: A Seductive Peek at Scala 3's F-Bounded Type Tangos

Dependency Injection with Implicits in Scala

Scala & Akka: How to secure your code.

Spark Scala Exercise 4: DataFrame Schema Exploration (with Case Classes)

Understanding the Role of any in TypeScript

TypeScript enums: use cases and alternatives

Conditional types in TypeScript

Computing with tuples in TypeScript

Leveraging

The bottom type `never` in TypeScript

Understanding the Role of any in TypeScript

TypeScript enums: use cases and alternatives

Conditional types in TypeScript

Computing with tuples in TypeScript

Leveraging

The bottom type `never` in TypeScript

How to use Java generics to avoid ClassCastExceptions

Unsigned Integers in Python: A Complete Guide

Why 'Incomparable Types' in Go Are More Than Just a Compiler Error | HackerNoon

How to use Java generics to avoid ClassCastExceptions

Unsigned Integers in Python: A Complete Guide

Why 'Incomparable Types' in Go Are More Than Just a Compiler Error | HackerNoon

Rust-Written Borgo Language Brings Algebraic Data Types and More to Go

#type-safety
#type-safety