knutwalker

#!/usr/bin/env scalas

// Run with conscript: http://www.scala-sbt.org/0.13/docs/Scripts.html
// Example run:
// 
// $ ./typed-breakage.scala
//   [state-1]: count = 21776 (should be 10000)
//   [state-3]: count = 28473 (should be 10000)
//   [state-2]: count = 29454 (should be 10000)

knutwalker

import shapeless._
import shapeless.tag._
import shapeless.labelled._

import scala.annotation.implicitNotFound

object Pluck {

  trait FindByName[L <: HList, K] extends DepFn1[L] {
    type Out

knutwalker

class CreditCard {
  def charge(price: Double): Unit =
    println(s"side effect ${##}")
}

case class Coffee(name: String = "Venti Tall Latte with Grande Soy Frappucino Whip Cream Extra Beans") {
  def price: Double = 13.37
}

knutwalker

/*
 * Based on http://stackoverflow.com/a/31641779/2996265
 *
 * Changed:
 *   - use https://github.com/knutwalker/validation to accumulate errors
 *   - support lists as well (polymorphic on higher kinds would be better, though)
 *   - use -Xexperimental for java8 style SAM support
 */

knutwalker

sealed trait Thingy[+A] {
  def bla(x: String): String
  val bla2: String ⇒ String = bla
}
case class Good[A](x: A) extends Thingy[A] { def bla(x: String) = x }
case class Bad(t: String) extends Thingy[Nothing] { def bla(x: String) = t }

object Thingy {
  def good1[A](x: A): Thingy[A] = Good(x)

knutwalker

λ> enumFromThenTo 3 9 50
[3,9,15,21,27,33,39,45]
it :: (Enum a, Num a) => [a]

λ> enumFromThenTo 'A' 'C' 'I'
"ACEGI"
it :: [Char]

λ> data Foo = A | B | C | D | E | F | G | H | I deriving (Enum,Show)
λ> enumFromThenTo A C I

knutwalker

{-# LANGUAGE DeriveGeneric     #-}
{-# LANGUAGE OverloadedStrings #-}

module Main where

import           Control.Applicative        ((<$>), (<*>))
import           Control.Monad              (mzero)
import           Data.Aeson
import           Data.Aeson.Types           (emptyObject)
import qualified Data.ByteString.Lazy.Char8 as BL