User loginNavigation 
Generating nested data types at runtimeHi, I'm currently implementing an algorithm which allows one to synthesise coalgebras given various local/global specifications, these being coalgebras of a covariant endofunctor T on Set^m where Set is the category of sets and m >= 0. I have a problem regarding the genericity of what I am trying to implement, which I hope someone can shed some light on. Although I'm using Haskell, I'd be interested if any other languages are capable of what I ask. My problem is not with the algorithm itself but rather with an initial preprocessing stage. In general terms I want to construct a collection of interleaving data types given some specification of how they need to be interleaved. This needs to happen at runtime. Previously for my MSc I implemented a fragment of this algorithm, at that time I got round this problem by generating the Haskell code with a script  kind of an ugly solution. On the other hand I guess its hardly a common thing for the user to create their own data types. I'd very much appreciate any pointers, Cheers, Rob By rob myers at 20090223 01:01  LtU Forum  previous forum topic  next forum topic  other blogs  4546 reads

Browse archivesActive forum topics 
Recent comments
14 hours 42 min ago
20 hours 37 min ago
22 hours 33 min ago
1 day 8 hours ago
3 days 4 hours ago
4 days 11 hours ago
4 days 11 hours ago
6 days 8 hours ago
6 days 20 hours ago
1 week 2 days ago