Were you at ETL? The prop group I was in at Morgan used q/kdb+, which was great for a lot of things but did cause some trip-ups that static typing would have prevented. My group eventually shut down and I left the firm, but I had heard Morgan was looking into F# to use company-wide. (I used Ada in a previous life, so I know full-well the benefits of strong typing.)
