I'm stuck at Great Keppel Island. Autopilot has bitten the dust.
No crew.
Anyhow I just realised monomorphisation, including "cloning"
during inlining, defeats the reduction feature.
For example
reduce[T] double_rev(x:list[T]) : rev (rev x) => x;
will not work if list[T] with T->int changes the type to list_of_int
and the rev functions to rev_of_int (dummy names for the monomorphic
type and function synthesised by the compiler).
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer
http://p.sf.net/sfu/Zoho
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
