magicDict

[Simon Peyton Jones]

Ah, yes... I can never remember which is reify and which is reflect. I'm fine either way.  Maybe reifyDict is better.

S

|  -----Original Message-----
|  From: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
|  Sent: 22 April 2021 20:18
|  To: Spiwack, Arnaud <arnaud.spiwack at tweag.io>
|  Cc: Simon Peyton Jones <simonpj at microsoft.com>; GHC developers <ghc-
|  devs at haskell.org>
|  Subject: Re: magicDict
|  
|  How about 'reifyDict'? The reflection library uses 'reify' to create a
|  dictionary and 'reflect' to extract a value out of it.
|  
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhack
|  age.haskell.org%2Fpackage%2Freflection-2.1.6%2Fdocs%2FData-
|  Reflection.html%23v%3Areify&data=04%7C01%7Csimonpj%40microsoft.com
|  %7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988bf86f141af91ab2d7cd011db47
|  %7C1%7C0%7C637547159883839881%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAw
|  MDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=bQ
|  RNfsZPQQ%2FxqVcJvVpRJSkBIEZojqmKyqhpv7gr9XU%3D&reserved=0
|  
|  On Thu, Apr 22, 2021 at 3:27 PM Spiwack, Arnaud
|  <arnaud.spiwack at tweag.io> wrote:
|  >
|  > Let me upvote `reflectDict`.
|  >
|  > On Thu, Apr 22, 2021 at 12:41 PM Simon Peyton Jones via ghc-devs
|  <ghc-devs at haskell.org> wrote:
|  >>
|  >> Ed, and other ghc-devs
|  >>
|  >> We are busy tidying up magicDict, and making it much more type-
|  safe:
|  >> see
|  >>
|  >>
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit
|  >> lab.haskell.org%2Fghc%2Fghc%2F-
|  %2Fissues%2F16646&data=04%7C01%7Cs
|  >>
|  imonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988bf8
|  >>
|  6f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown%7CTWFp
|  >>
|  bGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6M
|  >>
|  n0%3D%7C3000&sdata=6OX7dPWC2sVUeMKNaqZVGwH%2FJ9mGSWQRUEWuvUWq8uE%
|  >> 3D&reserved=0
|  >>
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgit
|  >> lab.haskell.org%2Fghc%2Fghc%2F-
|  %2Fmerge_requests%2F5573&data=04%7
|  >>
|  C01%7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72
|  >>
|  f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown
|  >>
|  %7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLC
|  >>
|  JXVCI6Mn0%3D%7C3000&sdata=D2Q3wq74Y4RVnaAOjXQX6R9EuxuDplwmJ0zdk%2
|  >> BAhN64%3D&reserved=0
|  >>
|  >> As part of that change we're think of changing its currently-
|  rather-obscure name.  I rather favour "reflectDict".  Any other views?
|  >>
|  >> Simon
|  >>
|  >> _______________________________________________
|  >> ghc-devs mailing list
|  >> ghc-devs at haskell.org
|  >>
|  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail
|  >> .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
|  devs&data=04%7C
|  >>
|  01%7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f
|  >>
|  988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown%
|  >>
|  7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJ
|  >>
|  XVCI6Mn0%3D%7C3000&sdata=%2BQHuwK50UdRQR0AQOuNGstDM%2BtDEv%2F75fs
|  >> Ia3mfqvIw%3D&reserved=0
|  >
|  > _______________________________________________
|  > ghc-devs mailing list
|  > ghc-devs at haskell.org
|  >
|  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.
|  > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
|  devs&data=04%7C01
|  >
|  %7Csimonpj%40microsoft.com%7C4c3a0fe8f1b2459d746308d905c34ed0%7C72f988
|  >
|  bf86f141af91ab2d7cd011db47%7C1%7C0%7C637547159883839881%7CUnknown%7CTW
|  >
|  FpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6
|  >
|  Mn0%3D%7C3000&sdata=%2BQHuwK50UdRQR0AQOuNGstDM%2BtDEv%2F75fsIa3mfq
|  > vIw%3D&reserved=0