Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @haskell_cat
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @haskell_cat
-
Thanks to
@Iceland_jack 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!https://twitter.com/haskell_cat/status/1216379070038056961 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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!https://hackage.haskell.org/package/n-ary-functor-1.0 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
gelisam proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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!https://github.com/gelisam/typelevel-rewrite-rules#alternatives …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The result of this year's holiday hacking is a typechecker plugin which allows you to write custom type-level rewrite rules:https://github.com/gelisam/typelevel-rewrite-rules#readme …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
(++) 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"?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
> 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?
#TeamTrees wants to plant 20 million trees by 2020. $1 plants one treehttp://share.teamtrees.org/519648059tHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Off to London! If you're also going to
#haskellX, come say hi! I'll be the guy in the haskell_cat T-shirt.pic.twitter.com/zEQ3IwYt86
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
_sigh_, why is building GHC so god damn difficult...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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'"https://gist.github.com/gelisam/d9b067a1ef78670d6e4c67b18740bbea …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
gelisam proslijedio/la je Tweet
@SimSpaceCorp 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 challengeHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
gelisam proslijedio/la je Tweet
#hint: Use the following GHC options to produce clean Core of your#haskell code {-# OPTIONS_GHC -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes #-}pic.twitter.com/EExPC4lUUk
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 = ?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.https://twitter.com/mattoflambda/status/1148726386615443456 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
gelisam proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wow, the videos got uploaded fast this year! Here is the recording of my
@composeconf presentation on stuck macros:https://www.youtube.com/watch?v=nUvKoG_V_U0 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Life goal: present at more conferences and become good at explaining complex things clearly. My next attempt will be next week at
@composeconf NYC, let me know if I succeed!https://twitter.com/Ngevd/status/1139824773045735425 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.