3 ms·
Hence the ad-hoc part. I don't think people go into writing a type checker and type inferencer thinking they're gonna re-implement Prolog.
by dkarapetyan 10y ago
Hence the ad-hoc part. I don't think people go into writing a type checker and type inferencer thinking they're gonna re-implement Prolog.
- PeCaN 10y agoOTOH, if you're a Prolog programmer and you write a type checker, you rather quickly realize what's going on ;-)