From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: thorsopia@lavabit.com Newsgroups: gmane.lisp.guile.user Subject: Typed Guile? Date: Tue, 18 Sep 2012 22:06:09 -0400 (EDT) Message-ID: <24649.77.105.186.199.1348020369.squirrel@lavabit.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1348020378 16694 80.91.229.3 (19 Sep 2012 02:06:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 19 Sep 2012 02:06:18 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Wed Sep 19 04:06:22 2012 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TE9gD-0007v8-9V for guile-user@m.gmane.org; Wed, 19 Sep 2012 04:06:21 +0200 Original-Received: from localhost ([::1]:37176 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TE9g8-0007Ur-Od for guile-user@m.gmane.org; Tue, 18 Sep 2012 22:06:16 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:60958) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TE9g4-0007Ub-L3 for guile-user@gnu.org; Tue, 18 Sep 2012 22:06:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TE9g3-0007Gv-DC for guile-user@gnu.org; Tue, 18 Sep 2012 22:06:12 -0400 Original-Received: from karen.lavabit.com ([72.249.41.33]:42000) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TE9g3-0007Gl-90 for guile-user@gnu.org; Tue, 18 Sep 2012 22:06:11 -0400 Original-Received: from a.earth.lavabit.com (a.earth.lavabit.com [192.168.111.10]) by karen.lavabit.com (Postfix) with ESMTP id 253A111BBEF for ; Tue, 18 Sep 2012 21:06:10 -0500 (CDT) Original-Received: from lavabit.com (iLab10-77.105.186.199.dnlab.ru [77.105.186.199]) by lavabit.com with ESMTP id KZODEWFKE8C4 for ; Tue, 18 Sep 2012 21:06:09 -0500 Original-Received: from 77.105.186.199 (SquirrelMail authenticated user thorsopia) by lavabit.com with HTTP; Tue, 18 Sep 2012 22:06:09 -0400 (EDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=lavabit; d=lavabit.com; b=mgkuPqFadfzI3N+15bTIhX9Sy3/1s4O5i4khMfRWKFnV1X/0DxFecydQnIXR3V1qqVi5Y9+tEmrZiZ53PvIbdOEdAtrE6KLSh9BUvB9TXKAEBZnIEu6svVsZX3uzqIDbYDdKfhlcYIYWQSigRb4EGdnwFaXSaxhpZJ+JyFmuXp0=; h=Message-ID:Date:Subject:From:To:User-Agent:MIME-Version:Content-Type:Content-Transfer-Encoding; User-Agent: SquirrelMail/1.4.13 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-Received-From: 72.249.41.33 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:9585 Archived-At: Hi, The first part of this message may look irrelevent, but you'll understand why I decided to start this way. I'm going to write a library. Here is the list of things I care about (from the most important to the least important): - Strict type system; - Wide community; - Performance. There are several candidates: - Haskell; - Typed Racket; - Typed Clojure*. Which one should I choose? (Please don't answer right now.) I've already tried to ask TR people: "Typed Racket is designed for Racket. One day Guile will have a Typed Guile companion, and Chez Scheme may have a Typed Chez companion but until then TR is for Racket." [1] Is it this bad? Do we really need Typed Guile? Can we somehow adapt the static code to achieve its features in Guile? I'm really concerned about code reuse. It's time to stop reinventing the wheel. My writing skills are not very great... So I'm going to summarize the above: 1. What language should I choose for my library? 2. Do we need Typed Guile? * I know nothing about TC's type system, but it's a possible candidate. [1] http://lists.racket-lang.org/users/archive/2012-September/054037.html (This is not the first message on this thread.)