index.xml

<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>stefshine's playground</title><link>https://stankoua.github.io/</link><description>Recent content on stefshine's playground</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><lastBuildDate>Sat, 26 Oct 2019 05:00:00 +0200</lastBuildDate><atom:link href="https://stankoua.github.io/index.xml" rel="self" type="application/rss+xml"/><item><title>GADTs By Use Cases</title><link>https://stankoua.github.io/posts/en/gadts_by_use_cases/</link><pubDate>Sat, 26 Oct 2019 05:00:00 +0200</pubDate><guid>https://stankoua.github.io/posts/en/gadts_by_use_cases/</guid><description>This workshop will be presented at ScalaIO 2019, in Lyon (France), on Tuesday the 29th of October at 9am by Christophe Calvès and I.
Welcome. This session will introduce you to a very powerful tool in programming. Whereas most introduction start by presenting its theoretical foundations in a very formal way, we chose to present it via short examples and practical use cases.
This workshop is made of three parts. The last one presents three of the most valuable use cases.</description></item><item><title>My Talks</title><link>https://stankoua.github.io/en/conference-work/</link><pubDate>Wed, 23 Oct 2019 23:44:37 +0200</pubDate><guid>https://stankoua.github.io/en/conference-work/</guid><description>Conferences Here I gather things I&amp;rsquo;ve done in programming communities (conferences, meetups&amp;hellip;).
Talks Here are some of the talks I gave:
Specializing the Reader monad for pure Database Programming: Scala IO 2018.
Polymorphism: This is not even my final form (slides): ScalaUA 2020.
Polymorphism: Wait until you see my TRUE power! (slides): Scala Love 2020.
Workshops The workshop I collaborated on:
GADTs By Use Cases</description></item><item><title>About</title><link>https://stankoua.github.io/en/about/</link><pubDate>Wed, 23 Oct 2019 23:22:30 +0200</pubDate><guid>https://stankoua.github.io/en/about/</guid><description>Welcome to stefshine&amp;rsquo;s playground Hello dear visitor, my name is Stéphane TANKOUA. I&amp;rsquo;m a software engineer keen on programming, especially functional programming. I&amp;rsquo;m a scala fluent (I think) programmer, a haskell wannabe.
On this blog I will share with you some interesting thoughts I&amp;rsquo;ve been througth during my journey of learning functional programming and type systems.
Come and say hi on Twitter where I sometimes express some thoughts. You can see some of the ugly things I do on my Github page.</description></item><item><title>Hello Word Post</title><link>https://stankoua.github.io/posts/en/hello-world-post/</link><pubDate>Thu, 17 Oct 2019 10:44:10 +0200</pubDate><guid>https://stankoua.github.io/posts/en/hello-world-post/</guid><description>Hello Word Post Here is a simple Hello Word app in Scala:
object Main extends App { def main(args: Array[String]): Unit = println(&amp;#34;Hello World&amp;#34;) } And in Haskell:
module Main where main :: IO () main = putStrLn &amp;#34;Hello World&amp;#34; It was tough, isn&amp;rsquo;t it ? That&amp;rsquo;s all for the joke, we will see more interesting things in the next posts.</description></item></channel></rss>