everyone always says "hop on irc its perfectly fine" and yet nobody is willing to join #types channel on irc.tali.software

hop on #types on irc.tali.software

everyone always says "hop on irc its perfectly fine" and yet nobody is willing to join #types channel on irc.tali.software

hop on #types on irc.tali.software

Loon: A functional lang with invisible types, safe ownership, and alg. effects

https://loonlang.com

#HackerNews #Loon #LoonLang #functional #programming #invisible #types #safe #ownership #alg #effects

🥳 @small-web/kitten version 6.2.2 released

This is Kitten’s type library (see https://kitten.small-web.org/tutorials/type-safety/ for a tutorial).

This release fixes a few type errors that crept in in the previous release that were stopping it from being compiled with tsc. (You might want to do this if you’re creating, say, type declarations for your component app modules. For a tutorial on app modules, see the one on Database App Modules: https://kitten.small-web.org/tutorials/database-app-modules/)

Also, some housekeeping: I’ve upgraded the type declarations of any third-party modules used to their latest versions.

Enjoy!

💕

#Kitten #SmallWeb #JavaScript #types #kittenGlobalsReleases

T-Ruby is Ruby with syntax for types

https://type-ruby.github.io/

#HackerNews #T-Ruby #Ruby #Types #Syntax #Programming #Language

Any TypeScript experts know how to make the language immutable by default? I got it working for Array and Record, but not plain objects... https://evanhahn.com/typescript-immutability-experiment/

#TypeScript #JavaScript #types #immutability

The inconceivable types of Rust: How to make self-borrows safe (2024)

https://blog.polybdenum.com/2024/06/07/the-inconceivable-types-of-rust-how-to-make-self-borrows-safe.html

#HackerNews #Rust #Programming #Self-Borrows #Safety #Types