| import scala.annotation.implicitNotFound | |
| import scala.util._ | |
| import cats.implicits._ | |
| object domain { | |
| case class SimpleRecord(name: String, cl: Double) | |
| final case class ColumnDef[T](name: String, startIndex: Int, endIndexExclusive: Int, transformer: String ⇒ T) | |
| @implicitNotFound("Do not support transformation to type ${T}") |
| sealed trait Tree[+A] | |
| case object EmptyTree extends Tree[Nothing] { | |
| override def toString = "nil" | |
| } | |
| case class Node[A] (l: Tree[A], v: A, r: Tree[A]) extends Tree[A] | |
| object Tree { | |
| def empty[A]: Tree[A] = EmptyTree | |
| def node[A](value: A, left: Tree[A] = empty, right: Tree[A] = empty): Tree[A] | |
| = Node(left, value, right) |
| object Ex11 extends IOApp { | |
| def naiveParMapN[A, B] (io1: IO[A], io2: IO[B]): IO[(A, B)] = { | |
| io1.start.bracket { f1 => | |
| io2.start.bracket { f2 => | |
| for { | |
| a <- f1.join | |
| b <- f2.join | |
| } yield (a, b) | |
| }(_.cancel) | |
| }(_.cancel) |
| Junior | Middle | Senior | Architect | |
|---|---|---|---|---|
| Haskell level | Basic Haskell | Intermediate Haskell | Advanced Haskell | Language-agnostic |
| Haskell knowledge scope | Learn you a Haskell | Get programming in Haskell | Haskell in Depth | Knows several languages from different categories |
| Get programming in Haskell | Haskell in Depth | Functional Design and Architecture | ||
| Other books on Software Architecture in Haskell | ||||
| Haskell | Lambdas, functions, composition | Advanced |
| package org.xiaon | |
| import grizzled.slf4j.Logging | |
| import org.apache.flink.api.common.typeinfo.TypeInformation | |
| import org.apache.flink.api.java.utils.ParameterTool | |
| import org.apache.flink.streaming.api.TimeCharacteristic | |
| import org.apache.flink.streaming.api.functions.sink.SinkFunction | |
| import org.apache.flink.streaming.api.scala.StreamExecutionEnvironment | |
| import org.apache.flink.streaming.connectors.kafka.{FlinkKafkaConsumer011, FlinkKafkaProducer011} |
| object typeclass extends App { | |
| // Note: This domain model was given | |
| // Simplified version is as follows: | |
| sealed trait Attribute | |
| case class PageLoad (e: String) extends Attribute | |
| case class AdobeSinkableItem(e: String) extends Attribute | |
| case class WebtrekkSinkableItem(e: Int) extends Attribute |
| // WARNING! totally untested, I have only compiled the code! :) | |
| package json | |
| import collection.immutable.Map | |
| import scalaz.{\/, MonadPlus} | |
| import scalaz.\/._ | |
| import scalaz.std.vector._ | |
| import scalaz.std.map._ | |
| import scalaz.std.list._ |
I hereby claim:
To claim this, I am signing this object:
| // details: https://stackoverflow.com/questions/44159203/shapeless-checking-of-the-type-constraints-of-polymorphic-functions-lifted-ty | |
| import shapeless._ | |
| import ops.hlist._ | |
| import ops.function._ | |
| import syntax.std.function._ | |
| object ShapelessExample { | |
| case class Place[A](a: A) extends AnyVal |