Jason (jcreed) wrote,
Jason
jcreed

-

Thinking about this language thing again.
The idea of pseudo-type-judgements being
proven by a combination of the compiler's
and programmer's effort seems like it might
really be useful.
I wonder if a careful semantic description
of how malloc should behave has been done?
Probably.
Still not sure how to think about
recursivity with non-(finite or integer) types.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments