From Markus.Elfring at web.de  Mon Aug  8 15:05:30 2016
From: Markus.Elfring at web.de (Markus Elfring)
Date: Mon, 8 Aug 2016 16:05:30 +0200
Subject: [ocaml-platform] Consequences from pattern matching in function
	implementations
Message-ID: <2a695bba-a12b-03bf-9fca-0753e9774917@web.de>

Hello,

Does the use of pattern matching influence the execution speed
for OCaml functions with several parameters?
https://realworldocaml.org/v1/en/html/variables-and-functions.html#declaring-functions-with-function

Are the run-time characteristics different while using the
construct "match argument with" for a specific parameter instead?

Is another comparison of pattern matching approaches worth
for further considerations?

Regards,
Markus

From Markus.Elfring at web.de  Mon Aug  8 15:15:27 2016
From: Markus.Elfring at web.de (Markus Elfring)
Date: Mon, 8 Aug 2016 16:15:27 +0200
Subject: [ocaml-platform] Checking a constraint for an OCaml class
Message-ID: <d296b262-1498-2816-29ea-f9eb36d4fd73@web.de>

Hello,

I added a few functions (and methods) to an OCaml class.
Now I wonder about a corresponding constraint "'b = value:'d -> 'e"
which is displayed by the command "ocamlc -i omap2b.ml".

How should I find out if such a generated interface description
is acceptable for my use case?

Regards,
Markus

From lukstafi at gmail.com  Mon Aug  8 15:24:30 2016
From: lukstafi at gmail.com (Lukasz Stafiniak)
Date: Mon, 8 Aug 2016 16:24:30 +0200
Subject: [ocaml-platform] Checking a constraint for an OCaml class
In-Reply-To: <d296b262-1498-2816-29ea-f9eb36d4fd73@web.de>
References: <d296b262-1498-2816-29ea-f9eb36d4fd73@web.de>
Message-ID: <CAJMfKEUVORxahot0geSASPcFov8xPq1LU3aB6N9wUzWPVipAnA@mail.gmail.com>

The ocaml-platform mailing list is dedicated to the development of the
OCaml toolchain (and possibly the relevant aspects of the OCaml
compiler and libraries).
Your question belongs to either caml-list at inria.fr (if you intend a
free-ranging discussion of general interest) or
ocaml_beginners at yahoogroups.com (if you ask for help).

On Mon, Aug 8, 2016 at 4:15 PM, Markus Elfring <Markus.Elfring at web.de> wrote:
> Hello,
>
> I added a few functions (and methods) to an OCaml class.
> Now I wonder about a corresponding constraint "'b = value:'d -> 'e"
> which is displayed by the command "ocamlc -i omap2b.ml".
>
> How should I find out if such a generated interface description
> is acceptable for my use case?
>
> Regards,
> Markus
> _______________________________________________
> Platform mailing list
> Platform at lists.ocaml.org
> http://lists.ocaml.org/listinfo/platform