User loginNavigation |
FP, auto-generated code..I read that one of the big things about F.P is the ability to reason about programs/prove them; is there also much more scope for code-generation.. automatically filling in the gaps after manually transforming one part of a system lets say you have a known datastructure X and some known function F my question is, in the functional programming world is there the ability to auto-generate 'H' given 'F' & 'G' (i guess even the ability to verify manually written functions fit the bill would be usefull) has this sort of thing been used in practice to solve any real word problems, at what level of complexity.. Any pointers for things to read up on along these lines. By ceti331 at 2009-08-19 13:39 | LtU Forum | previous forum topic | next forum topic | other blogs | 4040 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 6 hours ago
51 weeks 4 days ago
51 weeks 4 days ago