Top Tweets for #InstanceSigs
Don't forget your #InstanceSigs
@autumnskullcap Don't forget #InstanceSigs, for writing signatures for class methods
documentation: https://t.co/DIW7OzpZ0C
I wish Haskellers wrote #InstanceSigs religiously like they do top-level signatures
instance MonadFix Down where
mfix :: (a -> Down a) -> Down a
mfix ..
@IsolaMonte Visible #TypeApplications are so useful, I want to bring attention to #InstanceSigs which doesn't get enough love
#InstanceSigs #SuperfluousParens #HaskellHistory #SPJSpareMomentFeature ;P
instance Functor ((->) a) where
fmap :: (b -> b') -> ((a -> b) -> (a -> b'))
fmap = (.) https://t.co/4rl4necjbN
@JohnRHeaton As for InstanceSigs
· It should have been there from the get go but overlooked I guess
· Proposed 7 years ago (https://t.co/O11iemeFKu)
· Added to GHC 7.6
· Implemented by @simonpj0 "in a spare moment" (as MANY things are!)
· Deserves to be better known, a great learning tool
昔すごいH本で「(->)型は(Monad)Readerだよ」って言われて「？？？」ってなったまま理解を放置してたんだけど、
ふとそれを思い出したのでインスタンス眺めてみたら「定義より明らか」だった
@mojobojo @paul_snively A few cents
1. Define/understand many many different instances ((a ->), Const a, Sum.., Product../ Compose.., V1/V2/V3, .. are a choice few)
2. Always use #InstanceSigs
3. Define methods as top-level functions
4. When defining an instance of a newtype define once as type synonym
Always write type signatures. Enable #InstanceSigs to write type signatures for your instance methods https://t.co/GyElK2L81p
A coworker asked me to add a type signature to a function declared in a `let` binding. So I did, and in the process realized that the type I'd implied could be improved substantially to clarify its meaning.
Explicit type signatures don't just help your coworkers, they help you.
Trends for you
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