Hi Simon,
> The paper on System FC [1] has an operational semantics. Would that do?
It seems like a start. It doesn't matter much, since I don't have any time
left to actually work on this, but I wanted to verify my claim in my report
that no directly usable semantics are available :-)
Gr.
Ma
GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
Prelude> let f x = x*x
Prelude> let g x y = x+y
Prelude> let q x y = (f . g) x y
Prelude> :t q
q ::
On Sun, Dec 06, 2009 at 10:57:58PM -0600, Zachary Turner wrote:
> GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help
> Loading package ghc-prim ... linking ... done.
> Loading package integer ... linking ... done.
> Loading package base ... linking ... done.
> Prelude> let f x = x*x
> P
