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" (26) | Czepianie (27) | Klepanie (16) | LaTeX (5) | Narcyzm (11) | Niepoważne (13) | Stare (105) | Techblog (2) | Wynurzenia (32) | Top of page

Poprzednie