Hacker News Reader

My question is how this sound is made, omitted it for citation reasons. Does this mean that a developer has to create sound wrappers for all external interfaces, which aren’t aware of rescript? It may be viewed as a burdensome perspective. Language bridges usually try to auto-wrap this and throw when something doesn’t match expectations, but it comes at a runtime cost.

View on HN

The type inferrence only applies to ReScript code, it's not a magic compiler that can statically analyse JS code and generate interfaces for any arbitrary npm package. For Typescript interop, it can "trust" the TS declaration files, but there is no real guarantee when you're crossing language boundaries. ReScript is it's own language, with it's own type system that compiles down to JS. I don't think there's a reasonable alternative to this.

Take Rust, calls to C code are inherently unsafe, and must be marked as so. You're leaving Rust's source code and type system and calling into external functions that you may not even have access to source code for and that the compiler just can't feasibly vouch for.

Reply on news.ycombinator.com