8 ms·

Haskell Certification Program

44 points by swatson741 2y ago

Waterluvian 2y ago
What might be the best example of an open source Haskell project that sees meaningful commercial use? I realize I’m not sure I’ve ever seen what that looks like, having only been exposed to personal/small projects.
- logicprog 2y ago
  pandoc!
  - tombert 2y ago
    I’ve said for years that Pandoc is pretty much the only Haskell program that’s used outside people who want the novelty of using a Haskell program. It’s also a program I use all the time, I haven’t touched a WYSIWYG word processor in years.
    - logicprog 2y ago
      That may be true — it may be the only Haskell program that people regularly use — but I'm not sure how that counts against Haskell. I'm no fan of Haskell (I used to be a huge pure functional programming fan, but over time the shine has worn off and I've realized it's just another dogmatic paradigm) but having even one widely used and liked tool is actually exemplary for a highly idiosyncratic non-mainstream language like Haskell, to be honest. I think it's doing pretty well for itself.
      - tombert 2y ago
        I didn't say it was a bad thing, just pointing out that Haskell is not a terribly popular language and as such most of the apps that I've seen written in it are only used by Haskell enthusiasts (Darcs comes to mind). I'm kind of a functional programming fanatic, evidently.
- romes 2y ago
  Some examples include the well-known shellcheck shell analysis tool, or the Ivory language embedded in Haskell used in real world autopilots for flight systems described in this experience report: https://leepike.github.io/pubs/embedded-experience.pdf https://leepike.github.io/pubs/embedded-experience.pdf, or the copilot language powering monitoring systems for flight systems at NASA (https://copilot-language.github.io/index.html https://copilot-language.github.io/index.html).
- roetlich 2y ago
  Hasura has commercial use: https://hasura.io/ https://hasura.io/
- wavemode 2y ago
  The best answer to this question is, in the compilers of other programming languages lol. Elm, for example, is in use in production at a variety of companies.
- CuriousCosmic 2y ago
  It sees quite a lot of use in the traditional finance industry in europe from what I've been told but basically all of that is closed source. However probably the "biggest" open source project with direct commercial use would be the Cardano blockchain (IOG, one of the main developers for Cardano, is one of the top sponsors for the Glasgow Haskell Compiler as well as a major contributor nowadays). The cardano node implementation is linked here: https://github.com/IntersectMBO/cardano-node https://github.com/IntersectMBO/cardano-node However a lot of tooling for the ecosystem is spread between that org, the IOG org, and the CF org, as well as others. https://github.com/IntersectMBO/ https://github.com/IntersectMBO/ https://github.com/input-output-hk/ https://github.com/input-output-hk/ https://github.com/cardano-foundation/ https://github.com/cardano-foundation/ By no means is this the best example but it is a decent example of an extremely large, primarily haskell based project that sees regular use.
- ppseafield 2y ago
  Supabase is built on top of PostgREST, which is written in Haskell.
- hiAndrewQuinn 2y ago
  The Co-Star astrology web app has its backend coded in Haskell, which I've always found fascinating. I love the overlap between esoteric communities.
rty32 2y ago
> "Stand out to employers" Sure... 99% of employers: it's impressive that you master Haskell and passed this test. Still, you need to solve this leetcode problem (and preferably not using Haskell)
- 7thaccount 2y ago
  You may be being generous. 99.9% of employers: "What is Haskell"?
- throw156754228 2y ago
  I really believe employers in this industry now essentially assume everything on your resume is a bunch of lies, and the interview process is to check you can string a sentence together, and know the two pointers algorithm.
tombert 2y ago
I am reasonably certain I could pass this exam, I signed up for the waiting list, but I am doubtful that would in any way translate to any kind of job opportunity. Even certs in more commercially popular languages aren’t taken terribly seriously most of the time; I have a few and I eventually took them off my resume to save space.
Avi-D-coder 2y ago
As someone who has worked on haskell professionally, it's probably the easiest language to interview in/for. It's really easy to see how deep a dev has gone down the haskell rabbit hole. Forget a certificate, just talk for 5 minutes. Any dev who has fully gone down the haskell rabbit hole can definitely grok any other paradigm. The challenge isn't technical skills with devs like this.
mikemitchelldev 2y ago
It's probably easy to get certified and still be an incompetent programmer (in the same way it's easy to get a university degree and still be an incompetent programmer)
moomin 2y ago
Finally, a commercial application of Haskell.
throw156754228 2y ago
It's stupidly difficult to get a Haskell role. There are long time, knowledgeable forum members on the Haskell discourse who have related on there that they've never been able to secure a full time Haskell role.
- zEddSH 2y ago
  Really? IOHK are almost always hiring - apply there. They’ll know the people hiring if they’re that familiar surely?
  - munchler 2y ago
    Is that a blockchain company? Every potential employer that has ever mentioned Haskell to me seems to be one.
    - CuriousCosmic 2y ago
      It is. They are one of the main developers for Cardano (I linked some of their stuff in another comment talking about examples of commercial open source haskell because I keep up with the project). I'm actually interested in what other projects in the cryptocurrency space use haskell? I thought Cardano was the only project that did. Most everyone else seems to use Rust or some mishmash of web oriented languages.
      - munchler 2y ago
        I went back to check my email and it turns out that I received several Haskell enquiries from the same recruiter over a period of a few years. He only ever described the employer as a “Global Blockchain Fin-Tech Firm” without being more specific. It seemed pretty fishy to me.
        CuriousCosmic 2y ago
        Yeahhhh that sounds about right for a shitty recruiter.
deleted 2y ago
[deleted]
lupire 2y ago
Cool, a cryptocurrency company trying to improve Haskell's reputation.
- habitue 2y ago
  How is a cryptocurrency company involved? I don't see that anywhere, this is the Haskell foundation's site. Maybe I missed it?
7gu 2y ago
What they don't tell you is haskell integration is still poor on interview platforms so you will be solving them in python.

44 points by swatson741 2y ago

What might be the best example of an open source Haskell project that sees meaningful commercial use? I realize I’m not sure I’ve ever seen what that looks like, having only been exposed to personal/small projects.

logicprog 2y ago
pandoc!
- tombert 2y ago
  I’ve said for years that Pandoc is pretty much the only Haskell program that’s used outside people who want the novelty of using a Haskell program. It’s also a program I use all the time, I haven’t touched a WYSIWYG word processor in years.
  - logicprog 2y ago
    That may be true — it may be the only Haskell program that people regularly use — but I'm not sure how that counts against Haskell. I'm no fan of Haskell (I used to be a huge pure functional programming fan, but over time the shine has worn off and I've realized it's just another dogmatic paradigm) but having even one widely used and liked tool is actually exemplary for a highly idiosyncratic non-mainstream language like Haskell, to be honest. I think it's doing pretty well for itself.
    - tombert 2y ago
      I didn't say it was a bad thing, just pointing out that Haskell is not a terribly popular language and as such most of the apps that I've seen written in it are only used by Haskell enthusiasts (Darcs comes to mind). I'm kind of a functional programming fanatic, evidently.
romes 2y ago
Some examples include the well-known shellcheck shell analysis tool, or the Ivory language embedded in Haskell used in real world autopilots for flight systems described in this experience report: https://leepike.github.io/pubs/embedded-experience.pdf https://leepike.github.io/pubs/embedded-experience.pdf, or the copilot language powering monitoring systems for flight systems at NASA (https://copilot-language.github.io/index.html https://copilot-language.github.io/index.html).
roetlich 2y ago
Hasura has commercial use: https://hasura.io/ https://hasura.io/
wavemode 2y ago
The best answer to this question is, in the compilers of other programming languages lol. Elm, for example, is in use in production at a variety of companies.
CuriousCosmic 2y ago
It sees quite a lot of use in the traditional finance industry in europe from what I've been told but basically all of that is closed source. However probably the "biggest" open source project with direct commercial use would be the Cardano blockchain (IOG, one of the main developers for Cardano, is one of the top sponsors for the Glasgow Haskell Compiler as well as a major contributor nowadays). The cardano node implementation is linked here: https://github.com/IntersectMBO/cardano-node https://github.com/IntersectMBO/cardano-node However a lot of tooling for the ecosystem is spread between that org, the IOG org, and the CF org, as well as others. https://github.com/IntersectMBO/ https://github.com/IntersectMBO/ https://github.com/input-output-hk/ https://github.com/input-output-hk/ https://github.com/cardano-foundation/ https://github.com/cardano-foundation/ By no means is this the best example but it is a decent example of an extremely large, primarily haskell based project that sees regular use.
ppseafield 2y ago
Supabase is built on top of PostgREST, which is written in Haskell.
hiAndrewQuinn 2y ago
The Co-Star astrology web app has its backend coded in Haskell, which I've always found fascinating. I love the overlap between esoteric communities.

rty32 2y ago

> "Stand out to employers" Sure... 99% of employers: it's impressive that you master Haskell and passed this test. Still, you need to solve this leetcode problem (and preferably not using Haskell)

7thaccount 2y ago
You may be being generous. 99.9% of employers: "What is Haskell"?
throw156754228 2y ago
I really believe employers in this industry now essentially assume everything on your resume is a bunch of lies, and the interview process is to check you can string a sentence together, and know the two pointers algorithm.

tombert 2y ago

I am reasonably certain I could pass this exam, I signed up for the waiting list, but I am doubtful that would in any way translate to any kind of job opportunity. Even certs in more commercially popular languages aren’t taken terribly seriously most of the time; I have a few and I eventually took them off my resume to save space.

Avi-D-coder 2y ago

As someone who has worked on haskell professionally, it's probably the easiest language to interview in/for. It's really easy to see how deep a dev has gone down the haskell rabbit hole. Forget a certificate, just talk for 5 minutes. Any dev who has fully gone down the haskell rabbit hole can definitely grok any other paradigm. The challenge isn't technical skills with devs like this.

mikemitchelldev 2y ago

It's probably easy to get certified and still be an incompetent programmer (in the same way it's easy to get a university degree and still be an incompetent programmer)

moomin 2y ago

Finally, a commercial application of Haskell.

throw156754228 2y ago

It's stupidly difficult to get a Haskell role. There are long time, knowledgeable forum members on the Haskell discourse who have related on there that they've never been able to secure a full time Haskell role.

zEddSH 2y ago
Really? IOHK are almost always hiring - apply there. They’ll know the people hiring if they’re that familiar surely?
- munchler 2y ago
  Is that a blockchain company? Every potential employer that has ever mentioned Haskell to me seems to be one.
  - CuriousCosmic 2y ago
    It is. They are one of the main developers for Cardano (I linked some of their stuff in another comment talking about examples of commercial open source haskell because I keep up with the project). I'm actually interested in what other projects in the cryptocurrency space use haskell? I thought Cardano was the only project that did. Most everyone else seems to use Rust or some mishmash of web oriented languages.
    - munchler 2y ago
      I went back to check my email and it turns out that I received several Haskell enquiries from the same recruiter over a period of a few years. He only ever described the employer as a “Global Blockchain Fin-Tech Firm” without being more specific. It seemed pretty fishy to me.
      - CuriousCosmic 2y ago
        Yeahhhh that sounds about right for a shitty recruiter.

deleted 2y ago

[deleted]

lupire 2y ago

Cool, a cryptocurrency company trying to improve Haskell's reputation.

habitue 2y ago
How is a cryptocurrency company involved? I don't see that anywhere, this is the Haskell foundation's site. Maybe I missed it?

7gu 2y ago

What they don't tell you is haskell integration is still poor on interview platforms so you will be solving them in python.