[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / r / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip / qa] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
Settings Mobile Home
/g/ - Technology


Thread archived.
You cannot reply anymore.


[Advertise on 4chan]


File: haskell.jpg (37 KB, 750x1000)
37 KB
37 KB JPG
what makes it so unreasonably effective?
>>
>logo is trannies doing aerobics
>>
>>101222502
You’re mentally deranged
Troons are living rent free inside your head, you probably shout at clouds if you think they look like trannies
>>
>>101222502
Stop gooning now.
>>
>>101222502
Keep gooning.
>>
>>101222502
achieve a quantum state of both gooning and not gooning at the same time
>>
>>101222502
exist
>>
>>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.
>>
>>101222551
who dat? she cute.
>>
File: 1719793104426.jpg (201 KB, 759x800)
201 KB
201 KB JPG
>>101222768
>>
here's the major reasons imo
>types
haskell 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 data
immutability helps a lot for writing parallel / concurrent code and haskell does immutability especially well.
>monadic parser combinators
these 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 community
haskell 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 mentions
hoogle, ghci, the ffi
>>
>>101222851
thanks chat/g/pt
>>
File: parser.png (42 KB, 1305x791)
42 KB
42 KB PNG
>>101222851
>monadic parser combinators
People always mention this but I can do that in F# with full C# and .NET interop without having to use Haskell
>>
>>101222796
this is sex
>>
>>101222968
wagie ocaml is worse than haskell in all other respects though
>>101222736
in 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 though
such as
I'm replying to that post and that guy didn't mention anything out of the ordinary
>>
>>101223130
>such as
here's a small list
>type system
f# 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 data
f# 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.
>hoogle
f# doesn't have an equivalent as far as I am aware
>>
>>101223252
Don Syme dislikes typeclasses because he believes they add too much complexity and compile time overhead
>>
>>101223252
>>101223382
https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347
>>
>>101222305
effective at?
>>
>>101222305
If we knew then its effectiveness wouldn't be unreasonable
>>101222540
Now 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?" energy

Also you're an unemployed nocoder
>>
>>101222305
pure
>>
>>101223470
>.net programmer
>unemployed
impossible. 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
>>
>>101223567
1) 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.
>>
>>101223593
it 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 little
t. also .net dev with 5y exp
>>
>>101223382
He sounds like a fucking idiot.
>>
>>101223650
if you're so smart how come you don't have his salary?
>>
>>101223917
because his salary is paid to him, dumbass
>>
>>101223644
I get spammed with Java and Android positions even though I took them off my resume 5 years ago.
>>
>>101223644
I figured it was about halfway writing my post but I'm getting too old to put effort into posts anymore
>>
>>101222502
The logo is literally the bind operator in a monadic context.
>>
>>101222851
Haskell can even be used as a proof assistant with liquid types.
>>
>>101222968
The 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?



[Advertise on 4chan]

Delete Post: [File Only] Style:
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.