Viewing profile — greyblake

Short comic about AI systems and error handling.

## What is nutype? *nutype* is a procedural macro that adds sanitization and validation to newtypes, ensuring that values always meet your defined constraints. ## What’s new in v0.…

Nutype is a proc macro that allows adding extra constraints like sanitization and validation to the regular newtype pattern. The generated code makes it impossible to instantiate a…

CoffeeScript is a language without static typing. Despite this, CoffeeScript actually made a real revolution when it was introduced.

You don't have to. You can have write a single component in ReScript and use it with the rest of the project written in JS or TS. See https://rescript-lang.org/docs/gentype/latest/…

Whatlang demo webpage is implemented with seed: https://whatlang.org/

+1

There still "weak" points, where incorrect typing can be introduced, e.g. incorrectly written bindings. Regarding data from HTTP call in theory they can be cast to any type abusing…

Because a programming language is not a template engine.