Top Tweets for #TypeApplications
Look at those crazy instantiations.
I am desperate for a feature that lists all #TypeApplications visibly
@hisham_hm @taylorfausak One of the most important ones is #TypeApplications
{-# Language TypeApplications #-}
which allows you to use @ to pass types as arguments.
First you should think of polymorphic types like
minBound :: Bounded a => a
as having an invisible argument
This would also be helped it GHC could mark, or temporarily fill in, visible #TypeApplications
mempty @(a->a->a)
v
mappend @a
When GHC instance resolution bites: today I had well-typed wrong code `mempty x y` where I meant `mappend x y`! A quick explanation of why this was well-typed https://t.co/bqf30YPKID Proposals e.g. by @Iceland_jack to allow GHC to explain its instance resolution would have helped
It's easy to forget how much happens behind the scenes
fmap fmap fmap odd (+)
it's there, we should be privy. The first two 'fmap's are 4th order functions
Haskell IDE should have
· option to, temporarily or otherwise, override all #TypeApplications to be visible
I always use #TypeApplications for read-like functions (with return-type polymorphism)
Person <$> read @String
<*> read @Int
but not for show
@mattoflambda Assuming a proxy for a Type but I would expect a modern library to provide a proxy-free #TypeApplications as the primary interface, but I think visible quantification would be best (in dependent Haskell)
sizeOf :: forall a -> Storable a => Int
How feasible is it to grep Haskell code with
traverse @Maybe @(Cont _)
foldr @[] @_ @(_->_)
so you get a result even if it appears without #TypeApplications
runCont (traverse pure Nothing)
@autumnskullcap @tritlo Using an extension #TypeApplications (https://t.co/AZrBuKHKSY) you can write that succinctly as
{-# Language TypeApplications #-}
map = fmap @[]
@lexi_lambda > it can sometimes be very difficult for someone not familiar with idiomatic Haskell to resolve the constraints in their head
Copious #TypeApplications / sigs / local defs
take 5 (xs <> pure @[] x)
also imagine if we had infix application (=
take 5 (xs <> @[_] pure @[] x)
#Haskell beginners:
explicitly specify all #TypeApplications, until it is clear to you how functions are instantiated.
It makes polymorphic recursion obvious
It's where you define a function foo @a but call it at something like foo @[a]
![Iceland_jack's tweet photo. #Haskell beginners:
explicitly specify all #TypeApplications, until it is clear to you how functions are instantiated.
It makes polymorphic recursion obvious
It's where you define a function foo @a but call it at something like foo @[a] https://t.co/7PfhMeuuU0](https://pbs.twimg.com/media/EEh5_1qXUAAY08N.png)
![Iceland_jack's tweet photo. #Haskell beginners:
explicitly specify all #TypeApplications, until it is clear to you how functions are instantiated.
It makes polymorphic recursion obvious
It's where you define a function foo @a but call it at something like foo @[a] https://t.co/7PfhMeuuU0](https://pbs.twimg.com/media/EEh5_0-X4AAp5YH.png)
@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)
@IsolaMonte Visible #TypeApplications are so useful, I want to bring attention to #InstanceSigs which doesn't get enough love
@josecalderon @_andy_gill @Augustsson Should I write the whole paper on "#ApplyingVia" = #TypeApplications + via
I have various ideas for via in instance declarations, via in module imports; should they all be included
@xgrommx The idea is that #ApplyingVia extends #TypeApplications to mean this
sequenceA @[] @(via Backwards)
~~>
sequenceABackwards
https://t.co/rb7bId5FDb
I wrote a tutorial that explains strategies for using Haskell folds by leaning on GHCi.
"The Adventures of Foldilocks" incorporates story-telling, illustration and code examples you can practice.
I played to my strengths here and used many bad puns.
Commentary on walking through the first chapters of Learn You a Haskell
Haskell beginners should use a lot of visible #TypeApplications (https://t.co/AZrBuKHKSY)
Going through LYAH
https://t.co/YtfWRit7Kl
#TypeApplications
> id @Int 4
4
> id @(Int -> Int) (id @Int) 4
4
> id @((Int -> Int) -> (Int -> Int)) (id @(Int -> Int)) (id @Int) 4
4
Last Seen Hashtags on Sotwe
humping
Seen from United States
nolimit filter:native_Video
Seen from Canada
randisister
Seen from India
فضفضفه
Seen from United States
sobrina
Seen from Italy
terribleinfluencetour
Seen from United States
thundr
Seen from Australia
talkingangela
Seen from Argentina
nolimit()****** filter:videos
Seen from Norway
SkibidiToiletfanart
Seen from Vietnam
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