1
Czy typ prawidłowych wykresów można zakodować w Dhall?
Chciałbym reprezentować wiki (zestaw dokumentów zawierający ukierunkowany wykres) w Dhall. Te dokumenty zostaną wyrenderowane w formacie HTML i chciałbym zapobiec generowaniu niedziałających linków. Moim zdaniem można to osiągnąć albo przez to, że nieprawidłowe wykresy (wykresy z linkami do nieistniejących węzłów) nie będą reprezentowalne przez system typów, albo przez napisanie funkcji …