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 | 4086 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 1 day ago
27 weeks 2 days ago
27 weeks 2 days ago
49 weeks 3 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago