From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5757D7F61E for ; Mon, 23 Jan 2017 17:34:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dbm@refined-audiometrics.com; spf=None smtp.mailfrom=dbm@refined-audiometrics.com; spf=None smtp.helo=postmaster@elasmtp-dupuy.atl.sa.earthlink.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dbm@refined-audiometrics.com) identity=pra; client-ip=209.86.89.62; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dbm@refined-audiometrics.com"; x-sender="dbm@refined-audiometrics.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dbm@refined-audiometrics.com) identity=mailfrom; client-ip=209.86.89.62; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dbm@refined-audiometrics.com"; x-sender="dbm@refined-audiometrics.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@elasmtp-dupuy.atl.sa.earthlink.net) identity=helo; client-ip=209.86.89.62; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dbm@refined-audiometrics.com"; x-sender="postmaster@elasmtp-dupuy.atl.sa.earthlink.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ap8IbuhCdMh9jHt434BPzUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3zpsbcNUDSrc9gkEXOFd2CrakV16yK4uuwCCRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUt2as8Pi3Om3/9jXYh5UrDu7e7J7ahus/ivLscxDrYJ8K6p57xDipnJJfa?= =?us-ascii?q?wCyWltDUiekRf668v19YNv8iNVtu479sVbF679evJrHvRjED06PjVtt4XQvh7Z?= =?us-ascii?q?QF7X6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AXCABKMIZYez5ZVtFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxIBAQEBAYIIB4NMmmcBAQEGfh+IBo81hiICgXtCFQEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBCQ0KCR0wgjMZgh0BAQEDASNbCwsEFCcDAgIhJREZiHEDCwUIrFGCJ?= =?us-ascii?q?YcuDYMOAQoBAQEkhgeCSQiCY4JRgkSCADotgjEFkCqKaTiNYo44hj6KH4QuhCk?= =?us-ascii?q?1gWkVOhABghiELVOFRiqBBgGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AXCABKMIZYez5ZVtFdHAEBBAEBCgEBFwEBBAEBCgEBgxI?= =?us-ascii?q?BAQEBAYIIB4NMmmcBAQEGfh+IBo81hiICgXtCFQEBAQEBAQEBAQEBEgEBCQ0KC?= =?us-ascii?q?R0wgjMZgh0BAQEDASNbCwsEFCcDAgIhJREZiHEDCwUIrFGCJYcuDYMOAQoBAQE?= =?us-ascii?q?khgeCSQiCY4JRgkSCADotgjEFkCqKaTiNYo44hj6KH4QuhCk1gWkVOhABghiEL?= =?us-ascii?q?VOFRiqBBgGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,274,1477954800"; d="scan'208,217";a="256947255" Received: from elasmtp-dupuy.atl.sa.earthlink.net ([209.86.89.62]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Jan 2017 17:33:59 +0100 Received: from [71.226.44.164] (helo=[10.0.1.18]) by elasmtp-dupuy.atl.sa.earthlink.net with esmtpsa (TLSv1:AES256-SHA:256) (Exim 4.67) (envelope-from ) id 1cVhYv-0006sH-96 for caml-list@inria.fr; Mon, 23 Jan 2017 11:33:45 -0500 From: David McClain Content-Type: multipart/alternative; boundary="Apple-Mail=_F5603C62-D48B-427E-AD82-E55FEA2DB8D1" Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) Date: Mon, 23 Jan 2017 09:33:33 -0700 References: <2B595CCC-1121-4C8C-8F5F-A235D3AB19BB@yahoo.com> <2EA73F0B-9C8C-443F-9F05-F0F856ACF2C5@yahoo.com> To: caml-list@inria.fr In-Reply-To: Message-Id: <1C49BF05-D07F-46EF-8053-1C5BAE5437AE@refined-audiometrics.com> X-Mailer: Apple Mail (2.3259) X-ELNK-Trace: 7a0ab3eafc8cf994b22988ad1c62733440683398e744b8a467675f87160e1a738f0581aefd8a6ab893caf27dac41a8fd350badd9bab72f9c350badd9bab72f9c X-Originating-IP: 71.226.44.164 Subject: Re: [Caml-list] Ocaml optimizer pitfalls & work-arounds --Apple-Mail=_F5603C62-D48B-427E-AD82-E55FEA2DB8D1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On Jan 22, 2017, at 13:06, Berke Durak > wrote: >=20 >=20 > But for writing a non-temporary numerical routine Ocaml is superior since= you can produce a type-checked, fast standalone executable efficiently tha= nks to the high-level programming offered. This was the conclusion I reached almost 16-17 years ago while working on s= olving for optical train aberrations from point spread images. At that time= we were stuck with RSI/IDL (a variant of Matlab, of sorts), and could not = get past 5 or 6 degrees of freedom without havoc striking. We needed 150+ D= OF.=20 So I sat down and learned about this new world of FPL and developed a tenso= r based optimization that worked the first time - once I finally got it all= to compile. It wasn=E2=80=99t a huge body of code, perhaps 2-3 KLOC. But my experience was so incredible that I wrote a short paper for Phil Wad= ler in the ACM proceedings. Couldn=E2=80=99t have come at this from a more = distant place - astrophysics and missile borne IR sensors. - DM= --Apple-Mail=_F5603C62-D48B-427E-AD82-E55FEA2DB8D1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
On Jan 22, 2017, at 13:06, Berke Durak <berke.durak@gmail.com> wrote:


But for writing a= non-temporary numerical routine Ocaml is superior since you can produce a = type-checked, fast standalone executable efficiently thanks to the high-lev= el programming offered.

This was the conclusion I reached almost 16-17 ye= ars ago while working on solving for optical train aberrations from point s= pread images. At that time we were stuck with RSI/IDL (a variant of Matlab,= of sorts), and could not get past 5 or 6 degrees of freedom without havoc = striking. We needed 150+ DOF. 

So I sat down and learned about this new world of FPL an= d developed a tensor based optimization that worked the first time - once I= finally got it all to compile. It wasn=E2=80=99t a huge body of code, perh= aps 2-3 KLOC.

But= my experience was so incredible that I wrote a short paper for Phil Wadler= in the ACM proceedings. Couldn=E2=80=99t have come at this from a more dis= tant place - astrophysics and missile borne IR sensors.

- DM
= --Apple-Mail=_F5603C62-D48B-427E-AD82-E55FEA2DB8D1--