From 3e404d0b30b946104e898eeecf0612c473a0960e Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Wed, 31 May 2017 18:46:03 -0700
Subject: [PATCH] binarizer

---
 pitfall/pitfall/binarizer.rkt | 50 +++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 pitfall/pitfall/binarizer.rkt

diff --git a/pitfall/pitfall/binarizer.rkt b/pitfall/pitfall/binarizer.rkt
new file mode 100644
index 00000000..b2817d3e
--- /dev/null
+++ b/pitfall/pitfall/binarizer.rkt
@@ -0,0 +1,50 @@
+#lang pitfall/racket
+
+(define binarizer%
+  (class object%
+    (super-new)
+    (init-field [parts null])
+    (define/public (encode x) (error 'must-override-encode))
+    (define/public (decode x) (error 'must-override-encode))))
+
+(define Byte
+  (class binarizer%
+    (super-new)
+    (define/override (encode x)
+      (let loop ([x x])
+        (cond
+          [(bytes? x)
+           (if (= (bytes-length x) 1)
+               x
+               (raise-argument-error 'Byte "byte string of length 1" x))]
+          [(number? x)
+           (if (<= 0 x 255)
+               (bytes x)
+               (raise-argument-error 'Byte "number that fits into one byte" x))]
+          [(char? x) (loop (char->integer x))]
+          [(symbol? x) (loop (symbol->string x))]
+          [(string? x) (loop (string->bytes/latin-1 x))]
+          [else (raise-argument-error 'Byte "convertible type" x)])))))
+
+(define (>Byte . xs)
+  (apply make-object Byte xs))
+
+(get-field parts (>Byte 23))
+
+
+#|
+(define (Bio x)
+  (define template (list 'age Byte
+                         'name short
+                         'city long))
+  (if (hash? x)
+      (hash->bytes x template)
+      (bytes->hash x template)))
+
+(define h (hash 'age 24
+              'name 1000
+              'city 200000))
+
+(define bs (Bio h))
+
+(Bio bs)|#
\ No newline at end of file