�ݺ�ߣshows by User: fronx

�ݺ�ߣshows by User: fronx / http://www.slideshare.net/images/logo.gif �ݺ�ߣshows by User: fronx / Fri, 15 Apr 2016 21:51:34 GMT �ݺ�ߣShare feed for �ݺ�ߣshows by User: fronx Code as a Thinking Tool /slideshow/code-as-a-thinking-tool/60974633 codeasathinkingtool-160415215134
We tend to think of programming languages as the stuff that we make programs with that can run on computers. However, there is a different purpose they can be used for: structuring thought. In this talk, I will talk about my experience using ‪#‎Haskell‬ as a way to talk clearly and precisely about domains and functions that live within and connect them, even if the program itself is implemented in a different language.]]>
We tend to think of programming languages as the stuff that we make programs with that can run on computers. However, there is a different purpose they can be used for: structuring thought. In this talk, I will talk about my experience using ‪#‎Haskell‬ as a way to talk clearly and precisely about domains and functions that live within and connect them, even if the program itself is implemented in a different language.]]> Fri, 15 Apr 2016 21:51:34 GMT /slideshow/code-as-a-thinking-tool/60974633 fronx@slideshare.net(fronx) Code as a Thinking Tool fronx We tend to think of programming languages as the stuff that we make programs with that can run on computers. However, there is a different purpose they can be used for: structuring thought. In this talk, I will talk about my experience using ‪#‎Haskell‬ as a way to talk clearly and precisely about domains and functions that live within and connect them, even if the program itself is implemented in a different language. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/codeasathinkingtool-160415215134-thumbnail.jpg?width=120&height=120&fit=bounds" /> We tend to think of programming languages as the stuff that we make programs with that can run on computers. However, there is a different purpose they can be used for: structuring thought. In this talk, I will talk about my experience using ‪#‎Haskell‬ as a way to talk clearly and precisely about domains and functions that live within and connect them, even if the program itself is implemented in a different language.

Code as a Thinking Tool from Fronx Wurmus

]]> 418 4 https://cdn.slidesharecdn.com/ss_thumbnails/codeasathinkingtool-160415215134-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 types, types, types /slideshow/types-types-types/36963165 dev-salon-types-types-types-140714124132-phpapp02
In a weird parallel world where programming is based on type theory, every term has a type, if you declare it or not, every function has a type, and polymorphic functions can't know the type of their argument or see what's inside. Even if you don't use languages from that world, they can still be an inspiration.]]>
In a weird parallel world where programming is based on type theory, every term has a type, if you declare it or not, every function has a type, and polymorphic functions can't know the type of their argument or see what's inside. Even if you don't use languages from that world, they can still be an inspiration.]]> Mon, 14 Jul 2014 12:41:32 GMT /slideshow/types-types-types/36963165 fronx@slideshare.net(fronx) types, types, types fronx In a weird parallel world where programming is based on type theory, every term has a type, if you declare it or not, every function has a type, and polymorphic functions can't know the type of their argument or see what's inside. Even if you don't use languages from that world, they can still be an inspiration. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/dev-salon-types-types-types-140714124132-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds" /> In a weird parallel world where programming is based on type theory, every term has a type, if you declare it or not, every function has a type, and polymorphic functions can't know the type of their argument or see what's inside. Even if you don't use languages from that world, they can still be an inspiration.

types, types, types from Fronx Wurmus

]]> 1078 2 https://cdn.slidesharecdn.com/ss_thumbnails/dev-salon-types-types-types-140714124132-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Lazy evaluation /fronx/lazy-evaluation lazyevaluation-140203134257-phpapp01
]]>
]]> Mon, 03 Feb 2014 13:42:57 GMT /fronx/lazy-evaluation fronx@slideshare.net(fronx) Lazy evaluation fronx <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lazyevaluation-140203134257-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds" />

Lazy evaluation from Fronx Wurmus

]]> 1149 2 https://cdn.slidesharecdn.com/ss_thumbnails/lazyevaluation-140203134257-phpapp01-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 Introduction to Clojure's STM /slideshow/introduction-to-clojures-stm/10596211 clojure-stm-111214175555-phpapp02
]]>
]]> Wed, 14 Dec 2011 17:55:53 GMT /slideshow/introduction-to-clojures-stm/10596211 fronx@slideshare.net(fronx) Introduction to Clojure's STM fronx <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/clojure-stm-111214175555-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds" />

Introduction to Clojure's STM from Fronx Wurmus

]]> 4304 4 https://cdn.slidesharecdn.com/ss_thumbnails/clojure-stm-111214175555-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 How to make_friends_with_odd_meters__fronx_(1) /slideshow/how-to-makefriendswithoddmetersfronx1/5816101 howtomakefriendswithoddmetersfronx1-101117170834-phpapp01
]]>
]]> Wed, 17 Nov 2010 17:08:27 GMT /slideshow/how-to-makefriendswithoddmetersfronx1/5816101 fronx@slideshare.net(fronx) How to make_friends_with_odd_meters__fronx_(1) fronx <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/howtomakefriendswithoddmetersfronx1-101117170834-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds" />

How to make_friends_with_odd_meters__fronx_(1) from Fronx Wurmus

]]> 322 1 https://cdn.slidesharecdn.com/ss_thumbnails/howtomakefriendswithoddmetersfronx1-101117170834-phpapp01-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://cdn.slidesharecdn.com/profile-photo-fronx-48x48.jpg?cb=1522997394 fronx fronx.de https://cdn.slidesharecdn.com/ss_thumbnails/codeasathinkingtool-160415215134-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/code-as-a-thinking-tool/60974633 Code as a Thinking Tool https://cdn.slidesharecdn.com/ss_thumbnails/dev-salon-types-types-types-140714124132-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/types-types-types/36963165 types, types, types https://cdn.slidesharecdn.com/ss_thumbnails/lazyevaluation-140203134257-phpapp01-thumbnail.jpg?width=320&height=320&fit=bounds fronx/lazy-evaluation Lazy evaluation