Skip to Main Content
http://nealar.livejournal.com/ (
nealar.livejournal.com
) wrote
in
lomeo
2007-04-11 10:11 am (UTC)
Re: Не понял, почему
Вот почему у меня определения вида data Untyped = Untyped (Untyped -> Untyped)
никогда в голову не помещались! Моск уходил в бесконечную рекурсию.
Получается, типы навроде Fun a = Fun (Fun a -> a) как раз для того всегда и делаются, чтоб обмануть тайпчекер?
(
45 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
Log in
Account name:
Password:
Remember me
Other options:
Forget your password?
Log in with OpenID?
Close
menu
Log in
Create
Create Account
Display Preferences
Explore
Interests
Directory Search
Site and Journal Search
Latest Things
Random Journal
Random Community
FAQ
Shop
Buy Dreamwidth Services
Gift a Random User
DW Merchandise
Interest
Region
Site and Account
FAQ
Email
Re: Не понял, почему
никогда в голову не помещались! Моск уходил в бесконечную рекурсию.
Получается, типы навроде Fun a = Fun (Fun a -> a) как раз для того всегда и делаются, чтоб обмануть тайпчекер?