Received: by 10.204.129.9 with SMTP id m9mr990189bks.1.1348966415781;
        Sat, 29 Sep 2012 17:53:35 -0700 (PDT)
X-BeenThere: erlang-programming@googlegroups.com
Received: by 10.204.129.197 with SMTP id p5ls5957289bks.9.gmail; Sat, 29 Sep
 2012 17:53:35 -0700 (PDT)
Received: by 10.205.119.10 with SMTP id fs10mr147513bkc.3.1348966415349;
        Sat, 29 Sep 2012 17:53:35 -0700 (PDT)
Received: by 10.205.119.10 with SMTP id fs10mr147512bkc.3.1348966415334;
        Sat, 29 Sep 2012 17:53:35 -0700 (PDT)
Return-Path: <erlang-questions-boun...@erlang.org>
Received: from hades.cslab.ericsson.net (hades.cslab.ericsson.net. [192.121.151.104])
        by gmr-mx.google.com with ESMTP id v13si1022138bkw.0.2012.09.29.17.53.35;
        Sat, 29 Sep 2012 17:53:35 -0700 (PDT)
Received-SPF: pass (google.com: domain of erlang-questions-boun...@erlang.org designates 192.121.151.104 as permitted sender) client-ip=192.121.151.104;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of erlang-questions-boun...@erlang.org designates 192.121.151.104 as permitted sender) smtp.mail=erlang-questions-boun...@erlang.org; dkim=neutral (body hash did not verify) header...@gmail.com
Received: from hades.cslab.ericsson.net (hades [192.121.151.104])
	by hades.cslab.ericsson.net (Postfix) with ESMTP id C13DE5C04F;
	Sun, 30 Sep 2012 02:53:27 +0200 (CEST)
X-Original-To: erlang-questi...@erlang.org
Delivered-To: erlang-questi...@erlang.org
Received: from mail-ie0-f181.google.com (mail-ie0-f181.google.com
 [209.85.223.181])
 by hades.cslab.ericsson.net (Postfix) with ESMTP id C6C835C008
 for <erlang-questi...@erlang.org>; Sun, 30 Sep 2012 02:53:25 +0200 (CEST)
Received: by iea16 with SMTP id 16so10188089iea.40
 for <erlang-questi...@erlang.org>; Sat, 29 Sep 2012 17:53:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=mime-version:in-reply-to:references:from:date:message-id:subject:to
 :content-type; bh=6fE3Ot7Ev8k5j7SNHkvPDrfJsHCt/0vNePIB+7e17j8=;
 b=JcP+d2fvvuoJdCePkRF/GO+RWP2/6QsFQ+0bWGFlmVq0UswGgU4WeGMP+aYhjqHSmH
 K9C0E5Jph9W9sa+N5VvPa/7FFHcSl5ljSxGnX87YZE27tGKy887fNqE+15FzwMiqW9lQ
 TVuHowSF3j11HWx0W7KsP6bPnQi+24aVR9Sn7YTWDwhLhm8gFdKC2N8P0NR9eCDgXZFU
 /BUq9Ugg0b9P3+YlQrZJ4htYf34DlK5zVwIqTASHsVGUesqnSRybX+loi9APncZnxiTv
 YebserXkQVpOdst7unAzCZWjJflx4hqPIRF41w6r6UUuotNBc1PbpCKyUz58bdmZknXQ
 FUCQ==
Received: by 10.50.151.166 with SMTP id ur6mr2244323igb.66.1348966404975; Sat,
 29 Sep 2012 17:53:24 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.64.32.229 with HTTP; Sat, 29 Sep 2012 17:53:04 -0700 (PDT)
In-Reply-To: <CANsaZAhxFjqRBVqLdG8V1P8D=DpPuDmKZmazrAft5J2ZfM1...@mail.gmail.com>
References: <BF864C40-431E-4600-93D1-364FB1236...@gmail.com>
 <058201cd9c25$6000ca80$20025f...@gmail.com>
 <F5ABA97E-DDA8-4C78-AE52-FDE79FDDF...@gmail.com>
 <CAF=0zKvdANwAfY7gnAQSwjLOR+2dRocGAM7iJkjKreBFdc1...@mail.gmail.com>
 <CAJ7XQb49TeDoGyO3xSHd6e4urHew8wfpCOGO1qSHfM9gJ6i...@mail.gmail.com>
 <CAJ7XQb6hHhhyFmWMXthKGxPAJ8t_CW7-46xKhbnh51Tj7C1...@mail.gmail.com>
 <CANsaZAhxFjqRBVqLdG8V1P8D=DpPuDmKZmazrAft5J2ZfM1...@mail.gmail.com>
From: Raoul Duke <rao...@gmail.com>
Date: Sat, 29 Sep 2012 17:53:04 -0700
Message-ID: <CAJ7XQb5zA0qz++JbWT11f9j1=jshygnHP+FeKMkk5e6h+Hf...@mail.gmail.com>
To: Erlang-Questions Questions <erlang-questi...@erlang.org>
Subject: Re: [erlang-questions] Spec is diabolical IMHO
X-BeenThere: erlang-questi...@erlang.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: General Erlang/OTP discussions <erlang-questions.erlang.org>
List-Unsubscribe: <http://erlang.org/mailman/options/erlang-questions>,
 <mailto:erlang-questions-requ...@erlang.org?subject=unsubscribe>
List-Archive: <http://erlang.org/pipermail/erlang-questions>
List-Post: <mailto:erlang-questi...@erlang.org>
List-Help: <mailto:erlang-questions-requ...@erlang.org?subject=help>
List-Subscribe: <http://erlang.org/mailman/listinfo/erlang-questions>,
 <mailto:erlang-questions-requ...@erlang.org?subject=subscribe>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Errors-To: erlang-questions-boun...@erlang.org
Sender: erlang-questions-boun...@erlang.org

On Sat, Sep 29, 2012 at 2:54 AM, Max Bourinov <bouri...@gmail.com> wrote:
> Can you please point me to the good dialyzed docs where I can find detailed
> description of it syntax?

if you mean lfe, please talk to the honorable Mr. Virding, i think.

if you mean typed racket, look at http://docs.racket-lang.org/ts-guide/

if you mean shen, see http://www.shenlanguage.org/

:-)
_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions