adilakhter

sealed trait Interact[A]

case class Ask(prompt: String)
  extends Interact[String]

case class Tell(msg: String)
  extends Interact[Unit]

trait Monad[M[_]] {
  def pure[A](a: A): M[A]

adilakhter

trait State[S, A] {
  val run: S => (S, A)

  def apply(s: S): (S, A) =
    run(s)

  def eval(s: S): A =
    apply(s)._2

adilakhter

import scalaz.effect.IO
import scalaz.std.function._
import scalaz.{Coyoneda, Free, Monad, State, ~>}

object NonFunctor extends App {
  // my simple algebra
  sealed trait Console[A]
  case class PrintLine(msg: String) extends Console[Unit]
  case object ReadLine extends Console[String]

adilakhter

import scalaz._
import Scalaz._
import Free._

/** "Pure" interactions with a console. */
sealed trait Console[+A]
case class GetLine[A](k: String => A) extends Console[A]
case class PutLine[A](s: String, a: A) extends Console[A]

object Console {

adilakhter

Advanced Functional Programming with Scala - Notes

Copyright © 2017 Fantasyland Institute of Learning. All rights reserved.

1. Mastering Functions

A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.

val square : Int => Int = x => x * x

adilakhter

#!/usr/bin/env amm

load.ivy("org.typelevel" %% "cats" % "0.7.0")

@

import cats.{Id, ~>}
import cats.data.State
import cats.free._
import cats.free.Free._

adilakhter

#Haskell, Stack and Intellij IDEA IDE setup tutorial how to get started Upon completion you will have a sane, productive Haskell environment adhering to best practices.

Basics

• Haskell is a programming language.
• Stack is tool for Haskell projects. (similar tools for other languages include Maven, Gradle, npm, RubyGems etc)
• Intellij IDEA IDE is a popular IDE.

Download and extract Stack

Don't install Haskell, Stack, Cabal or any other Haskell tool or library using your OS package manager or using Cabal.

adilakhter

package test

import scala.collection.mutable
import scala.reflect.ClassTag

/**
  * A Source of elements of type [[A]].
  *
  * [[Source]] is basically the inverse of
  * a `scala.Iterator`: instead of the core functionality being the pull-based

adilakhter

// 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._

adilakhter

Haskell Getting Started

Install Haskell Platform

• Install Haskell Platform

VS Code

• Install Visual Studo Code
• Install VS Code Plugin Haskell Syntax Highlighting