diff options
| author | Amir Saeid <amir@glgdgt.com> | 2026-02-15 17:25:19 +0000 |
|---|---|---|
| committer | Amir Saeid <amir@glgdgt.com> | 2026-02-15 17:25:19 +0000 |
| commit | 3e3b3596b4e0d720c68a2d3a3538055dae41a694 (patch) | |
| tree | 8eac8ab367f70dcc5078c7f88060cc14f99d6123 /public/post/2017-08-16-tapl | |
| parent | 2afe4ebe08385533c400467bdb280b7d5fbec1c7 (diff) | |
Convert from Jekyll
Diffstat (limited to 'public/post/2017-08-16-tapl')
| -rw-r--r-- | public/post/2017-08-16-tapl/index.html | 146 |
1 files changed, 146 insertions, 0 deletions
diff --git a/public/post/2017-08-16-tapl/index.html b/public/post/2017-08-16-tapl/index.html new file mode 100644 index 0000000..d0ce0d0 --- /dev/null +++ b/public/post/2017-08-16-tapl/index.html @@ -0,0 +1,146 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> + + <title>Types and Programming Languages | </title> + <meta name="viewport" content="width=device-width,minimum-scale=1"> + <meta name="description" content="February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed."> + <meta name="generator" content="Hugo 0.155.0"> + + + + <meta name="robots" content="index, follow"> + + + + +<link rel="stylesheet" href="/ananke/css/main.min.efe4d852f731d5d1fbb87718387202a97aafd768cdcdaed0662bbe6982e91824.css" > + + + + + + + + + + + + + + + + <link rel="canonical" href="https://blog.gluegadget.com/post/2017-08-16-tapl/"> + + + + + <meta property="og:url" content="https://blog.gluegadget.com/post/2017-08-16-tapl/"> + <meta property="og:title" content="Types and Programming Languages"> + <meta property="og:description" content="February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed."> + <meta property="og:locale" content="en"> + <meta property="og:type" content="article"> + <meta property="article:section" content="post"> + <meta property="article:published_time" content="2017-08-16T00:00:00+00:00"> + <meta property="article:modified_time" content="2017-08-16T00:00:00+00:00"> + <meta property="article:tag" content="Tapl"> + <meta property="article:tag" content="Rust"> + + <meta itemprop="name" content="Types and Programming Languages"> + <meta itemprop="description" content="February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed."> + <meta itemprop="datePublished" content="2017-08-16T00:00:00+00:00"> + <meta itemprop="dateModified" content="2017-08-16T00:00:00+00:00"> + <meta itemprop="wordCount" content="318"> + <meta itemprop="keywords" content="Tapl,Rust"> + <meta name="twitter:card" content="summary"> + <meta name="twitter:title" content="Types and Programming Languages"> + <meta name="twitter:description" content="February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed."> + + + + + + </head><body class="ma0 avenir bg-near-white production is-page is-page page-2017-08-16-tapl"> + + + + + <header> + <div class="bg-black"> + <nav class="pv3 ph3 ph4-ns" role="navigation"> + <div class="flex-l center items-center justify-between"> + <a href="/" class="f3 fw2 hover-white white-90 dib no-underline"> + + + + </a> + <div class="flex-l items-center"> + + + + <div class="ananke-socials"></div> + + </div> + </div> +</nav> + + </div> + </header> + + + + <main class="pb7" role="main"> + + + + <article class="page-2017-08-16-tapl flex-l mw7 center ph3 flex-wrap justify-between"> + <header class="mt4 w-100"> + <aside class="instapaper_ignoref b helvetica tracked ttu"> + + Posts + </aside><div id="sharing" class="mt3 ananke-socials"></div> +<h1 class="f1 athelas mt3 mb1">Types and Programming Languages</h1> + + + + <time class="f6 mv4 dib tracked" datetime="2017-08-16T00:00:00Z">August 16, 2017</time> + + + + + </header> + <div class="nested-copy-line-height lh-copy serif f4 nested-links mid-gray pr4-l w-100-l"><p>February 2016, as a birthday present to myself I bought a copy of <a href="https://www.cis.upenn.edu/~bcpierce/tapl/">Types and Programming Languages</a>. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed.</p> +<p>First of all, I should say that I’ve no academic background in computer science—I’ve studied Zoology. I easily get frightened by any text with more than a few lines of maths in it especially when it’s heavy on symbols which I don’t know, and Google doesn’t help. I’ve had many attempts at learning maths—watching YouTube videos, reading books—but I always gave up mostly due to lack of discipline in doing the exercises. A year ago I decided to do something about it and enrolled into DIT’s <a href="http://www.dt249.ie/">B.Sc. in Information Systems and Information Technology</a>. I thought if I’m paying a substantial amount of money for a class in a relatively well-established institute it might help. To my unwelcome surprise, the course isn’t heavy on maths, but it was an immense help, discipline-wise, nonetheless.</p> +<p>The second thing was that due to some unforeseen circumstances, all of a sudden I found myself with plenty of free time and I didn’t want to waste this once in a lifetime opportunity.</p> +<p>After deciding that I want to read the book and be rigorous in doing the exercises, I had to choose a programming language to do the exercises in, and I found it a good excuse to give Rust a try.</p> +<p>I also decided to publish my progress both as in <a href="https://github.com/amir/tapl.rs">code</a> as well as in a series of blog posts, as suggested by a wise man, <a href="http://iainhull.github.io/">Iain</a>. Hence this blog.</p> +<ul class="pa0"> + + <li class="list di"> + <a href="/tags/tapl/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">Tapl</a> + </li> + + <li class="list di"> + <a href="/tags/rust/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">Rust</a> + </li> + +</ul> + + + </div></article> + + </main> + <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo"> + <div class="flex justify-between"> + <a class="f4 fw4 hover-white white-70 dn dib-ns pv2 ph3 no-underline" href="https://blog.gluegadget.com/" > + © + </a> + <div><div class="ananke-socials"></div> +</div> + </div> +</footer> + + </body> +</html> |