🌐🐙⌨️ is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
what I want:
implicit, static, strong, duck typing
first-class everything (functions, expressions, closures, types, the 'return' keyword...)
algebraic types and structs that are equivalent
dependency injection as a language-level feature
everything is a pure function but I can still get data from the database/filesystem/interwebs, and emit logging / tracing so my program can explain why it decided whatever it did
code is implicitly (?) parallel
no exceptions that break control flow
@jekbradbury I will look at this further when my brain has reset, tbh I haven't explored scientific/statistical/computational languages very much
@octopus Boost this toot if you're a strongly-type programming language that don't need no runtime errors
@octopus how do you feel about Julia? not the type system you’re looking for, but surprisingly close (for a language inspired mostly by Matlab and R!) on the others