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 0224282355 for ; Tue, 12 Dec 2017 06:52:05 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn-mail.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn-mail.in-berlin.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5bMzKR1x59LyAqPYsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesQKfad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrn5jcXHlD7NBFp?= =?us-ascii?q?DuXzAI/bycqthM6o/JiGRAFJmjenKZl7Khm7qU2Fsc0Xn4Z4Aqgw0ADV5HpOPu?= =?us-ascii?q?5b32dpIxSfkkCvtY+L4Jd//nEI6Loa/MlaXPCicg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEAwA8bi9ahwgqbcBahUknhAKLFY9lJ?= =?us-ascii?q?pkiCoU7AoU1FAEBAQEBAQEBAQESAQEBCgsJCCgvgjgigkkBAgIBIw8BBVELGgI?= =?us-ascii?q?YDgICVxkVigsIBKgpgieKcjKBD4JZhX6Cd4VrgkmCYwWjE4EQlAQhX4EKARiGE?= =?us-ascii?q?oNlh1mWMQIEAgQFAhkBBoE1NoFxMhoIHBQ6gimCYoF0d4pRAQEB?= X-IPAS-Result: =?us-ascii?q?A0AEAwA8bi9ahwgqbcBahUknhAKLFY9lJpkiCoU7AoU1FAE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCgsJCCgvgjgigkkBAgIBIw8BBVELGgIYDgICVxkVigsIB?= =?us-ascii?q?KgpgieKcjKBD4JZhX6Cd4VrgkmCYwWjE4EQlAQhX4EKARiGEoNlh1mWMQIEAgQ?= =?us-ascii?q?FAhkBBoE1NoFxMhoIHBQ6gimCYoF0d4pRAQEB?= X-IronPort-AV: E=Sophos;i="5.45,394,1508796000"; d="scan'208";a="305030774" Received: from einhorn.in-berlin.de (HELO einhorn-mail.in-berlin.de) ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Dec 2017 06:52:04 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from localhost (yak.in-berlin.de [192.109.42.109]) by einhorn.in-berlin.de (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id vBC5q2Xj008768 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 12 Dec 2017 06:52:02 +0100 Received: from x4e31df99.dyn.telefonica.de (x4e31df99.dyn.telefonica.de [78.49.223.153]) by webmail.in-berlin.de (Horde Framework) with HTTPS; Tue, 12 Dec 2017 06:52:02 +0100 Date: Tue, 12 Dec 2017 06:52:02 +0100 Message-ID: <20171212065202.Horde.aiNhAyW0N7g3ZVn4SGhv_Zy@webmail.in-berlin.de> From: Oliver Bandel To: caml-list@inria.fr References: In-Reply-To: User-Agent: Horde Application Framework 5 Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes MIME-Version: 1.0 Content-Disposition: inline Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] ReasonML concrete syntax Zitat von Louis Roché (Tue, 12 Dec 2017 03:49:25 +0000) >> By the way, to the people calling the syntax ugly and its users idiots, >> please tone yourselves down and think about why OCaml has been around in a >> niche for 20 years but Rust took off in less than five. >> > > "That's the reason why IT is a pop culture, not an engineering field" Which really means: "That's the reason why IT is a pop culture, not a popculture."