Post B6cCM8H7Y2aMhKl3fU by stellarskylark@solarpunk.moe
 (DIR) More posts by stellarskylark@solarpunk.moe
 (DIR) Post #B6cCHsFZBeThq405aq by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       Hmm. Haskell is beautiful and elegant and I like it a lot but it's also kinda big and has the C++ problem where it's old enough that the standard library has diverged from the best practices.
       
 (DIR) Post #B6cCM806ZIyTqYnT96 by 0x4d6165@transfem.social
       0 likes, 0 repeats
       
       @stellarskylark@solarpunk.moe also ghc slowwww
       
 (DIR) Post #B6cCM8H7Y2aMhKl3fU by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @0x4d6165 it's definitely not fast
       
 (DIR) Post #B6cCPvMZUrZvoI7EI4 by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       I'm still going with C2Y as my low-level language of choice but maybe I need to keep shopping around for a high-level one. Hm.
       
 (DIR) Post #B6cCnbU73Vs36mvyr2 by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       What I want is a language that has a minimal set of well-chosen features that save me from making mistakes. It should be small and easy to implement but also have the "if it compiles, it works" property that Haskell and Rust have.
       
 (DIR) Post #B6cD0FxeOJKy7Qmdk0 by milo@types.pl
       0 likes, 0 repeats
       
       @stellarskylark maybe that doesn't exist
       
 (DIR) Post #B6cD0GJd4auzDb4C00 by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @milo yeah that's kinda my fear lmao
       
 (DIR) Post #B6cD309ZcVsxxdfYvY by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @milo kinda contradictory wants there, "small and easily implemented" and "smart enough to save me"
       
 (DIR) Post #B6cDD1TZYds0xUnnoe by milo@types.pl
       0 likes, 0 repeats
       
       @stellarskylark closest i can think of is SML but that is a very old language with a dead ecosystem and some odd feature choices. realistically if you want to be a proficient software engineer you should be flexible enough to use a lot of languages instead of trying to pin down just a single one
       
 (DIR) Post #B6cDD1jAceLZjs6G80 by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @milo yeh this is mostly just a first-order choice, obviously if I'm working on a project that already exists the answer is "whatever the project is already using" lol
       
 (DIR) Post #B6cDD2i8xx7UmycxAO by milo@types.pl
       0 likes, 0 repeats
       
       @stellarskylark languages are all evolutions of a bunch of design decisions made over time by fallible humans
       
 (DIR) Post #B6cDIFYkcgWm5NiVs0 by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @milo oh yeah right I forgot that everything sucks all the time because we're apes whose hair fell off
       
 (DIR) Post #B6cDZjZcHjJW5ySViS by milo@types.pl
       0 likes, 0 repeats
       
       @stellarskylark i dont think we have to say they suck. just that they are products of circumstance. its basically impossible to make a correct choice in language design in a vacuum, there are tradeoffs everywhere you turn
       
 (DIR) Post #B6cDZjqdGSvOwkQ6Eq by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @milo apologies I am currently in a state of mind where "not perfect == terrible and irredeemably bad" it's a very old one that was instilled into me twice a week for two decades
       
 (DIR) Post #B6dHIPLOq0GbPIlLOK by peterb@mathstodon.xyz
       0 likes, 0 repeats
       
       @stellarskylark ...and some people get mad if you suggest improving anything.
       
 (DIR) Post #B6dPPeq2QcrZ7c3sQq by antopatriarca@mathstodon.xyz
       0 likes, 0 repeats
       
       @stellarskylark I quite liked using Zig, but it is still very much in flux and every new release break things in my (quite limited) experience.
       
 (DIR) Post #B6e9mzOImBBXPt9Ruy by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @antopatriarca Zig is interesting but I definitely consider it a low-level language
       
 (DIR) Post #B6eXAcIYaEvjgwhRWC by antopatriarca@mathstodon.xyz
       0 likes, 0 repeats
       
       @stellarskylark I guess it depends on your definition of high and low level programming language. What kind of features do you want in this high level language?
       
 (DIR) Post #B6eXbZkg9vIvc3hzqS by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @antopatriarca basically I just want something smart enough to yell at me at compile-time if I do something boneheaded but also fairly minimal and thus easily implemented. so that probably means strong, static types with an expressive type systemyou see how these are contradictory desires
       
 (DIR) Post #B6eXpJ0NDiVXjAb2xM by stellarskylark@solarpunk.moe
       0 likes, 0 repeats
       
       @antopatriarca basically I think every bit of added complexity and abstraction should be there to prevent the programmer from making mistakes. a low-level language should have very few of these in exchange for not being very complicated. a high-level language should have enough of these to help you + metaprogramming sophisticated enough to implement the ones it doesn't have that a particular project might need