{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreid3ciykbpyrh6l6fmm5n2iswedcwikpprx3zhle4gmj37zm2z254m",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mg7glvrz7od2"
  },
  "path": "/t/changing-the-binary-instance-for-double-and-float/13758#post_10",
  "publishedAt": "2026-03-03T23:06:38.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "binrep"
  ],
  "textContent": "I am very interested in a pattern I believe to be related i.e. describing encoding in types. I have a library binrep that supports doing this in a composable manner e.g. a `NullTerminated ByteString` will encode like a C-string, and that is explicit in the type. I’d be very keen to support any efforts like this.",
  "title": "Changing the `Binary` instance for `Double` and `Float`"
}