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
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
hello /\ world
into
default_parser hello /\\ world
About a
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
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 to learn
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 useful
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
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, xf must =
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
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
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
representing
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
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 to enforce,
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
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:
14 matches
Mail list logo