From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9e7db243dfa070d7,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!j25g2000yqa.googlegroups.com!not-for-mail
From: "Chad  R. Meiners" <chad.rmeiners@gmail.com>
Newsgroups: comp.lang.ada
Subject: Do people who use Ada also use ocaml or F#?
Date: Thu, 28 Oct 2010 19:27:40 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <b17dc7a8-7f8e-46b7-942c-b08ba83ce8fa@j25g2000yqa.googlegroups.com>
NNTP-Posting-Host: 173.48.246.55
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1288319260 10720 127.0.0.1 (29 Oct 2010 02:27:40
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 29 Oct 2010 02:27:40 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: j25g2000yqa.googlegroups.com; posting-host=173.48.246.55;
 posting-account=XRGbKgoAAACag8f1Ww4XGf81DDZtyfbX
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US)
 AppleWebKit/534.7 (KHTML,
 like Gecko) Chrome/7.0.517.41 Safari/534.7,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:15893
Date: 2010-10-28T19:27:40-07:00
List-Id: <comp.lang.ada>

Hi,

I have always found the type system of Ada to be beautiful.  I,
however, have not been programming in Ada since 2004.  I have chosen
languages that support generics because quite frankly after learning
Ada, any statically typed language that does not support generics is
not a suitable language for developing anything of substance.

A friend of mine (who also learn Ada at university and liked it)
introduced me to ocaml (for which I learned F#), which also has a
beautiful type system.  I am love the elegance of static typing
without explicit type declarations, but I still linger with the desire
to declare types when I program in F#.  (I realize that explicit type
declarations are desirable for safety critical applications.)

Do any other Ada programmers also use functional languages like
these?  If so, has anyone given any thoughts on how to incorporate the
nice features of both languages?