TypeScript allows some unsound behavior on purpose. You can check it out at TypeScript notes about it. Also, if you want to take a look at roots of type inference in TypeScript can check TypeScript spec, but beware, it's outdated, archieved and not supported anymore
The core OCaml system: compilers, runtime system, base libraries
Being based on MLF which is sound, doesn't makes ReasonML fully sound in practice. Here are some examples of unsound behavior in OCaml here and here. According to this fact, we can consider that ReasonML as being the dialect of OCaml may have unsound behavior too.
Appwrite - The Open Source Firebase alternative introduces iOS support . Appwrite is an open source backend server that helps you build native iOS applications much faster with realtime APIs for authentication, databases, files storage, cloud functions and much more!
The Art of Transpilers - From One Programming Language to Another
4 projects | dev.to | 30 Jun 2022
What to learn in 2022
22 projects | dev.to | 19 Apr 2022
TypeScript vs. ReScript vs. F# - a simple comparison of syntax
5 projects | dev.to | 15 Feb 2022
Differences between TypeScript and Elm
7 projects | dev.to | 5 Feb 2022
How to use Dependency Injection in Functional Programming
5 projects | dev.to | 16 Jan 2022