We were discussing GUI programming in OCaml recently. I just stumbled upon
this video wpf graphics that demonstrates some of the capabilities of
Microsoft's Windows Presentation Foundation:
http://video.msn.com/video.aspx?vid=0bcf031b-4213-48ef-adff-0e60f8dbce4b
Linux has nothing like this.
On Sat, Nov 15, 2008 at 01:02:53PM +, Jon Harrop wrote:
http://video.msn.com/video.aspx?vid=0bcf031b-4213-48ef-adff-0e60f8dbce4b
Linux has nothing like this.
Huh? Guess you've not used compiz then? Linux has had it since
before 2005 and it's so annoying I always turn it off.
Rich.
On Saturday 15 November 2008 12:25:17 Richard Jones wrote:
On Sat, Nov 15, 2008 at 01:02:53PM +, Jon Harrop wrote:
...design that centers around a single unified renderer and unified
(and safe!) representation ...
Huh? Guess you've not used compiz then?
Compiz does not provide a
In contrast, you can implement a GUI toolkit in OCaml that far exceeds the
relevant limitations of Qt4 with quite easily.
Jon, did you ever used Qt in a big C++ or Python project? Qt is the
best GUI framework out there, GTK is a ridiculous toy in comparison,
and it took ages to reach this level
No, you just invoke the existing Python bindings. OCaml doesn't have to
implement anything except bindings to Python, which are already done.
From this sentence I deduce you don't know *how* the PyQt binding is
generated. It's not a trivial task and the binding layer adds it's own
bugs and
On Wednesday 05 November 2008, Jon Harrop wrote:
On Tuesday 04 November 2008 23:06:00 Kuba Ober wrote:
On Tuesday 04 November 2008, Jon Harrop wrote:
You'll just be invoking autogenerated Python code using OCaml so
OCaml's class system is only relevant if you want to do some fancy
However, Trolltechs own demos segfault on my machine regularly
and KDE is unreliable despite being written almost entirely in Qt's native
language. So I would not be so hasty to blame PyQt for Qt's reliability
problems.
As a longtime KDE user, I'm very much disappointed by the most recent
Have you ran recent Qt demos distributed with Qt? I'd say they look
pretty cool in my book.
They would not have impressed me a decade ago, let alone today. Many of
them don't even work on either of my Debian machines.
I have one question regarding OpenGL: maybe it's just me, but isn't
On Wednesday 05 November 2008 15:20:26 Kuba Ober wrote:
Have you ran recent Qt demos distributed with Qt? I'd say they look
pretty cool in my book.
They would not have impressed me a decade ago, let alone today. Many of
them don't even work on either of my Debian machines.
I have one
On Wednesday 05 November 2008, Paolo Donadeo wrote:
In contrast, you can implement a GUI toolkit in OCaml that far exceeds
the relevant limitations of Qt4 with quite easily.
Jon, did you ever used Qt in a big C++ or Python project? Qt is the
best GUI framework out there, GTK is a ridiculous
On Wednesday 05 November 2008 08:39:32 Paolo Donadeo wrote:
In contrast, you can implement a GUI toolkit in OCaml that far exceeds
the relevant limitations of Qt4 with quite easily.
Jon, did you ever used Qt in a big C++ or Python project? Qt is the
best GUI framework out there, GTK is a
On Wednesday 05 November 2008 15:05:13 Kuba Ober wrote:
However, Trolltechs own demos segfault on my machine regularly
and KDE is unreliable despite being written almost entirely in Qt's
native language. So I would not be so hasty to blame PyQt for Qt's
reliability problems.
As a
On Wednesday 05 November 2008, Jon Harrop wrote:
On Wednesday 05 November 2008 15:20:26 Kuba Ober wrote:
[snip]
So, please understand that I'm not oblivious to benefits of thinking in
higher levels of abstraction, but I'm also practical and know that Qt
provides me with a whole big lot of
On Wednesday 05 November 2008 15:44:24 Kuba Ober wrote:
And neither QPainterPath nor QPicture are really hierarchical. About the
only way to think of a hierarchy for Qt's drawing system is at the level of
QPainter, which provides save() / restore() functionality for its state.
All of this
And neither QPainterPath nor QPicture are really hierarchical. About the
only way to think of a hierarchy for Qt's drawing system is at the level
of QPainter, which provides save() / restore() functionality for its
state. All of this structure is implemented by the QPainter(), so as soon
On Wednesday 05 November 2008, Jérémie Dimino wrote:
Jon Harrop [EMAIL PROTECTED] writes:
I'd forget about that and just focus on making the whole of Qt4 available
safely from OCaml in any form first. Even this is an unsolved problem in
the OCaml world!
I suggest an idea. I know that Qt4
On Monday 03 November 2008, Jon Harrop wrote:
On Monday 03 November 2008 14:15:38 Kuba Ober wrote:
On Friday 31 October 2008, Jon Harrop wrote:
. Written in OCaml using OCaml's own lexer and parser to save effort
and make it possible for others to help develop it without losing their
On Tuesday 04 November 2008 18:35:45 Kuba Ober wrote:
On Monday 03 November 2008, Jon Harrop wrote:
On Monday 03 November 2008 14:15:38 Kuba Ober wrote:
I could port Camelia to OCaml if
someone would first develop Qt bindings for OCaml that would allow me
to do in OCaml what I'm doing
On Tuesday 04 November 2008, Jon Harrop wrote:
On Tuesday 04 November 2008 18:35:45 Kuba Ober wrote:
On Monday 03 November 2008, Jon Harrop wrote:
On Monday 03 November 2008 14:15:38 Kuba Ober wrote:
I could port Camelia to OCaml if
someone would first develop Qt bindings for OCaml
On Tuesday 04 November 2008 23:06:00 Kuba Ober wrote:
On Tuesday 04 November 2008, Jon Harrop wrote:
You'll just be invoking autogenerated Python code using OCaml so OCaml's
class system is only relevant if you want to do some fancy
statically-typed shim. I'd forget about that and just
On Friday 31 October 2008, Jon Harrop wrote:
On Monday 20 October 2008 14:19:40 Kuba Ober wrote:
what do you guys use for your development environment?
I use Emacs but I hate it.
:)
What would be the minimal set of functionality that would make you happy
for an IDE?
. Written in OCaml
On Monday 03 November 2008 14:15:38 Kuba Ober wrote:
On Friday 31 October 2008, Jon Harrop wrote:
. Written in OCaml using OCaml's own lexer and parser to save effort and
make it possible for others to help develop it without losing their hair.
That's perhaps possible in the longer run by
On Monday 20 October 2008 14:19:40 Kuba Ober wrote:
what do you guys use for your development environment?
I use Emacs but I hate it.
What would be the minimal set of functionality that would make you happy for
an IDE?
. Written in OCaml using OCaml's own lexer and parser to save effort and
Another possibility is:
let x = List.map begin fun z -
very_blabla
end my_list in
It's quite compact, doesn't run into the margin, is consistent with
tuareg, but might be less readable.
--
Romain Bardou
Dave Benjamin a écrit :
Romain Bardou wrote:
let x = List.map (fun z -
Using labels makes this kind of code more readable.
open StdLabels
let x = List.map my_list ~f:
begin fun z -
very_blabla
end in
...
Jacques Garrigue
From: DooMeeR [EMAIL PROTECTED]
Another possibility is:
let x = List.map begin fun z -
very_blabla
end my_list in
DooMeeR wrote:
Another possibility is:
let x = List.map begin fun z -
very_blabla
end my_list in
It's quite compact, doesn't run into the margin, is consistent with
tuareg, but might be less readable.
Now I generally tend to use this:
let x =
List.map (
fun z -
very_blabla
Daniel Bünzli wrote:
Le 25 oct. 08 à 14:43, Martin Jambon a écrit :
Now I generally tend to use this:
let x =
List.map (
fun z -
very_blabla
...
) my_list
in
I think the best solution is to name your anonymous function, as the
guidelines suggest [1].
It says:
Hello,
Kuba Ober wrote:
What would make me switch: a way to highlight the error when compiling,
highlighting the line, a stronger highlight for the character range
reported by the compiler, taking in consideration the tab mode used (real
tab, n spaces) to interpret the value returned by the
That's actually nearly what Camelia has right now. Right now Camelia
insists on not dealing with tabs at all -- it converts them all to
spaces. This feature has to go obviously, and it's a few-liner to
convert between characters (which include tabs) and columns.
What do you mean with this?
I would prefer to not have an editor which modify completely the file I am
working on (ie. automatically replace tab by spaces). When working on big
project, you cannot assume that everybody use spaces-based editor, and you
still want to minimize the diff size of your patches.
Thomas
2008/10/23
Thomas Gazagnaire wrote:
I would prefer to not have an editor which modify completely the file I
am working on (ie. automatically replace tab by spaces). When working on
big project, you cannot assume that everybody use spaces-based editor,
and you still want to minimize the diff size of your
On Thu, Oct 23, 2008 at 12:01:00PM +0100, Hugo Ferreira wrote:
Thomas Gazagnaire wrote:
I would prefer to not have an editor which modify completely the file I
am working on (ie. automatically replace tab by spaces). When working
on big project, you cannot assume that everybody use
tab has no length. projects tab-indented (not talking about alignment here),
is the only consistant choice that permit everyone in this same project
to use any *representation* they want for their indentation (8 spaces, 2
spaces, 4 spaces, 11 spaces, ...) without making a mess.
Sure, this would
On Wednesday 22 October 2008, you wrote:
Thanks, I tried it and I love the simplicity vis-a-vis eclipse's
baroqueness. But am I missing something?
When I type in a line of caml followed by a CR the cursor lines up all
the way to the left rather than indenting
on the next line. Once I'm doing
What would make me switch: a way to highlight the error when compiling,
highlighting the line, a stronger highlight for the character range
reported by the compiler, taking in consideration the tab mode used
(real tab, n spaces) to interpret the value returned by the compiler.
the error
What would make me switch: a way to highlight the error when compiling,
highlighting the line, a stronger highlight for the character range
reported by the compiler, taking in consideration the tab mode used (real
tab, n spaces) to interpret the value returned by the compiler.
the error
On Wed, 2008-10-22 at 08:42 -0400, Kuba Ober wrote:
An integrated ocamlbrowser (the standard TK tend to jiggle and hang on my
computer).
OK, I'm adding this to my feature list. I didn't even know ocamlbrowser
existed (never quite made it through the manual, I'm afraid).
For information,
Le me be more specific: we're not working on a ocamlbrowser replacement.
We're just working on a on-line help system. In turn, this help system
could be useful for someone wishing to write a ocamlbrowser replacement.
Cheers,
David
On Wed, 2008-10-22 at 23:56 +0200, David Teller wrote:
For
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Tuesday 21 October 2008 03:31:26 pm Till Varoquaux wrote:
There is a mix of Emacs,vim,texmate and other esoteric editors being
used here. We are all free to choose what we use but I think a lot of
us decide to cope with a steeper learning curve
Robert Morelli schrieb:
The emacs tags system didn't work for you?
There is no way to produce tags files for emacs that does actually work, no?
exuberant-ctags doesn't support caml, otags is still on 3.09 and ocamltags
doesn't understand files in directories...
Am I missing something?
-
On Mon, Oct 20, 2008 at 5:19 PM, Kuba Ober [EMAIL PROTECTED] wrote:
I have questions to the kind folks at Jane Street,
and others who use OCaml for commercial/non-research
development: what do you guys use for your development
environment? What would be the minimal set of functionality
that
(I know it's off-topic, but anyway...)
You should be happy to find out about Yi, an editor written in Haskell:
http://www.haskell.org/haskellwiki/Yi
On Mon, Oct 20, 2008 at 05:02:46PM -0600, Robert Morelli wrote:
...
PS: Almost exactly the same pattern of poor quality and glacially
I really like OcaIDE (http://ocaml.eclipse.ortsa.com:8480/ocaide/).
It's Eclipse plugin so Windows is fully supported (including graphical
debugging). IMHO it's (almost) ready for commercial development. Many
features are very convenient: hyperlink jumps, code outline, type
tooltip on
On Mon, Oct 20, 2008 at 09:19:40AM -0400, Kuba Ober wrote:
I have questions to the kind folks at Jane Street,
and others who use OCaml for commercial/non-research
development: what do you guys use for your development
environment?
vim in an xterm for me :)
What are killer features you dream
What are killer features you dream of?
Clearly, the ability to click on a function to go to the place where it is
defined is the only reason why I switched from emacs to Eclipse ... And I
would be very happy to switch to a faster IDE because Eclipse is so slow on
big project.
Thomas
On Oct 20, 2008, at 9:37 AM, Mark Shinwell wrote:
On Mon, Oct 20, 2008 at 09:19:40AM -0400, Kuba Ober wrote:
I have questions to the kind folks at Jane Street,
and others who use OCaml for commercial/non-research
development: what do you guys use for your development
environment?
vim in an
Kuba Ober wrote:
I have questions to the kind folks at Jane Street,
and others who use OCaml for commercial/non-research
development: what do you guys use for your development
environment? What would be the minimal set of functionality
that would make you happy for an IDE? What are killer
Thomas Gazagnaire wrote:
What are killer features you dream of?
Clearly, the ability to click on a function to go to the place where
it is defined is the only reason why I switched from emacs to Eclipse
... And I would be very happy to switch to a faster IDE because
Eclipse is so slow on
On Oct 20, 2008, at 11:56 AM, David Teller wrote:
Just for the sake of bibliography, this reminds me of efuns [1] and
Chamo [2].
[1] http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm
[2] http://home.gna.org/cameleon/
Cheers,
David
Does anyone know the status of either of these
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
I have written smart autocompletion based on the toplevel in a mode I call
SOLID.
http://www.cc.gatech.edu/~pengzang/tools.html
I've never gotten around to announcing it because it takes time to polish up
and write good doc... time that I
I use 16 (4x4) virtual Fvwm desktops with free mouse movement between
them and a small map of the desktops in the lower-right corner (+
xosview). The majority of the population finds this disturbing, I'm not
really sure why. I hate clicking or typing to switch from a window to
another so I
On Mon, Oct 20, 2008 at 09:45:34AM -0600, Robert Morelli wrote:
What Emacs lisp does wrong is virtually a checklist of bad programming
language design. On the
other hand, these are all of the things languages like OCaml do right.
It'd be interesting to hear[1] what exact features of elisp are
On Monday 20 October 2008, you wrote:
What are killer features you dream of?
Clearly, the ability to click on a function to go to the place where it is
defined is the only reason why I switched from emacs to Eclipse
I think that Camelia can do that -- it already fetches type annotations from
It'd be interesting to hear[1] what exact features of elisp are
counterproductive for large-scale collaborative programming.
I've not looked very closely at elisp, but assumed the reason that
emacs remains unconfigurable for most users is because it's Lisp,
not because of the particular
On Mon, 20 Oct 2008 13:15:52 -0400
Yitzhak Mandelbaum [EMAIL PROTECTED] wrote:
On Oct 20, 2008, at 11:56 AM, David Teller wrote:
Just for the sake of bibliography, this reminds me of efuns [1] and
Chamo [2].
[1] http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm
[2]
Richard Jones wrote:
On Mon, Oct 20, 2008 at 09:45:34AM -0600, Robert Morelli wrote:
What Emacs lisp does wrong is virtually a checklist of bad programming
language design. On the
other hand, these are all of the things languages like OCaml do right.
It'd be interesting to hear[1]
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Monday 20 October 2008 07:02:46 pm Robert Morelli wrote:
Because of its poor design, I lost the heart to try to program complex
tasks in Emacs lisp quite
a while ago, so I don't have everything fresh in my mind. Perhaps Peng
Zang who posted
in
57 matches
Mail list logo