Zulip Chat Archive

Stream: new members

Topic: MangoIV

MangoIV (Aug 03 2023 at 18:06):

I’m Mango and I’m a Haskeller and Nixer (many such cases).
I’m interested in Lean4 mainly as a programming language with strong static guarantees, coming from Haskell, I’m excited for less painful dependently typed programs, a backtracking instance resolution algorithm and extensible syntax.
I’ll probably be asking a lot of (dumb) questions so please bear with me.

MangoIV (Aug 03 2023 at 18:07):

My plan is to eventually write a “useful”, “real world” program in lean4 such as a Webserver.

Last updated: Dec 20 2023 at 11:08 UTC