Martin,
| In my previous example I employed FD's to
| improve constraints. However, there are cases where FD's seem
| to be overly restrictive.
Yes, of course! So it will be for any extension of the
type system that retains both decidability and soundness.
The particular form of "improvement"
Hi,
yet again FD's! In my previous example I employed FD's to improve
constraints. However, there are cases where FD's seem to be overly
restrictive. Take a look at the Haskell code below. Have others
made similar experiences?
Martin
-- FDs are sometimes overly restrictive
module Insert where
