Haskell

5 readers

1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago

An opportunity that I couldn't pass up (discourse.haskell.org)

submitted 2 years ago by jaror@kbin.social to c/haskell@kbin.social

3 comments fedilink hide all child comments

Dear Haskell Community, Since May, 2022, I’ve had the honor and pleasure of serving as the Executive Director of the Haskell Foundation. As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October...

you are viewing a single comment's thread
view the rest of the comments

[–] mangoiv@functional.cafe 1 points 2 years ago (2 children)

@jaror my bet is on him joining the lean4 fro

[–] mangoiv@functional.cafe 1 points 2 years ago

@jaror https://lean-fro.org/

[–] jaror@kbin.social 1 points 2 years ago

That certainly sounds like a golden opportunity for him.