<HTML><BODY>It is not writing, but reading. I'm making uinversal library for binary data (like dbf, mp3 id3 tags, and so on) mapping to objects https://github.com/Kalimehtar/binary-class read-object simply (define (read-object binary-class in . args)<div class="line" id="LC25"> (send (apply make-object binary-class args) read in))</div> But I don't like, that contract may not give correct error message for wrong nomber of items in args. Thu, 5 Jun 2014 12:31:49 -0400 от Matthias Felleisen <matthias@ccs.neu.edu>: <blockquote style="margin: 10px; padding: 0px 0px 0px 10px; border-left-color: rgb(8, 87, 166); border-left-width: 1px; border-left-style: solid;"> <div> <div class="js-helper js-readmsg-msg"> <style type="text/css"></style> <div> <base href="https://e.mail.ru/" target="_self"> <div id="style_14019859110000000931_BODY"> Do you control the writing of objects to a port? If so, check out 'serialization.' If not, I don't think I can help you. Sorry -- Matthias On Jun 5, 2014, at 12:29 PM, Roman Klochkov <<a href="/compose?To=kalimehtar@mail.ru">kalimehtar@mail.ru</a>> wrote: > I don't control class creation. > I need to make a wrapper around make-object and attach contract to the wrapper. > > Now I have > (provide/contract > [read-object (->i ([binary-class (implementation?/c binary<%>)] > [port input-port?]) > #:rest [args list?] > [result (binary-class) (is-a?/c binary-class)])]) > > I cannot control number of args. Now, when error encountered I have confusing error message mentioning "instantiate". > > Thu, 5 Jun 2014 12:13:26 -0400 от Matthias Felleisen <<a href="/compose?To=matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>>: > > Here is the pattern I recommend: > > Welcome to Racket v6.0.1.11. > > (define (create-c #:x [x 0]) (new c% [x x])) > > (define c% (class object% (init-field x) (super-new))) > > That is, a class comes with a 'factory' definition, a function that creates instances and uses keywords similar to those used by the class initializer. If you then export these factories, you can enforce invariants and also probe the factory for the information you want: > > > (create-c) > (object:c% ...) > > (create-c #:x 10) > (object:c% ...) > > (procedure-arity create-c) > 0 > > (procedure-keywords create-c) > '() > '(#:x) > > > Yes, one could argue that this is a poor man's substitute for missing class reflection. -- Matthias > > > > > > > On Jun 5, 2014, at 11:32 AM, Roman Klochkov <<a href="/compose?To=kalimehtar@mail.ru">kalimehtar@mail.ru</a>> wrote: > > > For any procedure I can use procedure-arity. But how to get the number of init arguments for a class? > > > > Or maybe there are any other way to make a contract, like in Guide 7.3.9, where one can compare number of arguments and arity of the function, but when using (make-object someclass ...) > > instead of the function. > > > > > > -- > > Roman Klochkov > > ____________________ > > Racket Users list: > > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > > > > -- > Roman Klochkov </div> <base href="https://e.mail.ru/" target="_self"> </div> </div> </div> </blockquote> -- Roman Klochkov </BODY></HTML>