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

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