plumenator

Interested in learning eLisp for Emacs, ever thought you should?

I wanted to learn eLisp but there are no decent beginners' book - so I decided to write one - and by decent I mean super-basic starting assuming you know nothing at all.

It is my 'official' side-project; something to work on when I am bored or blocked in my main work.

You can see how much progress I have made here:
http://learn-elisp-for-emacs.org/

The book will get written quicker if other people muck in.

plumenator

Keybase proof

I hereby claim:

• I am plumenator on github.
• I am plumenator (https://keybase.io/plumenator) on keybase.
• I have a public key ASBGXIYUW9_di31zOdpm7lJ8CN_fVWwbr6JtD9qfnnMiVQo

To claim this, I am signing this object:

plumenator

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

plumenator

Haskell Problems for a New Decade

[Haskell For a New Decade]

History of Haskell

[Wearing the hair shirt: a retrospective on Haskell (2003)]

plumenator

• http://typelevel.org/blog/2016/08/21/hkts-moving-forward.html
• http://spray.io/blog/2012-12-13-the-magnet-pattern/
• http://eed3si9n.com/revisiting-implicits-without-import-tax
• http://ktoso.github.io/scala-types-of-types/
• http://blog.scalac.io/2015/10/22/shapeless-and-monads.html
• http://www.cakesolutions.net/teamblogs/copying-sealed-trait-instances-a-journey-through-generic-programming-and-shapeless
• http://www.oweinreese.com/blog/2016/3/16/over-constraining-the-a
• http://www.oweinreese.com/blog/2016/2/21/a-type-level-proof-of-uniqueness
• http://jto.github.io/articles/getting-started-with-shapeless
• http://dev.sortable.com/flatmap-to-option/

plumenator

import scala.util.{Try, Success, Failure}

def f(s: String): Try[Int] = Try { s.toInt }
def g(i: Int): Try[Int] = Try { i * 2 }
def unit[T](v: T): Try[T] = Success(v)

//val v = "1" 
val v = "bad"
val m = Success(v)

plumenator

Edit: This list is now maintained in the rust-anthology repo.

• Introduction
  • Understanding Over Guesswork
  • An Alternative Introduction to Rust
  • Rust and CSV Parsing
• Ownership
  • Where Rust Really Shines
  • Rust Means Never Having to Close a Socket
• The Problem with Single-threaded Shared Mutability

plumenator

package fpmax

import scala.util.Try
import scala.io.StdIn.readLine

object App0 {
  def main: Unit = {
    println("What is your name?")

    val name = readLine()

plumenator

Originally:
https://gist.github.com/7565976a89d5da1511ce

Hi Donald (and Martin),

Thanks for pinging me; it's nice to know Typesafe is keeping tabs on this, and I
appreciate the tone. This is a Yegge-long response, but given that you and
Martin are the two people best-situated to do anything about this, I'd rather
err on the side of giving you too much to think about. I realize I'm being very
critical of something in which you've invested a great deal (both financially

plumenator

{-# LANGUAGE DeriveFunctor #-}

module Main where

type Algebra f a = f a -> a

type Coalgebra f a = a -> f a

newtype Fix f = In { out :: f (Fix f) }