haskman

haskman, 2 months ago

RSS link so you can add it to your preferred podcast client (I use AntennaPod) -

ChinaTalk chinatalk.substack.com

RSS address: feeds.megaphone.fm/CHTAL4990341033

haskman, 2 months ago

Hey! We have buff, and plenty of local pubs! The other things are true though, can’t help you with those

haskman, 2 months ago

There are plenty of both really, too many perhaps

haskman, 3 months ago

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<A>) vs sync (Identity<A>). Both of these can be treated as (F<A>) 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.

<span style="color:#323232;">trait Into<F,T> {
</span><span style="color:#323232;">   def into(self): F<T>;
</span><span style="color:#323232;">}
</span>

haskman, 3 months ago

This seems to have many similar ideas as Dhall Lang - dhall-lang.org

haskman, 3 months ago

These are woman bikers from various armed forces. This sort of a bike show happens every year on Republic day and it’s always fun to watch

haskman, 3 months ago

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.

haskman, 3 months ago

Great! Yes an icon for PureScript would be great as well