Prolog Typechecker

Stare

Na swojej stronie umieściłem typechecker, nad którym pracowałem od kilku miesięcy. Wyniki mojej pracy możnaby podsumować 2 zdaniami:

• Dopóki dopuszczamy tylko klasyczne typy, to wszystko śmiga w tempie nie przekraczającym mgnienia oka.
• Jak zaczynamy bawić się w typy, które potrafią wyrazić jakieś dodatkowe właściwości argumentów, wszystko zaczyna się makabrycznie komplikować...dość chyba powiedzeć, że typowanie quicksorta na moim komputerze trwało ponad 1,5 minuty.

01 kwietnia 2006, 18:15:02

Komentarze

Kategorie:

"Zachód" (29) | Czepianie (42) | Klepanie (18) | LaTeX (8) | Narcyzm (11) | Niepoważne (15) | Stare (102) | Techblog (5) | Wynurzenia (43) | Zagadka (5) | Top of page

Poprzednie

Blogroll