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!

  • treeowl@kbin.social
    link
    fedilink
    arrow-up
    5
    ·
    2 years ago

    I’m David Feuer. I maintain containers, co-maintain unordered-containers and pqueue, and contribute to various other projects. Data structures are fun. I’m a good person to talk to about laziness subtleties, and about whether particular applications of unsafe IO are safe in context.

  • jaror@kbin.socialOP
    link
    fedilink
    arrow-up
    3
    ·
    2 years 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 (recording will be released later).

    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
      link
      fedilink
      arrow-up
      0
      ·
      2 years 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
        link
        fedilink
        arrow-up
        1
        ·
        2 years 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.

  • AphonicChaos@kbin.social
    link
    fedilink
    arrow-up
    1
    ·
    2 years ago

    I’m Edwin. I’ve been enamored by Haskell for several years, but never had the opportunity to work on it professionally, or for any medium-to-large sized projects.

    I did write a statistics calculator for DnD 5e for my DM that used Haskell for the backend though, and that was fun. I attempted to use Haskell for the GUI, but found the experience lacking, since my DM had a requirement that it work on Windows and be a desktop app. Long story short, I spent hours trying to get gi-gtk to work on Windows after spending other hours trying various other solutions (to include threepenny-gui) before eventually giving up and writing the GUI in Python + Qt 6.

    I now have a passion project named “War Womb”, which aims to be a 2D app that lets you play Warcaster: Neo-Mechanika digitally. I have a prototype written as a web-app using Python + FastAPI in the backend and Typescript + React on the frontened. I’ve been recently tinkering with SDL to see if I can treat the app more like a game, since there are a lot of interactive components, and thus hopefully use Haskell for this project instead, since I have way more fun programming in Haskell than anything else I’ve use.

    • jaror@kbin.socialOP
      link
      fedilink
      arrow-up
      1
      ·
      2 years ago

      Both projects sound cool! I’ve also experienced issues with GUI programming in Haskell. It seems once upon a time wx worked well, but now it is no longer maintained.

  • AphonicChaos@kbin.social
    link
    fedilink
    arrow-up
    0
    ·
    2 years 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.

    • jaror@kbin.socialOP
      link
      fedilink
      arrow-up
      2
      ·
      2 years ago

      AFAIK Reddit also doesn’t have syntax highlighting, or does it? The blocks and inline code in your comment does render in a monospace font, so that’s a good first step. I also believe kbin is still very new and might get more features like syntax highlighting in the future.

      • AphonicChaos@kbin.social
        link
        fedilink
        arrow-up
        0
        ·
        2 years ago

        You’re right! I think the difference is that reddit puts a background around code so it stand out from “regular” text.