Maybe this discussion is more appropriate for
#mathematics.
Re: Collaboration, sure! I'm happy to be involved in the discussion. I think a Kotlin-native mathematics library should ideally leverage the type system to its full extent. There are some existing libraries for building numerical abstractions, although I'm not about the performance tradeoffs here (ex.
https://github.com/non/spire). But you certainly could build such a library from first principles (Group, Ring, Field, etc.) using lazy evaluation and functional programming...
Thread in Slack Conversation