haskman

joined 8 months ago
MODERATOR OF
[–] haskman@programming.dev 5 points 1 month ago

Others have listed a bunch of good resources. If you are more of a visual learner, I have heard good things about the Easy Rust videos - https://www.youtube.com/watch?v=-lYeJeQ11OI&list=PLfllocyHVgsRwLkTAhG0E-2QxCf-ozBkk

[–] haskman@programming.dev 4 points 1 month ago (7 children)

On KDE you can try out Polonium, which integrates with the native tiling support and makes it awesome!

[–] haskman@programming.dev 3 points 7 months ago

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

ChinaTalk https://chinatalk.substack.com/

RSS address: https://feeds.megaphone.fm/CHTAL4990341033

[–] haskman@programming.dev 1 points 7 months ago

There are plenty of both really, too many perhaps

[–] haskman@programming.dev 1 points 7 months ago (2 children)

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

[–] haskman@programming.dev 3 points 8 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.

trait Into<F,T> {
   def into(self): F<T>;
}
[–] haskman@programming.dev 7 points 8 months ago

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

[–] haskman@programming.dev 2 points 8 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