The point of 'wrap/unwrap' or something like that is to avoid to specify type. Like you can use
x := wrap y instead of x : Maybe A_VERY_LONG_TYPE := coerce y And you can use 'coerce' this way, but I prefer 'wrap', because usually there are many 'coerce' for a type, but there's only one 'wrap'. As for 'retract', because 'retractIfCan' should return a Maybe, that makes Maybe more fundamental than RetractableTo. And for the same reason, one can use 'unwrap' to avoid to specify type. If you don't like the name of 'wrap/unwrap', there has to be replacement other than 'coerce/retract', so what do you suggest? (Like Haskell's 'just/fromJust'?) -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
