It turns out that FP is really good for concurrent programming because enforced immutability gets rid of lots of concurrency bugs. As a bonus, haskell is also performant and is one of the few languages with a good implementation of STM.
>>101435080>really good for concurrent programmingUnfortunately it isn't good for any other types of programming. Except for haskell compiler - it is apparently pretty good for writing haskell compilers, so it's got that going for it>haskell is also performantIt wasn't bad 30 years ago, but it's lost ground rapidly since then
>>101435080Okay, show me your concurrent Haskell code.
>>101436665> Unfortunately it isn't good for any other types of programming.As in, single-threaded programming? It’s still great for that, but the advantages are a bit less pronounced
>>101436853>greatfunny way to spell "mediocre" but ok
>>101435080Oh please. OTP or die.
>>101435080>haskell is also performantshow me haskell's speed in the 1 billion row challenge
>>101435080why did they choose the half life logoim calling valve
>if we program inefficiently like a nocoder mathlete, we can get rid of concurrency bugs!skill issue
Anons, is there any functional programming language that can at least be in the ballpark of the speed of, say, C++? Something that enforces FP like haskell but also balances speed. Rust dickriders had hopes it’d be a proper fast FP language, but idiomatic rust solutions differ quite a bit from the FP solutions, and may even be faster than the FP version
>>101436983elixir doesn't have strong typing or ghc>>101437015 all the nocoder mathematicians i've worked with use python though>>101437097maybe ATS or something. there's also "low-level haskell" if you're into that sort of thing (i think anduril uses haskell in this way). another possibility is using an FP language like haskell to spit out generated low-level code (nasa does this with copilot and ogma)
>>101436665>it is apparently pretty good for writing haskell compilersparser combinators are underrated i wish i understood them
>>101435080Drop hasklel. Concurremcy on haskell is a joke.Learn Erlang instead.
>>101436983>>101437252Unfathomably based
>>101437205My discrete mathematics professor who does research in logic used to teach haskell (presumably to math undergrads).Also he always made a point of telling us how recurrence relations is similar to how haskell actually computes things.
>>101436665>>101436989>>101437097Haskell is usually only like 2x or 3x slower than C++, i e. same order if magnitude in execution time. Not bad considering how high-level the language is.Are you guys just all working on game engines or high-performance web-servers? Sometimes I laugh at guys who worry about the efficiency of if-then statements when the write their little python business logic script.
>>101435080just copy everything all the time!that uses more power, and that bad for the environmentnot to mention performance
>>101438520I laugh at guys who write business scripts in haskell and discover the pain of maintaining such scripts.
>>101439528as opposed to other languages where maintenance is painless?>>101438860haskell is probably better at reducing copies though because it comes with efficient persistent data structures
This is now an ERLANG THREAD!
>>101442142erlang is just prolog without backtracking
>>101439528>haskell>scripts