what makes it so unreasonably effective?
>logo is trannies doing aerobics
>>101222502You’re mentally deranged Troons are living rent free inside your head, you probably shout at clouds if you think they look like trannies
>>101222502Stop gooning now.
>>101222502Keep gooning.
>>101222502achieve a quantum state of both gooning and not gooning at the same time
>>101222502exist
>>101222305>what makes it so unreasonably effective?We only apply it to problems for which is a good fit.On other problems we soon run into trouble and dump it for another language.
>>101222551who dat? she cute.
>>101222768
here's the major reasons imo>typeshaskell has type inference, static typing and sum types. haskell goes far beyond this but these are enough to put it above most other langs>immutable dataimmutability helps a lot for writing parallel / concurrent code and haskell does immutability especially well. >monadic parser combinatorsthese are basically a good framework for writing handrolled parsers (as opposed to using regex for everything like a nigger ape ape or busting out the parser generator for everything)haskell does them much better than most langs>the communityhaskell has mature people who are willing to import good ideas from elsewhere (like record dot syntax). it's not run by /k/opers who insist that improving the language would ruin its sovl or whatever>honorable mentionshoogle, ghci, the ffi
>>101222851thanks chat/g/pt
>>101222851>monadic parser combinatorsPeople always mention this but I can do that in F# with full C# and .NET interop without having to use Haskell
>>101222796this is sex
>>101222968wagie ocaml is worse than haskell in all other respects though>>101222736in my experience, haskell is a good fit for every problem except those depending on a library in another language.i also find myself using rust for anything where i have to do bitmasks, though i could probably use haskell for those projects as well.
>>101223111>wagie ocaml is worse than haskell in all other respects thoughsuch asI'm replying to that post and that guy didn't mention anything out of the ordinary
>>101223130>such ashere's a small list>type systemf# does better than most here but doesn't have typeclasses, which is a major disadvantage. f# also doesn't have GADTs somehow (which are not as important but still useful)this is the tip of the iceberg: haskell's type system is a lot more advanced than f#'s>immutable dataf# isn't as good as enforcing immutability guarantees as haskell is iirc, which is part of why you can comfortably use STM with haskell but not really with the CLR.>hooglef# doesn't have an equivalent as far as I am aware
>>101223252Don Syme dislikes typeclasses because he believes they add too much complexity and compile time overhead
>>101223252>>101223382https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347
>>101222305effective at?
>>101222305If we knew then its effectiveness wouldn't be unreasonable >>101222540Now THIS is schizoposting
>>101222968>but I can do that in F# with full C# and .NET interop without having to use Haskell"Hashmaps are easy to use in C, why would I need anything else?" energyAlso you're an unemployed nocoder
>>101222305pure
>>101223470>.net programmer>unemployedimpossible. he could write a few random lines of code and, without him knowing, a paycheck would be sent to his home address at the end of the month
>>1012235671) I'm an employed .net dev with 6 years experience and the market isn't great at all. Stop lying. 2) my point is he doesn't actually write code, he's just parroting blog posts he read so that he can feel cool.
>>101223593it was a joke.the market is shit all around, but I get bombarded with .net positions. at least 4 out of 5 I get are for C#, and I have multiple competencies on linkedin. but yes I exaggerated it a littlet. also .net dev with 5y exp
>>101223382He sounds like a fucking idiot.
>>101223650if you're so smart how come you don't have his salary?
>>101223917because his salary is paid to him, dumbass
>>101223644I get spammed with Java and Android positions even though I took them off my resume 5 years ago.
>>101223644I figured it was about halfway writing my post but I'm getting too old to put effort into posts anymore
>>101222502The logo is literally the bind operator in a monadic context.
>>101222851Haskell can even be used as a proof assistant with liquid types.
>>101222968The advantage of haskell here is that you can use do notation without overhead because the language wasn’t designed by apes
Does Haskell have dependent types yet? Or do I need to wait for Idris?