gelisam

@haskell_cat

Co-organizer of Montreal's FP meetup, "Lambda Montreal".

Montreal
Vrijeme pridruživanja: lipanj 2016.

Tweetovi

Blokirali ste korisnika/cu @haskell_cat

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @haskell_cat

  1. 25. sij

    Thanks to for encouraging me to implement this last feature. Instances like (NFunctor (f a)) are likely to overlap with other instances and are usually a bad idea, but in this case I think it's the right choice!

    Prikaži ovu nit
    Poništi
  2. 25. sij

    Finally, fewer instances are needed. We used to have to write both an (NFunctor Either) and an (NFunctor (Either a)) instance corresponding to Either's Bifunctor and Functor instances, but the latter is now derived from the first.

    Prikaži ovu nit
    Poništi
  3. 25. sij

    For mapping over the 'm', you need a (covariant) natural transformation: hoistStateT :: (Functor m, Functor n) => (m :~> n) -> StateT s m a -> StateT s n a hoistStateT nt = nmap -#- () <##> nt -#- () The (-#-) operator leaves a type parameter alone.

    Prikaži ovu nit
    Poništi
  4. 25. sij

    Covariant mapping still looks like this: > nmap <#> (+1) <#> (+2) $ (0, 0) (1,2) Contravariant mapping looks like this: > let intToInt = succ > let stringToString = nmap >#< length <#> show $ succ > intToInt 3 4 > stringToString "foo" "4"

    Prikaži ovu nit
    Poništi
  5. 25. sij

    Announcing the release of n-ary-functor-1.0! The biggest new feature is support for contravariant arguments. In fact, we support all three type parameters of (StateT s m a)! Yes, even the m!

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    11. sij

    I’ve recently seen some odd behavior in Wireshark with docker. A client that was in a container was sending nonstop TCP keep alive packets to a server on the host. Has anyone seen this behavior before?

    Prikaži ovu nit
    Poništi
  7. 12. sij

    After releasing typelevel-rewrite-rules, I spent the week trying various alternatives and documenting the differences. I should have tried those alternatives first, I might not have written that typechecker plugin if I had!

    Poništi
  8. 5. sij

    The result of this year's holiday hacking is a typechecker plugin which allows you to write custom type-level rewrite rules:

    Poništi
  9. 25. pro 2019.

    (++) is not injective since [x,y] ++ [z] == [x] ++ [y,z]. But (xs ++) and (++ ys) are both injective. What is the name of this property? "injective in both arguments", "left-injective"? "both left-injective and right-injective"?

    Poništi
  10. 25. lis 2019.

    > replicateM 100 plantTree Flying to all these FP conferences made me feel guilty about my carbon footprint! 100 trees ought to compensate a bit for that? wants to plant 20 million trees by 2020. $1 plants one tree

    Poništi
  11. 7. lis 2019.

    Off to London! If you're also going to , come say hi! I'll be the guy in the haskell_cat T-shirt.

    Poništi
  12. 5. lis 2019.

    _sigh_, why is building GHC so god damn difficult...

    Poništi
  13. 28. ruj 2019.

    I found a way to eliminate a monad transformer stack in an Applicative style: :{ runFunDay $ (\() w s result -> result ++ ", " ++ w ++ ", " ++ s) <$$> funReaderT "r" <**> funWriterT <**> funStateT "s" <**> funday1 myRWST :} "result, w, s'"

    Poništi
  14. proslijedio/la je Tweet
    29. kol 2019.
    Odgovor korisniku/ci

    we have found hiring Haskell engineers (especially with remote employees) to be a fantastic experience. We have ~25 Haskellers and no shortage of great applicants (still hiring!). Building a diverse team (an issue in a lot of tech) is probably the biggest challenge

    Poništi
  15. proslijedio/la je Tweet
    26. kol 2019.

    : Use the following GHC options to produce clean Core of your code {-# OPTIONS_GHC -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes #-}

    Poništi
  16. 10. srp 2019.

    Could we use Word2Vec to find more entries in the Curry-Howard correspondence? King - Man + Woman = Queen Proof - Proposition + Type = Program Disjunction - Proposition + Type = Either Conjecture - Proposition + Type = ?

    Poništi
  17. 9. srp 2019.

    This is more brilliant than it seems! The hierarchical exception mechanism will automatically rearrange the types, e.g. you can throw an Either A (Either B C) and catch the subset Either C A.

    Poništi
  18. proslijedio/la je Tweet
    30. lip 2019.

    The evolution of an error message: * No error message * A one-line message * "Expected: … / Actual: …" * "Here's what went wrong: …" * "Here's what you should do: …" * I automated away what you should do * The invalid state is no longer representable

    Poništi
  19. 25. lip 2019.

    Wow, the videos got uploaded fast this year! Here is the recording of my presentation on stuck macros:

    Poništi
  20. 16. lip 2019.

    Life goal: present at more conferences and become good at explaining complex things clearly. My next attempt will be next week at NYC, let me know if I succeed!

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·