From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 92EA880263 for ; Wed, 4 Oct 2017 13:00:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christoph.hoeger@celeraone.com; spf=Pass smtp.mailfrom=christoph.hoeger@celeraone.com; spf=None smtp.helo=postmaster@mail-vk0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@celeraone.com) identity=pra; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christoph.hoeger@celeraone.com designates 209.85.213.47 as permitted sender) identity=mailfrom; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vk0-f47.google.com) identity=helo; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="postmaster@mail-vk0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AG8NYhx2urjBIE3FPsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segXKfad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Bx/iwgseZ8pjXKyBBhT68Z7w6CBStsU2FvcAThc5mK70t4hrPuHpBPe?= =?us-ascii?q?pMkzBGP1WWyj38/Mar4Jl78xNwJf0s7YYUWqXgfr8kSqRYSjQhPm84/uXguB3O?= =?us-ascii?q?VwKI4HZaWWITxEkbSzPZ5Q33C8+i+hDxsfBwjWzDZZX7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CjAAC9vtRZhi/VVdFdSAEFAQsBgwWBE?= =?us-ascii?q?W4nB4NzgTaYTZJkhUyBJQNcCieFFIRSB0MUAQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjMFAR4BBYIyMx0BATgdAQc3AiQSAQUBIopDEJlAQIsha4IngwkBAQWIDioDB?= =?us-ascii?q?RKDG4ICiy9lgmaCYYoflxiHXo0HkwmVQBQFH4EVNoEveHgGhQqBdT42AYd0gVQ?= =?us-ascii?q?BAQE?= X-IPAS-Result: =?us-ascii?q?A0CjAAC9vtRZhi/VVdFdSAEFAQsBgwWBEW4nB4NzgTaYTZJ?= =?us-ascii?q?khUyBJQNcCieFFIRSB0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMFAR4BBYIyM?= =?us-ascii?q?x0BATgdAQc3AiQSAQUBIopDEJlAQIsha4IngwkBAQWIDioDBRKDG4ICiy9lgma?= =?us-ascii?q?CYYoflxiHXo0HkwmVQBQFH4EVNoEveHgGhQqBdT42AYd0gVQBAQE?= X-IronPort-AV: E=Sophos;i="5.42,477,1500933600"; d="scan'208,217";a="294217821" Received: from mail-vk0-f47.google.com ([209.85.213.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Oct 2017 13:00:27 +0200 Received: by mail-vk0-f47.google.com with SMTP id 137so3563600vkk.8 for ; Wed, 04 Oct 2017 04:00:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=celeraone-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=UVYe5iBbVwbts6SajqaGItuMJ2v2IeUksMIy+Qeahto=; b=BxHI9HoKOccBbpKVtUnKehaiSKMDP9hO+yIkfJl9ec1PvIsP2rY8sLulKFlV6Fjq26 FynQNlV559/teAHo3Nwzc7kpa2T7oNVKSXOCC5eKxm+JDTRDGxDrl1e/T07IxgAI+gbq lfX3tDXzXKx9GADicfglRW4kuvZqn3sSs4B9n+yFokEvPyWwlAFSbLpOIvgsGxbwkIfq wQSxGc/SqAJXuNe49c09pJpI3wAGFAa4PmgASmIVPNAHNDFRAJ/HNZoi1smCBEd+ou5h oFhTnT/MQOTTT531WdcZVNmUeuesFREAAVsE/c2ZK8gYKv+22NWJjaBeHDapnZEFn20S HwVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=UVYe5iBbVwbts6SajqaGItuMJ2v2IeUksMIy+Qeahto=; b=Y2O3Qb9wRWUqimc0EYpCC+s2lA44YKozxtVVFhhblRLE4dghMW+OAYcYvxpw17UZ9t X0Wluu0QPfMR17Kx/beel1mw0iS5dpe209ZlgGOx6DSJ/VeaiMsLcNj9fQ9fRrw4YqQd FZnKVfE3406FFmVUxBIQSrhNYEaEtoR64CacoBuMM0jKITsze4lnraAuPgmssq3fpHLL c3rr94+PLwjyPje0kJpEyklHL8Y9iXqV+IWHejcW1CCnKjxCYwC6xSwTAJlYqm9d+bHY zMsCiUXXzVd7Lo6NlXnFvXoGG1YruqK56wQbpDnWf26bZgE6KMaYH4IARjqW+hQ5RVgO Mz9Q== X-Gm-Message-State: AMCzsaUJmG3mJmRhtS94s3Rim2u2z2BUT4m7oAtdCa3dsAWduJWqvNCK wCl34huJOiXPwQwN5oyvcmL+el7M2Az3feMTyz4JzNwj X-Google-Smtp-Source: AOwi7QCw5ZNoM/L+uLr/7P1VtzCHvBtgDMbcq8QJ9+XFvXl9aWm1z7ro1drNafI05YPMo1B7FizLZYvjTwtHfkOJI2w= X-Received: by 10.31.128.149 with SMTP id b143mr10493687vkd.56.1507114825971; Wed, 04 Oct 2017 04:00:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.176.24.209 with HTTP; Wed, 4 Oct 2017 04:00:25 -0700 (PDT) From: =?UTF-8?Q?Christoph_H=C3=B6ger?= Date: Wed, 4 Oct 2017 13:00:25 +0200 Message-ID: To: OCaml Mailing List Content-Type: multipart/alternative; boundary="001a11429caed69180055ab6838a" Subject: [Caml-list] Translating C++ tree into OCaml ADT --001a11429caed69180055ab6838a Content-Type: text/plain; charset="UTF-8" Dear OCaml users, I need to translate a C++ tree structure into its OCaml equivalent in a safe and efficient way. I wrote up the details at stackoverflow: https://stackoverflow.com/questions/46562400/how-to-safely-translate-tree-data-structures-between-c-ocaml Forgive me, if that kind of cross-referencing is frowned upon ;), I wanted to cover as large an audience as possible. The gist is that I do not want to use some intermediate serialization format but rather traverse and construct in one pass and how to do that with OCaml's GC in between. Any comments are very much appreciated. Christoph --001a11429caed69180055ab6838a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

I = need to translate a C++ tree structure into its OCaml equivalent in a safe = and efficient way.

I wrote up the details at stackoverflow:
https://stackoverflow.com/q= uestions/46562400/how-to-safely-translate-tree-data-structures-between-c-oc= aml

Forgive me, if that kind of cross-referencing is frown= ed upon ;), I wanted to cover as large an audience as possible.
<= div>
The gist is that I do not want to use some intermediate = serialization format but rather traverse and construct in one pass and how = to do that with OCaml's GC in between.

Any comments= are very much appreciated.

Christoph
--001a11429caed69180055ab6838a--