Chapter 3 - repl print out for "flip" needs updating? #326

Activity

1. milesfrain commented on Apr 28, 2021

   

   milesfrain

   on Apr 28, 2021

   Member

   More actions

   Wow. It looks like all :type output has been "clarified" with additional kind information (e.g. the kind of a type).

   > :t flip
   forall (a :: Type) (b :: Type) (c :: Type). (a -> b -> c) -> b -> a -> c
   
   > :t const
   forall (a :: Type) (b :: Type). a -> b -> a
   
   > :t add
   forall (a :: Type). Semiring a => a -> a -> a
   
   > :t map
   forall (f :: Type -> Type) (a :: Type) (b :: Type). Functor f => (a -> b) -> f a -> f b

   In general, would it be better if an edit suggestion like this comes through a PR?

   Either a PR or issue is fine. Thanks for reporting.

   In this case, I think there's a lot of stuff to sort out, such as:

   • Update all repl snippets that print kind info.
   • Move everything involving these kind-printing snippets to after the kind section of ch3.
   • Move this flip example to Ch4 as proposed in Better explanation of flip function #260 (comment).

   Your proposal to include a "Don't worry" note in #260 (comment) may also be a reasonable temporary fix.

   Feel free to make a PR for any of the above todos. You're also welcome to copy over this series map/flip examples and explanation, if you think that would make sense in Ch4. I'd also be happy to make these edits, but probably won't get around to it within the next month, and want to give first dibs to potential new contributors.
3. milesfrain

   closed this as completedin #447on Jul 17, 2023