<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="3.7.4">Jekyll</generator><link href="http://adamesterline.com/feed.xml" rel="self" type="application/atom+xml" /><link href="http://adamesterline.com/" rel="alternate" type="text/html" /><updated>2018-11-10T23:01:06+00:00</updated><id>http://adamesterline.com/</id><title type="html">adamesterline.com</title><subtitle>Random thoughts about software development</subtitle><entry><title type="html">The Plan</title><link href="http://adamesterline.com/2018/11/10/the-plan.html" rel="alternate" type="text/html" title="The Plan" /><published>2018-11-10T13:14:00+00:00</published><updated>2018-11-10T13:14:00+00:00</updated><id>http://adamesterline.com/2018/11/10/the-plan</id><content type="html" xml:base="http://adamesterline.com/2018/11/10/the-plan.html">&lt;p&gt;What is my plan for becoming a better functional programmer? Good question. I need to have a mix of
theory and practice. I am collecting books, videos, classes, and articles to help me on my journey.
I am currently working in Scala day to day, so most of my practice will be in Scala. I’ll host my
practice exercises on my &lt;a href=&quot;http://github.com/aesterline&quot;&gt;GitHub&lt;/a&gt; account. If you have suggestions for
other resources, I could use, please let me know.&lt;/p&gt;

&lt;!--more--&gt;

&lt;p&gt;Books&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://leanpub.com/fpmortals&quot;&gt;Functional Programming for Mortals&lt;/a&gt; - I’m starting here.&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://underscore.io/books/scala-with-cats/&quot;&gt;Scala with Cats&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://leanpub.com/thinking-with-types/?fbclid=IwAR2Hftf4ubCrqhb8rEyYlVjQ4W85KfDlD-UtqMhe6hrG7iIzO0j1_J0FvMQ&quot;&gt;Thinking with Types&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Articles&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://functional.works-hub.com/learn/typed-functional-programming-and-software-correctness-70b99&quot;&gt;Typed Functional Programming and Software Correctness&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://bartoszmilewski.com/2014/09/22/parametricity-money-for-nothing-and-theorems-for-free/&quot;&gt;Parametricity: Money for Nothing and Theorems for Free&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://pinboard.in/u:aesterline/t:fp/&quot;&gt;https://pinboard.in/u:aesterline/t:fp/&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Courses&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://courseware.epfl.ch/courses/course-v1:EPFL+progfun1+2018_T1/about&quot;&gt;Functional Programming Principles in Scala&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Videos&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://www.youtube.com/watch?v=IOiZatlZtGU&quot;&gt;“Propositions as Types” by Philip Wadler&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://www.youtube.com/watch?v=gui_SE8rJUM&quot;&gt;“Categories for the Working Hacker” by Philip Wadler&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://www.youtube.com/watch?v=sxudIMiOo68&quot;&gt;Fun(c) 2018.7: John De Goes - FP to the Max&lt;/a&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://www.youtube.com/watch?v=XONTFZ4afY0&quot;&gt;Kyiv Scala meetup v9 - Implementing a game using FP concepts by John A De Goes&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;</content><author><name></name></author><category term="fp" /><category term="categorytheory" /><summary type="html">What is my plan for becoming a better functional programmer? Good question. I need to have a mix of theory and practice. I am collecting books, videos, classes, and articles to help me on my journey. I am currently working in Scala day to day, so most of my practice will be in Scala. I’ll host my practice exercises on my GitHub account. If you have suggestions for other resources, I could use, please let me know.</summary></entry><entry><title type="html">Reboot!</title><link href="http://adamesterline.com/2018/11/10/blog-reboot.html" rel="alternate" type="text/html" title="Reboot!" /><published>2018-11-10T11:58:43+00:00</published><updated>2018-11-10T11:58:43+00:00</updated><id>http://adamesterline.com/2018/11/10/blog-reboot</id><content type="html" xml:base="http://adamesterline.com/2018/11/10/blog-reboot.html">&lt;p&gt;I haven’t blogged in a long time, but I think it is time. I need a reason to write regular posts, so
for the near future will be focusing on functional programming. I am interested in two themes in FP.&lt;/p&gt;

&lt;!--more--&gt;
&lt;ul&gt;
  &lt;li&gt;How can a good type system influence the way I write software? I want to have the experience of
“once I got this code to compile it just worked.”&lt;/li&gt;
  &lt;li&gt;What is category theory and how will it help me?&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;I am skeptical about both of these topics. My gut says that the overhead of both isn’t worth it in
most cases, but I haven’t taken a deep dive to learn them either. I think it is time. I feel like I
am currently missing something and that enlightened moment is just over the hill.&lt;/p&gt;

&lt;p&gt;If you have suggestions on how to get started, let me know.&lt;/p&gt;</content><author><name></name></author><summary type="html">I haven’t blogged in a long time, but I think it is time. I need a reason to write regular posts, so for the near future will be focusing on functional programming. I am interested in two themes in FP.</summary></entry></feed>