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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0CA24801DC for ; Sat, 26 Aug 2017 16:23:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=examachine@gmail.com; spf=Pass smtp.mailfrom=examachine@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f178.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of examachine@gmail.com) identity=pra; client-ip=209.85.216.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="examachine@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of examachine@gmail.com designates 209.85.216.178 as permitted sender) identity=mailfrom; client-ip=209.85.216.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="examachine@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f178.google.com) identity=helo; client-ip=209.85.216.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="postmaster@mail-qt0-f178.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEUXv/hEbXhTyrGto1BTW8p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75pcSwAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWapAQfERTnNAdz?= =?us-ascii?q?Ov+9WsuL15z2hNaJ5obLbg5UqD24aLJ0ZFXq/ESC/vUR1KllIas12x3+mfpSfP?= =?us-ascii?q?gekUFvLl+XjhC63eqK26JL7iJRpbcr78VEXL//eKIkC7JCWmcIKWcwseDxvAiL?= =?us-ascii?q?ahmM+2EVVi1CnwpBBgHO7BD8U7/+tyL7sqx23yzMbp6+dqw9RTn3t/QjcxTvki?= =?us-ascii?q?pScmNg/Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlAQDYg6FZhrLYVdFcHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBg1Q/gRUHhSaIZ5AXPwEBBoEqgkaGY4x9DoIELIM8gV8?= =?us-ascii?q?Cg1wHPxgBAQEBAQEBAQEBARIBAQEICwsIKC+CMwUBHgaCPAECAgEjHQETCBILA?= =?us-ascii?q?QMBCwYFCxodAgIiAREBBQEKBAENBhMSigYBAwgFCBCjX0CMC4IFBQEcgwkFg10?= =?us-ascii?q?KGScDCleDRAEBAQEGAQEBAQEBGgIGEoMYggKBB4IqghuBDYQ9ZYJmgmEFiBwMi?= =?us-ascii?q?gSOOIdWg1aJGoISWoUMinCMSzSHdRUfgRUPEIFFMiEkXhqERSofJYFRPTYBiUy?= =?us-ascii?q?BUwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AlAQDYg6FZhrLYVdFcHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBg1Q/gRUHhSaIZ5AXPwEBBoEqgkaGY4x9DoIELIM8gV8Cg1wHPxgBAQEBA?= =?us-ascii?q?QEBAQEBARIBAQEICwsIKC+CMwUBHgaCPAECAgEjHQETCBILAQMBCwYFCxodAgI?= =?us-ascii?q?iAREBBQEKBAENBhMSigYBAwgFCBCjX0CMC4IFBQEcgwkFg10KGScDCleDRAEBA?= =?us-ascii?q?QEGAQEBAQEBGgIGEoMYggKBB4IqghuBDYQ9ZYJmgmEFiBwMigSOOIdWg1aJGoI?= =?us-ascii?q?SWoUMinCMSzSHdRUfgRUPEIFFMiEkXhqERSofJYFRPTYBiUyBUwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,430,1498514400"; d="scan'208,217";a="235402521" Received: from mail-qt0-f178.google.com ([209.85.216.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Aug 2017 16:23:43 +0200 Received: by mail-qt0-f178.google.com with SMTP id e2so10120046qta.0 for ; Sat, 26 Aug 2017 07:23:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=a3QnEQ5EeLmmIiGTr0nmX84l1G/K0emtqrdovD/e8kg=; b=nFb+iS/9CXTOp4gQKXFMiToJ3+fd03/0pcOMMGxK3keuwPsg+CBF4VNQYiZEUDPImz n80Kix8Tsap5yqAsrnKQOd99Huc2/W9/a6xqhw8bqcLoWsUvstawl/dketyrbmnck9ae OckEJnJIgvGeQAdfazOtrvo0r5/1EljJkCiuJoNoBqSC6aV1Z2sO1u+Uy+9bvEBLCzZl /s858ttkqoHovKId147KZR/Dn13yl62nOfrx8QPyOdydkLnNDsrePud1uEuDDhFYhpK3 dahvXVgpi7alU/QyMzF18HQMwFpgd+TCoGO7UQJuV/x/nps01fcXbbyxw95DbX/4aryV 3d4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=a3QnEQ5EeLmmIiGTr0nmX84l1G/K0emtqrdovD/e8kg=; b=SnQEQ8iMX77w5KwI59bG8hhHIAkSlD33kTde17hGDhv94QerRN51Ee9VM28ifYbfuk rn3FOp3sNMwUlkwgL45fIKQHQZE/RiHkK0nlHlCQj6vS1pdQUHrLbh9bBgsDQ4kD9eDR 9e3f5AND7AjCryog8cMwj/fAkvfVjzNy+wkarHFI5HhMiSJTq9socIcgseiZ/LlLPIM7 ZnpsISaZLtDhl00gHhb1B6Do5h4v4R8eCIH5wsQvYnmamS8DsiDlv7Ok68ACvtZ195iI Qj6sWjcBC/boZ58ip6nLDEEbdDS7o410jAHCS/bA0SOdiAg0FiS7M0nfy0VMpJjGSL3O JYTw== X-Gm-Message-State: AHYfb5hWZV/sJ9UqzUhC8Pn/AKE+O7t+VPPbylCORm4a6CVMrMhAiWRh 9gt2OxjheP4FhUgYPXmqgCB2Wb2VXA== X-Received: by 10.200.57.7 with SMTP id s7mr1251881qtb.289.1503757422489; Sat, 26 Aug 2017 07:23:42 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.164.165 with HTTP; Sat, 26 Aug 2017 07:23:41 -0700 (PDT) In-Reply-To: References: From: Eray Ozkural Date: Sat, 26 Aug 2017 17:23:41 +0300 Message-ID: To: =?UTF-8?Q?Jocelyn_S=C3=A9rot?= Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="001a113fcee8fef7680557a8cee2" Subject: Re: [Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs --001a113fcee8fef7680557a8cee2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Jocelyn, I have reviewed your work and this is quite impressive. I am including your technology as part of a grant proposal I'm writing which is about designing an AGI chip. Great work, thank you. Please keep us updated about developments in CAPH. I wanted something exactly like this because the codebase is in OCaml. I am going to try to see if I can extend this with my own verilog primitives for other apps than stream processing. EE people don't really understand the importance of PL technology, so believe it or not, they use stuff like Perl scripts to do the same thing. This is of course, a far superior approach. Best Regards, Eray On Sun, Jul 23, 2017 at 12:52 PM, Jocelyn S=C3=A9rot < Jocelyn.SEROT@univ-bpclermont.fr> wrote: > Dear Ocaml users, > > It is my pleasure to announce the latest release (2.8.3) of CAPH, a > domain-specific language relying on the dataflow model of computation for > describing and implementing stream-processing applications. CAPH can > simulate dataflow programs, generate cycle-accurate SystemC and > synthetizable VHDL code for implementation on reconfigurable hardware such > as FPGAs. > > CAPH has a strong functional inspiration : dataflow networks are described > using a purely functional, higher-order formalism and the definition of > actor behavior relies on a pattern matching similar to that used for > defining functions in functional languages. CAPH is also equipped with a > rich type system with sized-integers, booleans, floats, fully polymorphic > algebraic data types and dependent types. > > And, of course, CAPH is entirely written in OCaml ;) > > Documentation, examples and release (both source code and pre-compiled > binary version for Windows and MacOS) can be found here : > > http://caph.univ-bpclermont.fr/CAPH/CAPH.html > > Cheers > > JS > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 Eray Ozkural, PhD. Computer Scientist Founder, Gok Us Sibernetik Ar&Ge Ltd. http://log.examachine.net http://github.com/examachine http://groups.yahoo.com/group/ai-philosophy --001a113fcee8fef7680557a8cee2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Jocelyn,

I have reviewed your work= and this is quite impressive. I am including your technology as part of a = grant proposal I'm writing which is about designing an AGI chip. Great = work, thank you. Please keep us updated about developments in CAPH.=C2=A0 I= wanted something exactly like this because the codebase is in OCaml. I am = going to try to see if I can extend this with my own verilog primitives for= other apps than stream processing. EE people don't really understand t= he importance of PL technology, so believe it or not, they use stuff like P= erl scripts to do the same thing. This is of course, a far superior approac= h.

Best Regards,

Eray

On Sun, J= ul 23, 2017 at 12:52 PM, Jocelyn S=C3=A9rot <Jocelyn.SERO= T@univ-bpclermont.fr> wrote:
http://caph.univ-bpclermont.fr/CAPH/CAPH.html<= br>
Cheers

JS


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



--
=
Eray Ozkural, PhD. Computer Scientist
Founder, Gok Us Sibernetik Ar= &Ge Ltd.
ht= tp://log.examachine.net http://github.com/examachine=C2=A0http://groups.yahoo.com/gr= oup/ai-philosophy
--001a113fcee8fef7680557a8cee2--