caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Learning OCaml
@ 2014-10-29 13:49 Ramu Iyer
  0 siblings, 0 replies; 3+ messages in thread
From: Ramu Iyer @ 2014-10-29 13:49 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 640 bytes --]

We are currently implementing a business process management solution by
customizing an ERP application. Natural language requirements are entered
as development work items in TFS.  There is an opportunity to increase the
rigor of the formal specification.

*  Is there an approach to reverse engineer a system specification of a
tool (such as Dynamics AX)?
*  Is there a formal process to discover the accumulated technical debt in
a given implementation?

These questions are somewhat high-level and I'd be glad to obtain any
inputs that will help me incrementally advance to the next step (using
OCaml as a formal method).

Thanks,

Ramu

[-- Attachment #2: Type: text/html, Size: 814 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Caml-list] Learning ocaml
@ 2021-12-29 16:09 Arnaud Delobelle
  2021-12-29 17:52 ` Nicolás Ojeda Bär
  0 siblings, 1 reply; 3+ messages in thread
From: Arnaud Delobelle @ 2021-12-29 16:09 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 690 bytes --]

Hello!

In 1993 while doing a maths degree at Paris 7 university I remember doing a
project in a language called Caml-Light (implementing a unification
algorithm iirc).  I haven't done any Caml since but this Christmas I
decided to give Ocaml a go (just for the fun of it).

As I'm learning I am wondering how to write idiomatic OCaml - as an
example, as it has both functional and imperative syntax, I'm finding it
hard to decide what is most natural in some situations.  Do you have any
good suggestions?

My favourite way to learn is by doing and getting feedback.  What would be
an appropriate way for me to request feedback?  It would be for fairly
simple code.

TIA

Arnaud Delobelle

[-- Attachment #2: Type: text/html, Size: 931 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* RE: [Caml-list] Learning ocaml
  2021-12-29 16:09 [Caml-list] Learning ocaml Arnaud Delobelle
@ 2021-12-29 17:52 ` Nicolás Ojeda Bär
  0 siblings, 0 replies; 3+ messages in thread
From: Nicolás Ojeda Bär @ 2021-12-29 17:52 UTC (permalink / raw)
  To: caml-list, Arnaud Delobelle

[-- Attachment #1: Type: text/plain, Size: 1686 bytes --]

Hello Arnaud,

> Do you have any good suggestions?

I think the consensus is that one should write pure code by default, and only switch to imperative style when there is a good reason for it (eg an algorithm or data structure that is harder to express in pure style). Pure code is easier to read and reason about in most cases.

> What would be an appropriate way for me to request feedback?

I would recommend you head over to https://discuss.ocaml.org/ to get feedback to all your OCaml-related questions.

Cheers,
Nicolas
________________________________
De : caml-list-request@inria.fr <caml-list-request@inria.fr> de la part de Arnaud Delobelle <arnodel@gmail.com>
Envoyé : mercredi 29 décembre 2021 17:09
À : caml-list@inria.fr <caml-list@inria.fr>
Objet : [Caml-list] Learning ocaml


CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.


Hello!

In 1993 while doing a maths degree at Paris 7 university I remember doing a project in a language called Caml-Light (implementing a unification algorithm iirc).  I haven't done any Caml since but this Christmas I decided to give Ocaml a go (just for the fun of it).

As I'm learning I am wondering how to write idiomatic OCaml - as an example, as it has both functional and imperative syntax, I'm finding it hard to decide what is most natural in some situations.  Do you have any good suggestions?

My favourite way to learn is by doing and getting feedback.  What would be an appropriate way for me to request feedback?  It would be for fairly simple code.

TIA

Arnaud Delobelle


[-- Attachment #2: Type: text/html, Size: 6610 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, back to index

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-10-29 13:49 [Caml-list] Learning OCaml Ramu Iyer
2021-12-29 16:09 [Caml-list] Learning ocaml Arnaud Delobelle
2021-12-29 17:52 ` Nicolás Ojeda Bär

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox