tag:blogger.com,1999:blog-178174920347765771.post3619684065550557457..comments2023-10-30T09:20:21.742-07:00Comments on One Div Zero: Phantom Types In Haskell and ScalaJames Iryhttp://www.blogger.com/profile/02835376424060382389noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-178174920347765771.post-17421380317914341462012-08-24T14:09:22.383-07:002012-08-24T14:09:22.383-07:00I want to do this but suppose you had lots of othe...I want to do this but suppose you had lots of other parameters that you want to check at various specific points. Unfortunately you are then carrying around a lot of phantom type parameters. Would it be possible in Haskell to combine them in a single blob somehow?<br /><br />This seems to answer the question for Scala, but I'm not using that!<br /><br />https://gist.github.com/2880013Ben Cnoreply@blogger.comtag:blogger.com,1999:blog-178174920347765771.post-84418856943751938752011-10-19T02:21:27.673-07:002011-10-19T02:21:27.673-07:00can this be more complicatedcan this be more complicatedJamesbangganoreply@blogger.comtag:blogger.com,1999:blog-178174920347765771.post-3319302244299096442011-02-11T19:22:48.524-08:002011-02-11T19:22:48.524-08:00Great post! :)Great post! :)ssanjnoreply@blogger.comtag:blogger.com,1999:blog-178174920347765771.post-44585914526083456462011-02-05T06:14:42.052-08:002011-02-05T06:14:42.052-08:00I wonder what bytecode will be produced by the Sca...I wonder what bytecode will be produced by the Scala compiler. How much of that stuff will be optimized away?Matthias J. Déjàhttp://twitter.com/madoc_eunoreply@blogger.com