チキンスキームでバイナリフロートを読み書きするにはどうすればよいですか？

Question

私はChickenを使ってバイナリデータフォーマットを読んでいますが、これまでは(fx+ (fxshl (read-byte) 8) (read-byte))（Big Endian）のようなものを使ってintを処理しています。

フロートを読み書きするにはどうすればよいですか？私はIEEE 754-2008の32ビットと64ビットのバイナリ浮動小数点を読み書きできる必要があります。

Answer 1

私はこれまでこれを行うには良いライブラリは見つかりませんでしたが、動作するものを一緒にハッキングしました。私は入力操作としてread-byteとread-stringしか利用できないことに注意してください。

;; 
    ;; These are some unfun C routines to convert 4 int-promoted bytes to a float 
    ;; by manually assembling the float using bitwise operators 
    ;; 
    ;; Caveat! These will only work on platforms in which floats are 32-bit Big 
    ;; Endian IEEE754-2008 numbers and doubles are 64-bit Big Endian IEEE754-2008 
    ;; numbers! Also, stdint.h. 
    ;; 
    (define (readFloat) 
    (let ([c-read-float 
      (foreign-lambda* float 
       ((int i1) 
       (int i2) 
       (int i3) 
       (int i4)) 
       "uint8_t b1 = (uint8_t) i1; 
       uint8_t b2 = (uint8_t) i2; 
       uint8_t b3 = (uint8_t) i3; 
       uint8_t b4 = (uint8_t) i4; 

       uint32_t i = 0; 

       i = b1; 
       i = (i << 8) | b2; 
       i = (i << 8) | b3; 
       i = (i << 8) | b4; 

       float f = *(float*)&i; 

       C_return(f);")]) 
     (let* ([i1 (read-byte)] 
       [i2 (read-byte)] 
       [i3 (read-byte)] 
       [i4 (read-byte)]) 
      (c-read-float i1 i2 i3 i4))))