From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14851 invoked by alias); 16 Mar 2017 17:02:44 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 14838 invoked by uid 89); 16 Mar 2017 17:02:43 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.9 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RP_MATCHES_RCVD autolearn=no version=3.3.2 spammy=H*Ad:U*kawa, H*r:sk:kawa@so, H*MI:int, H*M:info X-HELO: mail.io7m.com Received: from io7m.com (HELO mail.io7m.com) (159.203.63.34) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 16 Mar 2017 17:02:42 +0000 Received: from copperhead.int.arc7.info (cust187-dsl61.idnet.net [212.69.61.187]) by mail.io7m.com (Postfix) with ESMTPSA id 8353F187FA0 for ; Thu, 16 Mar 2017 17:02:41 +0000 (UTC) Date: Thu, 16 Mar 2017 17:02:00 -0000 From: list+org.sourceware.kawa@io7m.com To: kawa@sourceware.org Subject: Are types checked statically? Message-ID: <20170316170239.2e6b55d0@copperhead.int.arc7.info> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; boundary="Sig_/=.6ReuL8GPP+RZ9e7MBBisi"; protocol="application/pgp-signature" X-IsSubscribed: yes X-SW-Source: 2017-q1/txt/msg00078.txt.bz2 --Sig_/=.6ReuL8GPP+RZ9e7MBBisi Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Content-length: 626 Hello! I'm looking for a scripting language that can be embedded into a Java program (ideally via the JSR223 API, but this is not a hard requirement). However, one of my requirements is static type checking and that tends to limit the options somewhat. As someone who enjoys functional programming, I was quite pleased to learn that Kawa existed! However, I can't quite make out from the information on the site whether or not the types are checked at compilation time or not. I=20 appreciate that the distinction is somewhat subtle if "compilation time" actually means "when the script is loaded by the running program". M --Sig_/=.6ReuL8GPP+RZ9e7MBBisi Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature Content-length: 854 -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEEgWja4isV0+3HIsI9DxW30G+oDLgFAljKxS8OHG1hcmtAaW83 bS5jb20ACgkQDxW30G+oDLgjjg//bjWtpl+YAbvYtkD7h/WTEJNvqhd7TZlKDQpx 24cxRQZCDF6IN/1kVCSFXQnua0VRR5ipyLcqWVTUgcH+ERZWru37jTyhhhXZx33f bgfsyFB6/VZ9jjSv8PFu5nq0jR9lR6mUBkrKmwhlNaFBi+jrPIQivYSSsVjiD8Cg 9LtoYTwFxRWVMNhSi4tHNKycSzbEFQ6JA/SfduAqUCeWdClYlajdObbL9Vv9aY+X lOwE7jArudAIG4z8gl8/8g+LPj+U9xnMwaGWYRAJ5Pz18mCTS3muqptqW6Ps5KgM I8ajmQ3OK+QylXKqPTCBP469iGbCMMcgfmOwVSBbHx3jgep95lPZtN2CNYdvqOeJ RewszG1cSwoXptir8LTYz9gKnmEVBvBT57VEcsp3fLAjf6pSOtlNoOsdzoY0lphn 1xJf4eOXMee3O4Kfe9KMhvO/Hehd7SclT6V7FPephz7LUk9A0PrSiivv7UsPs1BO Qpvac+K+o2TslamQQDF1F/V5Gdk9pJCcnowBCQi9+o91NU117J+Pg9+hSRpeLean 48dN54QdYFyNuH7fJXCOu9bh9SkdEzxhGOh8TCuArLwJMzuLP4CYD13DIjEWvKwL DQ3eilOCWLl1Is17aGnd/DNGCoEMOiwwTz8fKiAZS0iAauvrtauKUgxHh6sF2cYa LDjZ22s= =8Jv/ -----END PGP SIGNATURE----- --Sig_/=.6ReuL8GPP+RZ9e7MBBisi--