Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)HA
haskman @programming.dev
Posts 3
Comments 9

Bluefin - a new Haskell effect system library

0

FPIndia Learn Haskell meetup this Saturday

The next #FPIndia Learn #Haskell meetup is going to be this Saturday 24 Feb in #Gurgaon.

We'll do a quick recap of basics of Haskell, and then learn some tricks on how to write real world code. This is a great time to jump in if you have not attended the previous sessions.

Do drop by if you are around!

#FunctionalProgramming #Meetup #Delhi #India

0
Extending Rust's Effect System
  • Yes, my thoughts exactly.

    This problem is not solved by monads, but by higher kinded types in general in languages like Haskell. They give you a uniform way to be generic over effects like async (Async) vs sync (Identity). Both of these can be treated as (F) for all A. So a generic Into would look like the following, and no special syntax or semantics would be needed. The type system (if sound) would prevent you from misusing a trait like this.

    trait Into {
       def into(self): F;
    }
    
  • Extending Rust's Effect System

    8
    Welcome to the Programming.Dev haskell community!
  • I’m a long time functional programming enthusiast and work with Haskell and PureScript professionally. I recently created the PureScript community on this instance and would be happy to to moderate the Haskell community as well.