Typed Racket vs. Haskell - Racket Users

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion Typed Racket vs. Haskell
Received-SPF: neutral (google.com: 129.10.115.116 is neither permitted nor denied by domain of users-boun...@racket-lang.org) client-ip=129.10.115.116;
Received-SPF: pass (google.com: domain of cleme...@brinckerhoff.org designates
	67.18.186.127 as permitted sender) client-ip=67.18.186.127;
Mime-Version: 1.0 (Apple Message framework v1278)
From: John Clements <cleme...@brinckerhoff.org>
In-Reply-To: <58500.77.105.186.199.1347982242.squir...@lavabit.com>
Date: Tue, 18 Sep 2012 09:55:36 -0700
Message-Id: <C2D9BD24-3FE9-400B-8EA0-AF0F15C82...@brinckerhoff.org>
References: <58500.77.105.186.199.1347982242.squir...@lavabit.com>
To: thorso...@lavabit.com
Cc: us...@racket-lang.org
Subject: Re: [racket] Typed Racket vs. Haskell
Precedence: list
Content-Type: multipart/mixed; boundary="===============0517044631=="
Sender: users-boun...@racket-lang.org
Errors-To: users-boun...@racket-lang.org


--===============0517044631==
Content-Type: multipart/signed; boundary="Apple-Mail=_E294C1D1-81B3-4458-916A-26A59BF1868F"; protocol="application/pkcs7-signature"; micalg=sha1


--Apple-Mail=_E294C1D1-81B3-4458-916A-26A59BF1868F
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii


On Sep 18, 2012, at 8:30 AM, thorso...@lavabit.com wrote:

> Hi,
>=20
> I'm a beginner, but I have some experience with Scheme and Haskell.
>=20
> Haskell is famous for its strict type system. Is it possible to =
achieve
> this in a Lisp-like language? Is Typed Racket as strict as Haskell?
>=20
> I'd like to see a comparison between the two.

Both Haskell and Typed Racket come from the Programming Languages =
community, and their type systems both arise from the same chain of =
research. They are both "type safe" systems (unlike, say, C), in that =
they produce proofs that some set of "bad things" can't happen.

With that said, Haskell and Typed Racket represent two different =
"attitudes" within that design space: Haskell takes the attitude that =
the type system is a fundamental part of the program design, and typed =
Racket takes the attitude that the program comes first, and the type =
system's job is to check that nothing is going to go wrong.

At a jargon level, you could say that Haskell has a Hindley-Milner type =
system, and that Racket uses "occurrence typing", if that's at all =
helpful.

When comparing type systems, it's extremely important to qualify =
opinions: the above two paragraphs (especially the first) are my opinion =
only.

John Clements



--Apple-Mail=_E294C1D1-81B3-4458-916A-26A59BF1868F
Content-Disposition: attachment;
	filename=smime.p7s
Content-Type: application/pkcs7-signature;
	name=smime.p7s
Content-Transfer-Encoding: base64

MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIPEzCCBykw
ggYRoAMCAQICAwPcUTANBgkqhkiG9w0BAQUFADCBjDELMAkGA1UEBhMCSUwxFjAUBgNVBAoTDVN0
YXJ0Q29tIEx0ZC4xKzApBgNVBAsTIlNlY3VyZSBEaWdpdGFsIENlcnRpZmljYXRlIFNpZ25pbmcx
ODA2BgNVBAMTL1N0YXJ0Q29tIENsYXNzIDEgUHJpbWFyeSBJbnRlcm1lZGlhdGUgQ2xpZW50IENB
MB4XDTEyMDMwNzIxMjUzMVoXDTEzMDMwOTE2MTMxM1owaTEZMBcGA1UEDRMQRnZ2UldwVTBBWmJh
N0xOdzEiMCAGA1UEAwwZY2xlbWVudHNAYnJpbmNrZXJob2ZmLm9yZzEoMCYGCSqGSIb3DQEJARYZ
Y2xlbWVudHNAYnJpbmNrZXJob2ZmLm9yZzCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEB
ANzG4UTqtJ5RQ05+IUzR2ozbby7hPkg/r7PJ9fho/kJFcb8AVlosUcczERcXgICBxNWi6m/4Ap8d
TlRb986B5fFraMQnF7uFXsBuXMN8wqOIjNPhHW+Mxf9PRNparYjZMCT88hT5Rf+eXG3yUi2a+DC2
rHClhtt4n9gt4K8vm8pSJRSmZZtuleXQKl0rnRpUHVemO8xDHr6cpn3d+npx/wFwjnGIAaCUSZqZ
2FdjkrPOf24JbEWbzwq5XRms0nTmUTZFCdbgj0nyAQp2XFqgSVO3IFRvUtsxHO35958voZVjxPaK
+nYnIs+jmvgVO5AuBvgXmr4QXUVmX+htehsZmCMCAwEAAaOCA7QwggOwMAkGA1UdEwQCMAAwCwYD
VR0PBAQDAgSwMB0GA1UdJQQWMBQGCCsGAQUFBwMCBggrBgEFBQcDBDAdBgNVHQ4EFgQUu+N1Sv+R
1NlG9RLqKsa0yT9tWyIwHwYDVR0jBBgwFoAUU3Ltkpzg2ssBXHx+ljVO8tS4UYIwJAYDVR0RBB0w
G4EZY2xlbWVudHNAYnJpbmNrZXJob2ZmLm9yZzCCAiEGA1UdIASCAhgwggIUMIICEAYLKwYBBAGB
tTcBAgIwggH/MC4GCCsGAQUFBwIBFiJodHRwOi8vd3d3LnN0YXJ0c3NsLmNvbS9wb2xpY3kucGRm
MDQGCCsGAQUFBwIBFihodHRwOi8vd3d3LnN0YXJ0c3NsLmNvbS9pbnRlcm1lZGlhdGUucGRmMIH3
BggrBgEFBQcCAjCB6jAnFiBTdGFydENvbSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eTADAgEBGoG+
VGhpcyBjZXJ0aWZpY2F0ZSB3YXMgaXNzdWVkIGFjY29yZGluZyB0byB0aGUgQ2xhc3MgMSBWYWxp
ZGF0aW9uIHJlcXVpcmVtZW50cyBvZiB0aGUgU3RhcnRDb20gQ0EgcG9saWN5LCByZWxpYW5jZSBv
bmx5IGZvciB0aGUgaW50ZW5kZWQgcHVycG9zZSBpbiBjb21wbGlhbmNlIG9mIHRoZSByZWx5aW5n
IHBhcnR5IG9ibGlnYXRpb25zLjCBnAYIKwYBBQUHAgIwgY8wJxYgU3RhcnRDb20gQ2VydGlmaWNh
dGlvbiBBdXRob3JpdHkwAwIBAhpkTGlhYmlsaXR5IGFuZCB3YXJyYW50aWVzIGFyZSBsaW1pdGVk
ISBTZWUgc2VjdGlvbiAiTGVnYWwgYW5kIExpbWl0YXRpb25zIiBvZiB0aGUgU3RhcnRDb20gQ0Eg
cG9saWN5LjA2BgNVHR8ELzAtMCugKaAnhiVodHRwOi8vY3JsLnN0YXJ0c3NsLmNvbS9jcnR1MS1j
cmwuY3JsMIGOBggrBgEFBQcBAQSBgTB/MDkGCCsGAQUFBzABhi1odHRwOi8vb2NzcC5zdGFydHNz
bC5jb20vc3ViL2NsYXNzMS9jbGllbnQvY2EwQgYIKwYBBQUHMAKGNmh0dHA6Ly9haWEuc3RhcnRz
c2wuY29tL2NlcnRzL3N1Yi5jbGFzczEuY2xpZW50LmNhLmNydDAjBgNVHRIEHDAahhhodHRwOi8v
d3d3LnN0YXJ0c3NsLmNvbS8wDQYJKoZIhvcNAQEFBQADggEBAHQX1t8P9NCkIlYtpVIyMONdoKu9
nQLEMyAQH4/c40i1Ke063TJFAd6LxJfK5VbVh9arJ8oE+it8IwGcp0hTjDUjpyZ4fFI04VOsQadY
oq1sHVZDw4++WlQSq2LoSYicsGaZZI71O13Vas1ldQwrVyfiXNZt9leXitAK24s5wleXk1PAE1lt
N9QzK8+g1VjGoagqC5ON3+u0szrlZEZKXd0Br5bYLNrIgKJZMR1tn2F+VhljPDRkSc8kxnEGPotB
bNKjLfP1AuoCWCyjk9fbROIS0gcplPo3sa1jyJZ4Rh6UfIyy5ejNy2m9JBOnEwuMZjqatGSamwzY
Tgop8qH6RScwggfiMIIFyqADAgECAgENMA0GCSqGSIb3DQEBBQUAMH0xCzAJBgNVBAYTAklMMRYw
FAYDVQQKEw1TdGFydENvbSBMdGQuMSswKQYDVQQLEyJTZWN1cmUgRGlnaXRhbCBDZXJ0aWZpY2F0
ZSBTaWduaW5nMSkwJwYDVQQDEyBTdGFydENvbSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eTAeFw0w
NzEwMjQyMTAxNTRaFw0xMjEwMjIyMTAxNTRaMIGMMQswCQYDVQQGEwJJTDEWMBQGA1UEChMNU3Rh
cnRDb20gTHRkLjErMCkGA1UECxMiU2VjdXJlIERpZ2l0YWwgQ2VydGlmaWNhdGUgU2lnbmluZzE4
MDYGA1UEAxMvU3RhcnRDb20gQ2xhc3MgMSBQcmltYXJ5IEludGVybWVkaWF0ZSBDbGllbnQgQ0Ew
ggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDHCYPMzi3YGrEppC4Tq5a+ijKDjKaIQZZV
R63UbxIP6uq/I0fhCu+cQhoUfE6ERKKnu8zPf1Jwuk0tsvVCk6U9b+0UjM0dLep3ZdE1gblK/1Fw
YT5Pipsu2yOMluLqwvsuz9/9f1+1PKHG/FaR/wpbfuIqu54qzHDYeqiUfsYzoVflR80DAC7hmJ+S
mZnNTWyUGHJbBpA8Q89lGxahNvuryGaC/o2/ceD2uYDX9U8Eg5DpIpGQdcbQeGarV04WgAUjjXX5
r/2dabmtxWMZwhZna//jdiSyrrSMTGKkDiXm6/3/4ebfeZuCYKzN2P8O2F/Xe2AC/Y7zeEsnR7FO
p+uXAgMBAAGjggNbMIIDVzAMBgNVHRMEBTADAQH/MAsGA1UdDwQEAwIBpjAdBgNVHQ4EFgQUU3Lt
kpzg2ssBXHx+ljVO8tS4UYIwgagGA1UdIwSBoDCBnYAUTgvvGqRAW6UXaYcwyjRoQ9BBrvKhgYGk
fzB9MQswCQYDVQQGEwJJTDEWMBQGA1UEChMNU3RhcnRDb20gTHRkLjErMCkGA1UECxMiU2VjdXJl
IERpZ2l0YWwgQ2VydGlmaWNhdGUgU2lnbmluZzEpMCcGA1UEAxMgU3RhcnRDb20gQ2VydGlmaWNh
dGlvbiBBdXRob3JpdHmCAQEwCQYDVR0SBAIwADA9BggrBgEFBQcBAQQxMC8wLQYIKwYBBQUHMAKG
IWh0dHA6Ly93d3cuc3RhcnRzc2wuY29tL3Nmc2NhLmNydDBgBgNVHR8EWTBXMCygKqAohiZodHRw
Oi8vY2VydC5zdGFydGNvbS5vcmcvc2ZzY2EtY3JsLmNybDAnoCWgI4YhaHR0cDovL2NybC5zdGFy
dHNzbC5jb20vc2ZzY2EuY3JsMIIBXQYDVR0gBIIBVDCCAVAwggFMBgsrBgEEAYG1NwEBBDCCATsw
LwYIKwYBBQUHAgEWI2h0dHA6Ly9jZXJ0LnN0YXJ0Y29tLm9yZy9wb2xpY3kucGRmMDUGCCsGAQUF
BwIBFilodHRwOi8vY2VydC5zdGFydGNvbS5vcmcvaW50ZXJtZWRpYXRlLnBkZjCB0AYIKwYBBQUH
AgIwgcMwJxYgU3RhcnQgQ29tbWVyY2lhbCAoU3RhcnRDb20pIEx0ZC4wAwIBARqBl0xpbWl0ZWQg
TGlhYmlsaXR5LCByZWFkIHRoZSBzZWN0aW9uICpMZWdhbCBMaW1pdGF0aW9ucyogb2YgdGhlIFN0
YXJ0Q29tIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IFBvbGljeSBhdmFpbGFibGUgYXQgaHR0cDov
L2NlcnQuc3RhcnRjb20ub3JnL3BvbGljeS5wZGYwEQYJYIZIAYb4QgEBBAQDAgAHMFAGCWCGSAGG
+EIBDQRDFkFTdGFydENvbSBDbGFzcyAxIFByaW1hcnkgSW50ZXJtZWRpYXRlIEZyZWUgU1NMIEVt
YWlsIENlcnRpZmljYXRlczANBgkqhkiG9w0BAQUFAAOCAgEAqprh4FuMzh0b/B3GLDAgoLeTJv3x
ArbNESi/Kf/HMM//gf8FzwUUNOCglH6dfYuLQQ/dTtOyMb4JoiL3T7xiVKEAOmQ+t+b/xLOMa0m1
8zoRqW4k6Glyoyvc7LMrdpgYk/lEh5nq8tPd9BoNmwiiheXphIVH/QelTgUkNzTC7IVpmYVsKuNO
nxE1jJFZNNfqZZK/5Oto7C6PfOut11KmBQSLZarAz0b/mjghdBsYfHuhdO8vrOvD0g5g7dA4pkOA
U2Ed4pSCowBSItyD/5aFwZ75ji6Yq7GCG3BpiyAP9st8h+inc0L+7kmrAMJaLMAmu6GZs5Xgsbzn
0wUJvbD9h5jnnMM9UaZDcxl2uLB04quGUWM6NiKGabbxQc680PYbeQrQu+e6J4uqNAxzoa5RxkBA
5a/3qlbgF9uJBekCqJswx5vQ9khJrs8UTMaIFzbEC5VGQziQH3/6KJ4DUP85OJEnCx/quShWA6w3
18LDnba3M6a5V+KoNLhsVi/TSxf90UbBqwdRR/cOwuGkNJh16NvvhIqO26osMg64CbZsDVrEDr7u
SMV40ieBJTo49Iyt77ECOhz/pyhowa2EUP6aKav+L/wXzAPB3LNqzujGR0K1pbyFWKvyYmdungJt
ySWUMw+R5DqpA2bFIOE56pfWPLHZxOL+8+r79PLFX+y2V6ExggNvMIIDawIBATCBlDCBjDELMAkG
A1UEBhMCSUwxFjAUBgNVBAoTDVN0YXJ0Q29tIEx0ZC4xKzApBgNVBAsTIlNlY3VyZSBEaWdpdGFs
IENlcnRpZmljYXRlIFNpZ25pbmcxODA2BgNVBAMTL1N0YXJ0Q29tIENsYXNzIDEgUHJpbWFyeSBJ
bnRlcm1lZGlhdGUgQ2xpZW50IENBAgMD3FEwCQYFKw4DAhoFAKCCAa8wGAYJKoZIhvcNAQkDMQsG
CSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTIwOTE4MTY1NTM3WjAjBgkqhkiG9w0BCQQxFgQU
xUewPQBpA2pb5V6JVr772DWFd/4wgaUGCSsGAQQBgjcQBDGBlzCBlDCBjDELMAkGA1UEBhMCSUwx
FjAUBgNVBAoTDVN0YXJ0Q29tIEx0ZC4xKzApBgNVBAsTIlNlY3VyZSBEaWdpdGFsIENlcnRpZmlj
YXRlIFNpZ25pbmcxODA2BgNVBAMTL1N0YXJ0Q29tIENsYXNzIDEgUHJpbWFyeSBJbnRlcm1lZGlh
dGUgQ2xpZW50IENBAgMD3FEwgacGCyqGSIb3DQEJEAILMYGXoIGUMIGMMQswCQYDVQQGEwJJTDEW
MBQGA1UEChMNU3RhcnRDb20gTHRkLjErMCkGA1UECxMiU2VjdXJlIERpZ2l0YWwgQ2VydGlmaWNh
dGUgU2lnbmluZzE4MDYGA1UEAxMvU3RhcnRDb20gQ2xhc3MgMSBQcmltYXJ5IEludGVybWVkaWF0
ZSBDbGllbnQgQ0ECAwPcUTANBgkqhkiG9w0BAQEFAASCAQCrR5zKPJ0Tt5Wgll5D9cnWWLnbXp1x
3Ulin48gKZJe3CGXH5W41U6kR4kBxMVSaIN07Pe/CgQkvxkjOldhCSbC9aboJOBXJkgbdf9HKAAv
5HIPecqhwiFth4m/6ij+tLWVNY2CO8vqiZCqJ5Tar3D4hlbq/xbsbWhDt/kcRxGIzAzP97tEbfjL
MXQHTqM5gDzR4ZJ3c0l1Gcd2hxk0i/gR26VF3u2++VNAWkEA0BRl2276WrLsBE4C1mkTmTlHDRKO
BicMB7rbAgx5+Wj+bf9AXTsDJpJpx+w6+WkvMRA/2beYpNQ6gIqoUKRAfGD4heSZF0OPwNnAzF4q
0DxfdyBLAAAAAAAA

--Apple-Mail=_E294C1D1-81B3-4458-916A-26A59BF1868F--

--===============0517044631==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

____________________
  Racket Users list:
  http://lists.racket-lang.org/users

--===============0517044631==--
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
