- About Scala
- Documentation
- Code Examples
- Software
- Scala Developers
matching my types
Fri, 2011-10-21, 23:02
Hi,
I'm doing some magik with squeryl to bulk insert things that depend on primary keys from inserting other things. While doing this I build a structure of type: Map[Table[_], List[(Long => _)]]. This stores a table together with a load of functions for making instances that should be inserted into this table. Of course, this type signature is overly lax. What I want, with abuse of notation, is something like: Map[T? Table[T], List[Long=>T]] where each table/list pair match on type, but each pair are independently typed. The number of tables that each map deals with will be very small, so I don't need to use Map for efficiency reasons - a linear scan through some other structure would surfice.
Is there some way to express this that is more type-safe?
Thanks,
Matthew
--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle University mailto: turingatemyhamster@gmail.comgchat: turingatemyhamster@gmail.com msn: matthew_pocock@yahoo.co.ukirc.freenode.net: drdozertel: (0191) 2566550 mob: +447535664143
I'm doing some magik with squeryl to bulk insert things that depend on primary keys from inserting other things. While doing this I build a structure of type: Map[Table[_], List[(Long => _)]]. This stores a table together with a load of functions for making instances that should be inserted into this table. Of course, this type signature is overly lax. What I want, with abuse of notation, is something like: Map[T? Table[T], List[Long=>T]] where each table/list pair match on type, but each pair are independently typed. The number of tables that each map deals with will be very small, so I don't need to use Map for efficiency reasons - a linear scan through some other structure would surfice.
Is there some way to express this that is more type-safe?
Thanks,
Matthew
--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle University mailto: turingatemyhamster@gmail.comgchat: turingatemyhamster@gmail.com msn: matthew_pocock@yahoo.co.ukirc.freenode.net: drdozertel: (0191) 2566550 mob: +447535664143
