Hi Daniel, sure, never said you need, just that you can get away cheating the type system.
But I need to show my students elegant and simple solutions: I want to get more OCaml users around, not scare them off :-) --Roberto On Thu, Mar 22, 2012 at 10:46:33AM +0100, Daniel Bünzli wrote: > > > Le jeudi, 22 mars 2012 à 10:28, Roberto Di Cosmo a écrit : > > > Without GADT > > ------------ > > > > One can get away cheating the type system and declaring the type > You don't need to cheat the type system with Obj without GADT. > > http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/52732867110697f55650778d883ae5e9.en.html > > Not to say that it's not involved, but it's possible. > > Best, > > Daniel > > > -- --Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: robe...@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 6C08 (6th floor) 175, rue du Chevaleret, XIII Metro Chevaleret, ligne 6 ------------------------------------------------------------------ -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
