On Fri, 19 Sep 2008 11:20:36 -0700
"Nathaniel Gray" <[EMAIL PROTECTED]> wrote:
> On Thu, Sep 18, 2008 at 10:02 AM, Xavier Leroy <[EMAIL PROTECTED]> wrote:
> >
> > From what I've heard, there's also an OCaml summer of code project
> > that enriched the info found in .annot files. So, it's certainl
Hi,
I noticed there are some static libraries(.a) installed with ocaml, for
example, /usr/lib/ocaml/bigarray.a. What's the purpose of those static
libraries? Thanks a lot.
Regards,
Bill
___
Caml-list mailing list. Subscription management:
http://yquem.
Hi,
> I'm really happy to hear that you're open to including some of this
> stuff. I think there are actually only a few data that one wants to
> have in .annot files (and that the compiler can reasonably provide).
>
> For any identifier it would be good to know:
> 1. Its inferred type
> 2. Its f
From: "Angela Zhu" <[EMAIL PROTECTED]>
> I want to define an OCaml type with constraints.
> For example:
>
> type item = Item of int * float;;
>
> If here this float type is for price of some item, and I want to make sure
> it is positive. In other words, if x = (xi, xf) of type item,
> I want t
On Mon, 22 Sep 2008, Andrej Bauer wrote:
Angela Zhu wrote:
Hi,
I want to define an OCaml type with constraints.
For example:
type item = Item of int * float;;
If here this float type is for price of some item, and I want to make sure
it is positive. In other words, if x = (xi, xf) of type it
On Sun, Sep 21, 2008 at 7:30 PM, Jon Harrop
<[EMAIL PROTECTED]> wrote:
>
> This latest post about statically typing constraints beyond mere
> floating-point values reminds me that the F# programming language just got
> another new feature called "measures" that lets you add phantom types
> represen
On Sep 21, 2008, at 18:01, Angela Zhu wrote:
I want to define an OCaml type with constraints. For example:
type item = Item of int * float;;
If here this float type is for price of some item, and I want to
make sure it is positive. In other words, if x = (xi, xf) of type
item, I want to en
This latest post about statically typing constraints beyond mere
floating-point values reminds me that the F# programming language just got
another new feature called "measures" that lets you add phantom types
representing units of measure and even handles arithmetic over them for you.
I have
Angela Zhu wrote:
> Hi,
>
> I want to define an OCaml type with constraints.
> For example:
>
> type item = Item of int * float;;
>
> If here this float type is for price of some item, and I want to make sure
> it is positive. In other words, if x = (xi, xf) of type item,
> I want to enforce,
Hi,
I want to define an OCaml type with constraints.
For example:
type item = Item of int * float;;
If here this float type is for price of some item, and I want to make sure
it is positive. In other words, if x = (xi, xf) of type item,
I want to enforce, xf must >= 0.
Is there a way to define O
On Sunday 21 September 2008 20:05:15 Michaël Grünewald wrote:
> This is true while your are concerned with matrix over the real or
> complex numbers, but if you want to use arbitrary precision arithmetic,
> finite fields, quaternions or any ring you like, then you are stuck.
> Linear algebra is use
> Few things that hurt the eye:
>
> Int32.of_string "[number]" is unnecessary, OCaml(not sure which version
> this was introduced in though) can read various specific size ints
> natively:
>
> # 0n, 0l, 0L;;
> - : nativeint * int32 * int64 = (0n, 0l, 0L)
Thanks, I didn't know about this. I'm glad
On Sat, 20 Sep 2008, Janne Hellsten wrote:
Hi list,
While working on a graphics related problem, I needed to save the
contents of a Graphics framebuffer to a .png file. Quick googling for
"ocaml png" didn't bring up any results for libraries that would be
easy to install via GODI. I am aware
I've hit another problem with the simple string transformation
quotation parser (see my previous message). For the sake of this
example, here is a somewhat simplified variant, which I turn
into "Quotexpander.cma":
open Camlp4.PreCast;;
module Caml =
Camlp4OCamlParser.Make
(Camlp4OCa
I'm trying once again to make some code work under the new camlp4. I
don't want to make any real syntax modifications, but just enable
quotations performing a simple string transformation on the body of
the quotation, e.g. turning
<>
into
default_parser "hello /\\ world"
About a year ago, Nic
Richard Jones wrote:
If you also follow the rest of that thread, there's a message passing
OCaml version by Gerd Stolpmann which also scales properly.
To be honest, matrix multiplication interests me not at all since no
one is hand coding their own matrix multiplication when there are
perfectly
16 matches
Mail list logo