[Caml-list] version 7 beta typing change?

[Caml-list] version 7 beta typing change?

[skaller]

Code that compiled on 3.06 doesn't work on 3.07 beta1.
Is this a bug in the old typing, in the new typing, or what?

File "lpsrc/flx_types.ipk", line 532, characters 20-42:
Constraints are not satisfied in this type.
Type 'a b0typecode_t' as 'a should be an instance of 'b b0typecode_t'

type bid_t = int

(** value typing *)
type 't b0typecode_t' = 
  [
  | `BTYP_name of bid_t         
  | `BTYP_inst of bid_t * 't list 
  | `BTYP_tuple of 't list         
  | `BTYP_sum of 't list            
  | `BTYP_function of 't * 't
  | `BTYP_pointer  of 't 
  | `BTYP_void                       
  | `BTYP_binding of 't * 't 
  | `BTYP_fix of int      
  | `BTYP_var of int     
  ]

(** meta typing *)
type 't b1typecode_t' =
  [
  | `BTYP_apply of 't * 't 
  | `BTYP_typefun of (int * 't) list * 't * 't
  | `BTYP_type
  | `BTYP_type_tuple of 't list
  ]

(** general typing *)
type 't btypecode_t' =
  [
  | 't b0typecode_t' 
  | 't b1typecode_t'
  ]

type b0typecode_t = 't b0typecode_t' as 't (* THIS IS LINE 532 *)
type btypecode_t = 't btypecode_t' as 't


-------------------
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

Re: [Caml-list] version 7 beta typing change?

[Jacques Garrigue]

From: skaller <skaller@ozemail.com.au>

> Code that compiled on 3.06 doesn't work on 3.07 beta1.
> Is this a bug in the old typing, in the new typing, or what?

This is clearly a bug in the compiler.
A more immediate way to see it is:

type 'a t = < m : 'a >
type u = 'a t as 'a

This should be valid, but causes an error on beta1.

I've just commited a fix in CVS, so it might be nice if you can try
the CVS version with your software.

By the way, the preferred way to report bugs is through
caml-bugs@pauillac.inria.fr :-)

Cheers,

Jacques Garrigue

-------------------
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

Re: [Caml-list] version 7 beta typing change?

[skaller]

On Sat, 2003-08-09 at 22:10, Jacques Garrigue wrote:
> From: skaller <skaller@ozemail.com.au>
> 
> > Code that compiled on 3.06 doesn't work on 3.07 beta1.
> > Is this a bug in the old typing, in the new typing, or what?
> 
> This is clearly a bug in the compiler.
> A more immediate way to see it is:
> 
> type 'a t = < m : 'a >
> type u = 'a t as 'a
> 
> This should be valid, but causes an error on beta1.
> 
> I've just commited a fix in CVS, so it might be nice if you can try
> the CVS version with your software.

will do..

> By the way, the preferred way to report bugs is through
> caml-bugs@pauillac.inria.fr :-)

This technique has several problems: its harder to use,
there is no community feedback. I'm happy to use that
mechanism when I'm *sure* there is a bug -- but it often
takes some discussion to be sure :-)


-------------------
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

[Caml-list] Tcl/Tk and RH 9

[skaller]

Just a comment: I have just installed RedHat 9 on my box.
Tcl/Tk is no longer a standard package, which is as it should be,
its an old, archaic system which no longer deserves any support.

Unfortunately LablTk needs it, and some Caml tools use it.
OCamlBrowser being one.

Time to move to Gtk? Alternatively, a simple GUI which can 
use either? Or even Windows or Mac style Guis?


-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[Matt Gushee]

On Sun, Aug 10, 2003 at 02:33:41AM +1000, skaller wrote:
> Just a comment: I have just installed RedHat 9 on my box.
> Tcl/Tk is no longer a standard package, which is as it should be,
> its an old, archaic system which no longer deserves any support.
> 
> Unfortunately LablTk needs it, and some Caml tools use it.
> OCamlBrowser being one.
> 
> Time to move to Gtk? Alternatively, a simple GUI which can 
> use either? Or even Windows or Mac style Guis?

That might make sense. Didn't Nicolas Canass (sp?) say his Osiris
project was going to be ported to non-Windows platforms? I wonder
how that's coming along?

Other options that might be worth looking at are wxWindows and FoX;
both, however, need libraries that are not standard on any platform.

I would guess, though, that the political issues may be harder than 
the technical ones. People in the Python community have been saying
for at least four years that something other than Tkinter should be
the standard GUI toolkit--yet Python still ships with Tkinter. 
Maybe because everybody hates it equally (except for a few weirdos
like me who actually *like* it).

-- 
Matt Gushee                 When a nation follows the Way,
Englewood, Colorado, USA    Horses bear manure through
mgushee@havenrock.com           its fields;
http://www.havenrock.com/   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                                
                            --Lao Tzu (Peter Merel, trans.)

-------------------
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

[Caml-list] Re: Tcl/Tk and RH 9

[Jacques Garrigue]

From: skaller <skaller@ozemail.com.au>

> Just a comment: I have just installed RedHat 9 on my box.
> Tcl/Tk is no longer a standard package, which is as it should be,
> its an old, archaic system which no longer deserves any support.

RedHat is free to decide whatever they want, but Tk is still the
simplest way to develop some software. Tcl/Tk itself is in version
8.4, it had unicode support earlier than Gtk, and is still under
active development, and I see no need to kill it.

> Unfortunately LablTk needs it, and some Caml tools use it.
> OCamlBrowser being one.
> 
> Time to move to Gtk? Alternatively, a simple GUI which can 
> use either? Or even Windows or Mac style Guis?

I suppose a move to Gtk will eventually take place.
For this Gtk2 is a requirement (Gtk lacks some essential widgets
present in Tk). But LablGtk2 is now usable enough we can start to
think about it.

So yes, I see a change ahead, but certainly not in 3.07!

And of course labltk/camltk support will not be dropped.

Jacques Garrigue

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Alexander V. Voinov]

Hi All,

Jacques Garrigue wrote:

> From: skaller <skaller@ozemail.com.au>
> 
>>Just a comment: I have just installed RedHat 9 on my box.
>>Tcl/Tk is no longer a standard package, which is as it should be,
>>its an old, archaic system which no longer deserves any support.
> 
> 
> RedHat is free to decide whatever they want, but Tk is still the
> simplest way to develop some software. 

If a biotech witness means anything, I have just two commercial examples 
recently: Partek is using Tcl for internal (user-available) scripting and just 
yesterday we had a demo in-house, by the author, of the PyMOL package, which is 
written using Tkinter and OpenGL. I do not mean that this would turn me to like 
Tcl/Tk, but this is the reality we face.

Alexander



-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[Eray Ozkural]

Two points:
1. tcl/tk isn't obsolete
2. gtk isn't that great

On Saturday 09 August 2003 19:59, Matt Gushee wrote:
> On Sun, Aug 10, 2003 at 02:33:41AM +1000, skaller wrote:
> > Just a comment: I have just installed RedHat 9 on my box.
> > Tcl/Tk is no longer a standard package, which is as it should be,
> > its an old, archaic system which no longer deserves any support.
> >
> > Unfortunately LablTk needs it, and some Caml tools use it.
> > OCamlBrowser being one.
> >
> > Time to move to Gtk? Alternatively, a simple GUI which can
> > use either? Or even Windows or Mac style Guis?
>
> That might make sense. Didn't Nicolas Canass (sp?) say his Osiris
> project was going to be ported to non-Windows platforms? I wonder
> how that's coming along?
>
> Other options that might be worth looking at are wxWindows and FoX;
> both, however, need libraries that are not standard on any platform.
>
> I would guess, though, that the political issues may be harder than
> the technical ones. People in the Python community have been saying
> for at least four years that something other than Tkinter should be
> the standard GUI toolkit--yet Python still ships with Tkinter.
> Maybe because everybody hates it equally (except for a few weirdos
> like me who actually *like* it).

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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

[Caml-list] Re: Tcl/Tk and RH 9

[skaller]

On Sun, 2003-08-10 at 11:43, Jacques Garrigue wrote:
> From: skaller <skaller@ozemail.com.au>
> 
> > Just a comment: I have just installed RedHat 9 on my box.
> > Tcl/Tk is no longer a standard package, which is as it should be,
> > its an old, archaic system which no longer deserves any support.
> 
> RedHat is free to decide whatever they want, but Tk is still the
> simplest way to develop some software. Tcl/Tk itself is in version
> 8.4, it had unicode support earlier than Gtk, and is still under
> active development, and I see no need to kill it.

I do. First, it isn't threadable. Second, whilst the
widgets it supports are good, its widget set is not only
small, it doesn't have certain crucial widgets.
There is no tree widget, for example, you need Tix for that.

The extension model is unusable. No one can write
Tk extensions. In the whole of its life, hardly any
have been written.

OTOH, there is wide community support for Gtk.

> I suppose a move to Gtk will eventually take place.
> For this Gtk2 is a requirement (Gtk lacks some essential widgets
> present in Tk).

Yeah, Gtk 1 was pretty bad. Some widgets didn't work
properly. That's the case in 2 as well :(
The edit widget is not good, compared to Tk's.
Morons are trying to copy Windows :(
It still doesn't edit correctly.

The tree widget doesn't work properly in your demo
by the way: when you delete an item it just clears
the line, doesn't redraw the tree properly.

>  But LablGtk2 is now usable enough we can start to
> think about it.

The whole of my desktop uses Gnome/Gtk.

> So yes, I see a change ahead, but certainly not in 3.07!
> And of course labltk/camltk support will not be dropped.

That was my question: whether there will be a move to Gtk.
Whilst labltk doesn't need to have support dropped,
I can't see it being worth doing continued work in it:
it becomes a deprecated tool.

Lots of nice things could be done with OcamlBrowser,
for example. You can't do that work twice. You have to pick
which model to extend. That's Tk now, until Gtk version
is up to scratch, and Gtk itself is up to scratch.

Some of the work is just too hard in Tk. For example
it doesn't reparent correctly. Gtk does. There is a 
workaround in Tk, but it only works 'to some extent'
and that workaround defeats some of its functionality.
[Basically all Tk widgets have to be top level names
or they can't be reparented: HWM is all about reparenting :-]

-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[skaller]

On Mon, 2003-08-11 at 01:57, Eray Ozkural wrote:
> Two points:
> 1. tcl/tk isn't obsolete
> 2. gtk isn't that great

Tk has been obsolete for over 5 years, Even its designer
says that.

I'd probably agree gtk isn't that great. It is however the
platform of choice for open source graphics projects.

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[skaller]

On Sun, 2003-08-10 at 11:53, Alexander V. Voinov wrote:

> I do not mean that this would turn me to like 
> Tcl/Tk, but this is the reality we face.

This is the reality we face:
-----------------------------------------------
[skaller@localhost] ~>python
Python 2.2.2 (#1, Feb 24 2003, 19:13:11)
[GCC 3.2.2 20030222 (Red Hat Linux 3.2.2-4)] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import Tkinter
Traceback (most recent call last):
  File "<stdin>", line 1, in ?
ImportError: No module named Tkinter
>>>
--------------------------------------------
This is a standard, out of the box install of RH9.
If, for example, Government departments buy a heap
of Linux boxes and install RH9, they won't get Tk
as part of the deal.

So it would be foolish to continue development of
products that use it if you want to be part of the
growing market of vendors of enterprise level packages
for Linux.

Redhat has swung soldily behind Gtk. To the point
Tk is no longer considered worth installing by default.
Enterprise software such as Open Office doesn't use it.
It is no longer part of the enterprise level users
software base.



-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[Olivier Andrieu]

 skaller [ 10 August 2003] :
 >
 > Just a comment: I have just installed RedHat 9 on my box.  Tcl/Tk
 > is no longer a standard package, which is as it should be, its an
 > old, archaic system which no longer deserves any support.

What do you mean by ""standard package" ? Tcl and Tk packages are still
found on RedHat 9 CDs and they are not on the list of deprecated
packages. 

-- 
   Olivier

-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[Matt Gushee]

On Mon, Aug 11, 2003 at 12:11:55AM +0200, Olivier Andrieu wrote:
>  skaller [ 10 August 2003] :
>  > Just a comment: I have just installed RedHat 9 on my box.  Tcl/Tk

>  > is no longer a standard package, which is as it should be, its an
>  > old, archaic system which no longer deserves any support.
> 
> What do you mean by ""standard package" ? Tcl and Tk packages are still
> found on RedHat 9 CDs and they are not on the list of deprecated
> packages. 

Presumably he means they are not installed by default.

-- 
Matt Gushee                 When a nation follows the Way,
Englewood, Colorado, USA    Horses bear manure through
mgushee@havenrock.com           its fields;
http://www.havenrock.com/   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                                
                            --Lao Tzu (Peter Merel, trans.)

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Eray Ozkural]

I must point out that skaller's claims are factually wrong in his post that I 
replying to. tkinter is the python bindings to tk. It's normal that it isn't 
included in that standard lousy 1 CD red hat installation.

Debian package:
python2.3-tk - Tkinter - Writing Tk applications with Python (v2.3)

tcl/tk is *not* the same thing as tkinter.

In fact, tcl/tk is pretty standard in all linux distros. The "deep" GUI to gdb 
insight developed at Red Hat exclusively uses tcl/tk/itcl/itk. tcl/tk is also 
perfect for cross-platform applications. It runs solidly on both windows and 
unix families on OSs incredibly well.

Besides, Red Hat is *not* the de facto linux distro. There are maybe 100 
distros right now.

GTK on the other hand, isn't the top notch toolkit out there. The technically 
superior toolkit is Qt *grin*

On Monday 11 August 2003 00:26, skaller wrote:
> This is a standard, out of the box install of RH9.
> If, for example, Government departments buy a heap
> of Linux boxes and install RH9, they won't get Tk
> as part of the deal.
>
> So it would be foolish to continue development of
> products that use it if you want to be part of the
> growing market of vendors of enterprise level packages
> for Linux.
>
> Redhat has swung soldily behind Gtk. To the point
> Tk is no longer considered worth installing by default.
> Enterprise software such as Open Office doesn't use it.
> It is no longer part of the enterprise level users
> software base.
>
>
>
> -------------------
> 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

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[Eray Ozkural]

On Monday 11 August 2003 01:45, Matt Gushee wrote:
>
> Presumably he means they are not installed by default.

No, he just doesn't like tcl/tk and he's starting a cross-platform toolkit 
flamewar :)

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Eray Ozkural]

On Monday 11 August 2003 02:15, Eray Ozkural wrote:
> I must point out that skaller's claims are factually wrong in his post that
> I replying to. tkinter is the python bindings to tk. It's normal that it

I am replying to...

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Matt Gushee]

On Mon, Aug 11, 2003 at 02:15:42AM +0300, Eray Ozkural wrote:
> I must point out that skaller's claims are factually wrong in his post that I 
> replying to. tkinter is the python bindings to tk. It's normal that it isn't 
> included in that standard lousy 1 CD red hat installation.
> 
> Debian package:
> python2.3-tk - Tkinter - Writing Tk applications with Python (v2.3)
> 
> tcl/tk is *not* the same thing as tkinter.

Ah, yes ... being a Python programmer, and a former Tcl programmer, I
should have noticed that myself.

> Besides, Red Hat is *not* the de facto linux distro. There are maybe 100 
> distros right now.

Quite true, but he was referring spefically to the enterprise market.
Red Hat is arguably the de facto standard for large organizations in the
Anglo world (which I am well aware is not the whole world, but it's
where Monsieur Skaller and I both live).

> GTK on the other hand, isn't the top notch toolkit out there. The technically 
> superior toolkit is Qt *grin*

Hmph. I suppose. I personally don't care for it because it's very slow
on older machines, and causes XFree86 to lock up on some. Then there's
the licensing issue on Windows. But better-designed? I guess it probably
is.

-- 
Matt Gushee                 When a nation follows the Way,
Englewood, Colorado, USA    Horses bear manure through
mgushee@havenrock.com           its fields;
http://www.havenrock.com/   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                                
                            --Lao Tzu (Peter Merel, trans.)

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Eray Ozkural]

On Monday 11 August 2003 03:41, Matt Gushee wrote:
> > GTK on the other hand, isn't the top notch toolkit out there. The
> > technically superior toolkit is Qt *grin*
>
> Hmph. I suppose. I personally don't care for it because it's very slow
> on older machines, and causes XFree86 to lock up on some. Then there's
> the licensing issue on Windows. But better-designed? I guess it probably
> is.

With GTK, I would worry about its object model, library design, hack-ability, 
platform-independence.... The design of gtk seems fairly "backwards" to me. I 
remember how bad the C++ bindings were and I don't think the situation has 
changed much. This is not to say Qt would be a better "choice" for ocaml 
because that too is designed with an imperative PL with a not-very-cool type 
system: C++. However, it is more effective in that domain as evidenced by 
existing code...

It is now going to sound "bold" to you people, but I don't understand why you 
can't write the ultimate portable GUI toolkit in ocaml itself. With a 
language as generic as ocaml it should be a no-brainer to efficiently 
abstract over peculiarities of windows systems.

Besides, you will find that the limitations of those C/C++ based systems will 
be severe. I can make an educated guess because I was designing an ocaml 
binding for KDE... If you decide on some kind of binding to a "high level" 
toolkit like gtk it's going to be some abstraction layer over black boxes 
with a lot of quirks, it's not going to be pretty.

Regards,

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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

Re: [Caml-list] Tcl/Tk and RH 9

[skaller]

On Mon, 2003-08-11 at 08:45, Matt Gushee wrote:

> > What do you mean by ""standard package" ? Tcl and Tk packages are still
> > found on RedHat 9 CDs and they are not on the list of deprecated
> > packages. 
> 
> Presumably he means they are not installed by default.

I mean they can't be installed from the GUI package manager 
at all AFAICS: There's no option for it. 

You'd have be a nerd and use the RPM command line tool.

Most office workers and home users therefore will not
have the package on their system no matter what options
they ticked during installation, and that is probably
true for many programmers too .. obviously including me.

Its also not clear this can be 'tacked' on to Python.
Last I looked, the build for Tcl/Tk was wrongly designed,
it put the symbols in the wrong place, making dynamic loading
in an unprepared client (such as Python) impossible.

[At least partly this is due to poor dynamic linker design 
(read: they didn't bother to actually design it) 
on Unix systems]

meaning: even if you could install Tk onto your 
system Tkinter et al wouldn't work anyhow.


-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[skaller]

On Mon, 2003-08-11 at 11:20, Eray Ozkural wrote:

> With GTK, I would worry about its object model, library design, hack-ability, 
> platform-independence.... The design of gtk seems fairly "backwards" to me. 

Me too, though I can't claim great familiarity with it.

> It is now going to sound "bold" to you people, but I don't understand why you 
> can't write the ultimate portable GUI toolkit in ocaml itself. With a 
> language as generic as ocaml it should be a no-brainer to efficiently 
> abstract over peculiarities of windows systems.

Yeah, that's a good question. The answer is probably: we could,
but who is going to finance it? Building GUI toolkit is a rather
large job (its difficult enough to *wrap* a toolkit).

> Besides, you will find that the limitations of those C/C++ based systems will 
> be severe. I can make an educated guess because I was designing an ocaml 
> binding for KDE... If you decide on some kind of binding to a "high level" 
> toolkit like gtk it's going to be some abstraction layer over black boxes 
> with a lot of quirks, it's not going to be pretty.

Sure, but where does one bind? To Xlib? To the X protocol directly?
If you bind that deep, how do you handle a Windows port of the library?

I personally think most widget kits are pretty bad, they're the wrong
idea altogether, especially the stupid callback/event loop paradigm.
I'd be happy to paint buttons myself, etc if the drawing and event
management tools existed in a standard form.

The problem, I think, is that they dont: its actually easier to
standardise widget functionality in the face of distinct underlying
drawing/event primitives/models. But I could be wrong, this isn't my
area of expertise.

OTOH: a portable clean standard Ocaml GUI would be a killer app..
it would make Ocaml the language of choice for deploying user
interfaces and GUI applications.


-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Sven Luther]

On Mon, Aug 11, 2003 at 12:02:06PM +1000, skaller wrote:
> On Mon, 2003-08-11 at 11:20, Eray Ozkural wrote:
> 
> > With GTK, I would worry about its object model, library design, hack-ability, 
> > platform-independence.... The design of gtk seems fairly "backwards" to me. 
> 
> Me too, though I can't claim great familiarity with it.
> 
> > It is now going to sound "bold" to you people, but I don't understand why you 
> > can't write the ultimate portable GUI toolkit in ocaml itself. With a 
> > language as generic as ocaml it should be a no-brainer to efficiently 
> > abstract over peculiarities of windows systems.
> 
> Yeah, that's a good question. The answer is probably: we could,
> but who is going to finance it? Building GUI toolkit is a rather
> large job (its difficult enough to *wrap* a toolkit).
> 
> > Besides, you will find that the limitations of those C/C++ based systems will 
> > be severe. I can make an educated guess because I was designing an ocaml 
> > binding for KDE... If you decide on some kind of binding to a "high level" 
> > toolkit like gtk it's going to be some abstraction layer over black boxes 
> > with a lot of quirks, it's not going to be pretty.
> 
> Sure, but where does one bind? To Xlib? To the X protocol directly?
> If you bind that deep, how do you handle a Windows port of the library?

What about looking at Cairo (Ex Xr/Xc) and either bind to that, or
reimplement their protocol in ocaml. Cairo is early enough in its design
that it can still be influenced enough if someone looks at it, and
points them problems related to doing ocaml bindings.

For those who don't know what cairo is, cairo can be found at :

  http://xr.xwin.org/

And is a : Cross-device Rendering for Vector Graphics.

Basically it is a vector rendering framework, linked to SVG graphics,
and which should enable to have a vector rendering model (on top of the
X RENDER extension i think), but which can target various graphic
systems, including X, local image buffers and Postscript and PDF as
planned output support. I don't know about windows support, but MacOSX
support should not be all that difficult to add, and since they also
have an OpenGL rendering path, it should run on every OpenGL supported
plateform.

That said, it is not a windowing toolkit, just the rendering library,
so i guess writing a proper ocaml toolkit top of it would be nice, and
it would have vector graphics like MAcOSX toolkit. Also, there is
already some work that has been done on vector graphics and ocaml, like
the (non-free) MLGraph library, and the associated publications.

Friendly,

Sven Luther

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Christoph Bauer]

Hi,

>> 
>> RedHat is free to decide whatever they want, but Tk is still the
>> simplest way to develop some software. Tcl/Tk itself is in version
>> 8.4, it had unicode support earlier than Gtk, and is still under
>> active development, and I see no need to kill it.
>
> I do. First, it isn't threadable. 

That's neither true (configure your Tcl/Tk with --enable-threads) nor
necessary for GUI stuff. I'm quite happy with after and fileevent
mechanism.

> Second, whilst the widgets it supports are good, its widget set is

Text widget and canvas widget are great.

> not only small, it doesn't have certain crucial widgets.  There is
> no tree widget, for example, you need Tix for that.
>
> The extension model is unusable. No one can write
> Tk extensions. In the whole of its life, hardly any
> have been written.
>
> OTOH, there is wide community support for Gtk.

With Tk it's much easier to create a GUI than with gtk (and even
labtgtk). There is a project called Gnocl (gtk for Tcl)> It tries
to combine the best of both toolkits: (loosly) modeled after the
Tk API, but based on the better looking and more complete gtk.

regards,
Christoph

-- 
proc self {} {foreach c [split [info body self] ""] d {14 -7 0 0 4 -67 4 73 11
69 24 -83 -15 6 -4 -84 78 20 11 -78 -1 -1 79 19 -8 4} { binary scan $c c c
if {[catch {append r [format %c [expr $c+$d]]}]} {return $r};}};puts [self]

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[Christoph Bauer]

Eray Ozkural <exa@kablonet.com.tr> writes:

> It is now going to sound "bold" to you people, but I don't understand why you 
> can't write the ultimate portable GUI toolkit in ocaml itself. With a 
> language as generic as ocaml it should be a no-brainer to efficiently 
> abstract over peculiarities of windows systems.

It's just too boring to create another platform independent GUI toolkit.
What about to extend lablgtk through camlp4 quotations so that
something like the following line is possible:

let window = << Button ~label:"Quit" ~callback:GMain.Main.quit >>

(equivalent to Tcl/Tk code:
pack [button .b -text Quit -command quit])


or

let editor_window = 
    << VBox 
        [Menu ["File" ["Open" ~callback:open; 
                       "Save" ~callback:save]; 
                        "Help" ["About" ~callback:about]];
         text = Text ~width:80 ~height:24;
         HBox [Button ~label:"Open" ~callback:open; 
               Button ~label:quit ~callback:Main.quit]] >>
                         
The Camlp4 had to 
  * create implizit the window widget
  * generate unused symbols (like the button name)
    but export the widget "text"
  * generate packing (vbox#add) 

Such code is better to maintain and it needs less time
to write. What do you think?

Regards,
Christoph


-- 
proc self {} {foreach c [split [info body self] ""] d {14 -7 0 0 4 -67 4 73 11
69 24 -83 -15 6 -4 -84 78 20 11 -78 -1 -1 79 19 -8 4} { binary scan $c c c
if {[catch {append r [format %c [expr $c+$d]]}]} {return $r};}};puts [self]

-------------------
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

Re: [Caml-list] Re: Tcl/Tk and RH 9

[skaller]

On Mon, 2003-08-11 at 19:17, Christoph Bauer wrote:

> > I do. First, it isn't threadable. 
> 
> That's neither true (configure your Tcl/Tk with --enable-threads) nor
> necessary for GUI stuff. I'm quite happy with after and fileevent
> mechanism.

It is true. Tcl is reentrant and threadable, Tk is not
and never will be .. and that's quoting its author.

If you happen, for example, to run GUI apps using
threads in Python you're in for a rude shock.

Of course most people don't run this model, even though
its by far the best way to handle certain GUI things.
Certainly better than the idiotic event loop/callback 
mechanism.

> > Second, whilst the widgets it supports are good, its widget set is
> 
> Text widget and canvas widget are great.

Agree. Tk has some superb widgets, text and canvas being
particularly excellent. But there is no tree widget,
which in todays world is untenable (yes, there is Tix).


> > not only small, it doesn't have certain crucial widgets.  There is
> > no tree widget, for example, you need Tix for that.
> >
> > The extension model is unusable. No one can write
> > Tk extensions. In the whole of its life, hardly any
> > have been written.
> >
> > OTOH, there is wide community support for Gtk.
> 
> With Tk it's much easier to create a GUI than with gtk (and even
> labtgtk). There is a project called Gnocl (gtk for Tcl)> It tries
> to combine the best of both toolkits: (loosly) modeled after the
> Tk API, but based on the better looking and more complete gtk.
> 
> regards,
> Christoph

-------------------
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