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

Jack Henahan jhenahan at me.com
Mon May 2 20:43:02 UTC 2016


What about :type for the normal behavior and :type! for specializations? With the notion that it could be extended to provide multiple specializations, I could also see :types (both meaning "display multiple example types" and serving as a mnemonic for :types[pecialization]) being viable.

> On May 2, 2016, at 4:39 PM, Richard Eisenberg <eir at cis.upenn.edu> wrote:
> 
> 
> On May 2, 2016, at 4:36 PM, Eric Seidel <eric at seidel.io> wrote:
> 
>> Also, I'd suggest making (1) and (2) optional flags for :type rather
>> than new top-level commands. The shared prefix already suggests a common
>> purpose, printing out the type of something, so why not make it even
>> clearer that (1) and (2) are just specializations (heh) of :type?
> 
> Others have echoed this and I'm open to the idea. But I, personally, dislike this. All three commands are useful, and I expect I'll want to frequently interleave which one I want during a GHCi session. Controlling via a flag makes this awkward.
> 
> But that's just my 2¢.
> 
>> 
>> Eric
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160502/5f4a4ee0/attachment.sig>


More information about the Haskell-Cafe mailing list