Top Tweets for #RankNTypes
How doth #RankNTypes fit into this, because when you write
id id
you are implicitly instantiating them at different types a->a and a
Perhaps hiding #RankNTypes is the *benefit* of type classes
class Category cat where
id :: cat a a
you don't have to understand
data DCategory cat where
D :: (forall a. cat a a) -> DCategory cat
When teaching higher-order functions, make them top-level. This especially helps when teaching #RankNTypes
Imagine the difference between explaining
pair :: (Int, Bool)
pair = (id @Int 10, id @Bool True)
and
pair' :: (forall a. a -> a) -> (Int, Bool)
pair' id = ..
@leifbattermann @fried_brice Use parametric polymorphism to make your code simple!
#RankNTypes makes your code simple!
When using the mu compiler (no diss)
>can't use existential types
"I'll use higher rank types then"
>doesn't have #RankNTypes
*copy paste paste paste*
I don't know what rank this is, epicly ranked #HaskellPDF #Haskell #RankNTypes #Rank2Types
https://t.co/PR01BgnVxT
@MxLambda Did you mean 'data Void' with no constructors?
#RankNTypes is where #TypeApplications shine,
also (forall a b. a -> b) vs (forall a. a -> forall b. b) =
We could define Void = (forall b. b)
Practical type inference for arbitrary-rank types
https://t.co/kVaR8iKhjc
#HaskellPDF #Haskell #RankNTypes #Rank2Types
#Haskell, get familiar with #RankNTypes & look at (@ means visible #TypeApplications)
type F = (forall x. x -> Int)
mkInt :: F -> Int
mkInt int = int @Bool False
mkInt :: F -> Int
mkInt int = int @() ()
and compare it to
mkInt' :: forall a. (a -> Int) -> Int
Interesting type synonm for a rank-2 polymorphic function #RankNTypes
The `c' has kind
c :: (Type -> Type) -> Constraint
like Functor, Applicative, Monad and the
class NoConstraint a
instance NoConstraint a
· Concurrency Oracles for Free
· pdf https://t.co/NrtpUsurPY
Hi I am jack and I like #RankNTypes
Mixing #DerivingVia + #FinallyTagless + #RankNTypes (what Janis Voigtländer calls higher-order overloading)
Requesting cool applications of #parametricity (especially #RankNTypes / higher-rank types)
Something in the spirit of Janis Voigtländer's thesis (https://t.co/GXh8AOiVJn)
Last Seen Hashtags on Sotwe
ديااثة
Seen from Turkey
amateurporn
Seen from Turkey
สาวสวยอมควย
Seen from Thailand
BirdsOfTwitter
Seen from Netherlands
momson videos.
Seen from Germany
baited
Seen from Switzerland
nolimit #nolimit #momson
Seen from Turkey
Elevator #blowjob
Seen from Netherlands
อ่างทองนัด
Seen from Thailand
k9girl
Seen from Singapore
Most Popular Users
Elon Musk 
@elonmusk
240.4M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.2M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.6M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.8M followers
KATY PERRY
@katyperry
87.4M followers
Taylor Swift
@taylorswift13
81.3M followers
Lady Gaga
@ladygaga
72.8M followers
Kim Kardashian
@kimkardashian
69.7M followers
Virat Kohli
@imvkohli
69.5M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.7M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
62.2M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.5M followers