<div dir="ltr"><div>Dear cafe,</div><div><br></div><div>I'm forwarding mail from ghc-devs ML [1].</div><div><br></div><div>I think `:type` command is very important for beginners and middle users.</div><div>Please feedback your opinion to them ;)</div><div><br></div><div>[1]: <a href="https://mail.haskell.org/pipermail/ghc-devs/2016-April/011933.html">https://mail.haskell.org/pipermail/ghc-devs/2016-April/011933.html</a></div><div><br></div><div><br></div><div>> 2016-04-26 22:08 GMT+09:00 Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>>:</div><div>> Hi devs,</div><div>> </div><div>> Over the weekend, I was pondering the Haskell course I will be teaching next year and shuddered at having to teach Foldable at the same time as `length`. So I implemented feature request #10963 (<a href="https://ghc.haskell.org/trac/ghc/ticket/10963">https://ghc.haskell.org/trac/ghc/ticket/10963</a>), which allows for a way for a user to request a specialization of a type. It all works wonderfully, but there is a real user-facing design issue here around the default behavior of :type and whether or not to add new :type-y like commands. I have outlined the situation here: <a href="https://ghc.haskell.org/trac/ghc/wiki/Design/GHCi/Type">https://ghc.haskell.org/trac/ghc/wiki/Design/GHCi/Type</a></div><div>> </div><div>> I'd love some broad input on this issue. If you've got a stake in how this all works, please skim that wiki page and comment on #10963.</div><div>> </div><div>> Thanks!</div><div>> Richard</div><div><br></div><div>Cheers,</div><div>Takenobu</div><div><br></div></div>