* [Caml-list] Dependent OCaml
@ 2003-07-26 19:17 Lukasz Stafiniak
2003-07-26 20:26 ` Lukasz Stafiniak
2003-07-27 6:26 ` Lukasz Stafiniak
0 siblings, 2 replies; 3+ messages in thread
From: Lukasz Stafiniak @ 2003-07-26 19:17 UTC (permalink / raw)
To: caml-list
Hi List,
Is there / Will there ever be Denendent OCaml?
I know there is Coq, but...
Actually, I would like to have Dependent Meta OCaml.
(After spending some more time on my problem, if I still don't solve it, I
will report why I need Dependent Meta OCaml.)
Kindest Regards,
Lukasz
Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów
wielostanowiskowych dokładamy PenDrive Sprawdź:
http://www.mks.com.pl/promocja-mobile.html
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Dependent OCaml
2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak
@ 2003-07-26 20:26 ` Lukasz Stafiniak
2003-07-27 6:26 ` Lukasz Stafiniak
1 sibling, 0 replies; 3+ messages in thread
From: Lukasz Stafiniak @ 2003-07-26 20:26 UTC (permalink / raw)
To: caml-list
Ugrrhhh...
Never mind.
I dont need type constraints.
I need more polymorphism: type arguments.
Best wishes.
Lukasz
Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów
wielostanowiskowych dokładamy PenDrive Sprawdź:
http://www.mks.com.pl/promocja-mobile.html
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Dependent OCaml
2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak
2003-07-26 20:26 ` Lukasz Stafiniak
@ 2003-07-27 6:26 ` Lukasz Stafiniak
1 sibling, 0 replies; 3+ messages in thread
From: Lukasz Stafiniak @ 2003-07-27 6:26 UTC (permalink / raw)
To: caml-list
Sorry List,
I've done it.
I've reflected types in terms in OCaml.
It shows that I need to learn a lot before I can reasonably speak about type
theory.
Yours sincerely,
Lukasz
Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów
wielostanowiskowych dokładamy PenDrive Sprawdź:
http://www.mks.com.pl/promocja-mobile.html
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2003-07-27 6:24 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak
2003-07-26 20:26 ` Lukasz Stafiniak
2003-07-27 6:26 ` Lukasz Stafiniak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).