Philip JF questions

Philip JF answers

• How strict is ST
• Choosing a minimum hash size for a given allowable number of collisions
• Coq intros syntax
• Porting extensible array indexing (Ix and family) to Java
• Private access with self-bounded generics
• Writing fusible O(1) update for vector
• Haskell Tree to List - preorder traversal
• How do I split a list of tuples into two lists in haskell using the map function?
• Haskell program to replicate elements in List
• Correct usage of the do notation