jnkrtech1d ago
The problem with integrating gradually-typed languages with legacy code is that you eventually run out of other people’s types
Show threadVerity ​

@jnkrtech it's kind of interesting that

a lot of untyped functions have weird typechecks, overloads and stuff going on

but gradual typing assumes you'll only give one type to a function?

… and especially in PureScript and stuff, you're encouraged to only FFI the general form of the function that suffices for its behavior, and not mess around with fancy types if you can help it at all.

but if you needed to, you would just FFI the same function twice with different type ascriptions

Mar 28 at 1:55pmWeb
Show threadjnkrtech1d ago
@monoidmusician TypeScript does allow multiple types for the same function, but I generally think this is bad >.< I think the best approach is usually to define lots of wrapper functions but that’s really annoying
Show threadVerity ​1d ago
@jnkrtech yeah, that's true … I guess I was thinking of where the same untyped function would require explicit selection of the imported, mostly-strongly-typed variant