[Haskell-cafe] Fw: Bikeshedding request for GHCi's :type

Daniel Díaz diaz.carrete at gmail.com
Thu Apr 28 19:35:52 UTC 2016

I like the flag idea mentioned by Eric Seidel:

> Perhaps instead of changing the default behavior of :type or adding new

commands, we could add a flag to enhance :type's output.

Would it be overkill to have two flags, one that enabled showing the full type + specializations, and a "newbie mode" flag that only showed a few specializations?


On Wednesday, April 27, 2016 at 2:34:29 PM UTC+2, Takenobu Tani wrote:
> Dear cafe,
> I'm forwarding mail from ghc-devs ML [1].
> I think `:type` command is very important for beginners and middle users.
> Please feedback your opinion to them ;)
> [1]: https://mail.haskell.org/pipermail/ghc-devs/2016-April/011933.html
> > 2016-04-26 22:08 GMT+09:00 Richard Eisenberg <e... at cis.upenn.edu 
> <javascript:>>:
> > Hi devs,
> > 
> > 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 (
> https://ghc.haskell.org/trac/ghc/ticket/10963), 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: 
> https://ghc.haskell.org/trac/ghc/wiki/Design/GHCi/Type
> > 
> > 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.
> > 
> > Thanks!
> > Richard
> Cheers,
> Takenobu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160428/fee12bb2/attachment.html>

More information about the Haskell-Cafe mailing list