ºÝºÝߣshows by User: jonsterling / http://www.slideshare.net/images/logo.gif ºÝºÝߣshows by User: jonsterling / Tue, 12 Aug 2014 15:55:03 GMT ºÝºÝߣShare feed for ºÝºÝߣshows by User: jonsterling Galois Tech Talk / Vinyl: Records in Haskell and Type Theory /slideshow/galois-tech-talk-vinyl-records-in-haskell-and-type-theory/37927528 talk-140812155503-phpapp02
Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility, effects and strictness. I describe how Vinyl approaches record families over arbitrary key spaces using a Tarski universe construction, as well as a method for immersing each field of a record in a chosen effect modality. Also discussed are presheaves, sheaves and containers.]]>
Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility, effects and strictness. I describe how Vinyl approaches record families over arbitrary key spaces using a Tarski universe construction, as well as a method for immersing each field of a record in a chosen effect modality. Also discussed are presheaves, sheaves and containers.]]> Tue, 12 Aug 2014 15:55:03 GMT /slideshow/galois-tech-talk-vinyl-records-in-haskell-and-type-theory/37927528 jonsterling@slideshare.net(jonsterling) Galois Tech Talk / Vinyl: Records in Haskell and Type Theory jonsterling Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility, effects and strictness. I describe how Vinyl approaches record families over arbitrary key spaces using a Tarski universe construction, as well as a method for immersing each field of a record in a chosen effect modality. Also discussed are presheaves, sheaves and containers. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/talk-140812155503-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility, effects and strictness. I describe how Vinyl approaches record families over arbitrary key spaces using a Tarski universe construction, as well as a method for immersing each field of a record in a chosen effect modality. Also discussed are presheaves, sheaves and containers.
Galois Tech Talk / Vinyl: Records in Haskell and Type Theory from jonsterling
]]> 2316 9 https://cdn.slidesharecdn.com/ss_thumbnails/talk-140812155503-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Programming in Vinyl (BayHac 2014) /slideshow/programming-in-vinyl-bayhac-2014/35571607 talk-140606100042-phpapp02
Introduction to Vinyl 0.4 and its denotation in Type Theory.]]>
Introduction to Vinyl 0.4 and its denotation in Type Theory.]]> Fri, 06 Jun 2014 10:00:42 GMT /slideshow/programming-in-vinyl-bayhac-2014/35571607 jonsterling@slideshare.net(jonsterling) Programming in Vinyl (BayHac 2014) jonsterling Introduction to Vinyl 0.4 and its denotation in Type Theory. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/talk-140606100042-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Introduction to Vinyl 0.4 and its denotation in Type Theory.
Programming in Vinyl (BayHac 2014) from jonsterling
]]> 688 2 https://cdn.slidesharecdn.com/ss_thumbnails/talk-140606100042-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 modularity à la taliban /slideshow/modularity-a-la-taliban/35570921 modularityalataliban-140606094148-phpapp02
A tract on modular and compositional design for Objective-C projects]]>
A tract on modular and compositional design for Objective-C projects]]> Fri, 06 Jun 2014 09:41:48 GMT /slideshow/modularity-a-la-taliban/35570921 jonsterling@slideshare.net(jonsterling) modularity à la taliban jonsterling A tract on modular and compositional design for Objective-C projects <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/modularityalataliban-140606094148-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> A tract on modular and compositional design for Objective-C projects
modularity à la taliban from jonsterling
]]> 774 2 https://cdn.slidesharecdn.com/ss_thumbnails/modularityalataliban-140606094148-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://public.slidesharecdn.com/v2/images/profile-picture.png https://cdn.slidesharecdn.com/ss_thumbnails/talk-140812155503-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/galois-tech-talk-vinyl-records-in-haskell-and-type-theory/37927528 Galois Tech Talk / Vin... https://cdn.slidesharecdn.com/ss_thumbnails/talk-140606100042-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/programming-in-vinyl-bayhac-2014/35571607 Programming in Vinyl (... https://cdn.slidesharecdn.com/ss_thumbnails/modularityalataliban-140606094148-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/modularity-a-la-taliban/35570921 modularity à la taliban