Since this is a very new community, let’s take a moment to introduce ourselves in this thread. Please share your interests and what you are working on!

  • jaror@kbin.socialOP
    2·
    1 year ago

    I’ll kick this off. My name is Jaro. I have been interested in Haskell for about 8 years now. I like it because of it’s connections to theory; there is always more to learn!

    I’m currently working on gigaparsec which is a parser combinator library like parsec and megaparsec, but gigaparsec allows you to write your parser in a natural left-recursive way and it returns all possible parses instead of just the first parse that succeeds. My goal is to make a parser combinator library that allows you to use annotations to inform the parsing process instead of forcing you to restructure your parser.

    Recently, I’m getting more and more convinced that correctness is the cornerstone of computation. To write a useful program you should first specify the idea itself and only later provide an efficient implementation. I got this idea from Conal Elliot who has talked about it on the Type Theory Forall podcast and recently at ZuriHac.

    So, now I’ve also started reading the HoTT book to see what it really takes to express myself formally.

    Looking forward to your introductions!

    • AphonicChaos@kbin.social
      0·
      1 year ago

      Neat! The AGPL license may prove to be a barrier for adoption, but I assume this is more to scratch an itch you have, so wide-adoption is a non-goal?

      • jaror@kbin.socialOP
        1·
        1 year ago

        I don’t really like having my work end up in proprietary software, but if there are people that would be willing to contribute only if I license it more permissively then I would consider that. For now I think there is still a long way to go before such issues will arise.

  • underlap@kbin.social
    2·
    1 year ago

    I’m Glyn Normington. I dipped into Haskell briefly in about 2011, but recently got a little deeper into it when I taught a second year functional programming module at Winchester University, UK. I’m a retired programmer with 39 years experience and try to pass on some general tips in the module. I came here after recently deleting my Reddit account. (I’ve been on the Fediverse for a while as fosstodon.org/@underlap.)

  • ThomasDuBuisson@kbin.social
    2·
    1 year ago

    I’m “TomMD”. To say I ‘maintain’ things might be an overstatement, but I’ve released a number of Haskell packages and minor fixes. Much of that was on my own but a significant portion were from my Galois days. I’ve had a few publications and am hoping to get to ICFP Seattle this year. Also years ago I made (cofounded) a company (Muse Dev) with Haskell as central part of the stack which was enjoyable.

    Currently? Life is very busy so I’m just enjoying my Haskell time writing this and that rather than building much for release.

  • kleidukos@kbin.social
    2·
    1 year ago

    I’m Kleidukos, interested in production Haskell, with a focus on developer experience, web services, accessibility and building community spirit. Glad to join the party here!

  • AphonicChaos@kbin.social
    0·
    1 year ago

    Do code-blocks work better than on reddit for mobile?

    Fenced code block:

    module Main where

main :: IO ()
main = do
    putStrLn "Hello, kbin!"

    Indented 4 spaces:

    module Main where

main :: IO ()
main = do
    putStrLn "Hello, kbin!"

    update: Oh wow, looks like only inline code fragements work? Something like main = putStrLn "Hello, kbin!"
    update 2: No syntax highlighting at all! That’s probably a show-stopper.