ajnsit

module Main where

import Prelude

import Concur.Core (Widget)
import Concur.Core.FRP (Signal, debounce, display, dyn)
import Concur.React (HTML)
import Concur.React.DOM as D
import Concur.React.Props as P
import Data.Foldable (class Foldable, fold)

ajnsit

Things on the horizon for Concur (In no particular order)

1. UI Components
2. 7GUIs
3. Realworld Concur
4. Formless
5. Select
6. Hyper
7. Benchmark
8. Bootstrap

ajnsit

Some Small Syntactic Tricks for Purescript

Pointfree

-- Given a simple 2 arg function
minus :: Int -> Int -> Int
minus x y = x - y

-- We can easily paramterise on the second argument

ajnsit

--==============================
-- Send Keynote Text to Desktop Markdown File
-- Writted By: Richard Dooling https://github.com/RichardDooling/
-- Based on 
-- Send Keynote Presenter Notes to Evernote
-- Version 1.0.1
-- Written By: Ben Waldie <ben@automatedworkflows.com>
-- http://www.automatedworkflows.com

-- Version 1.0.0 - Initial release

ajnsit

-- First steps -
-- Install Stack tool - haskellstack.org
-- Then do - stack setup, and stack ghci.

-- Haskell language basics - I

-- Conceptually functions are values, values are (no-arg) functions
-- The following can be considered a function with no arguments
alwaysOne = 1

ajnsit

λ git clone https://github.com/data61/fp-course.git
Cloning into 'fp-course'...
remote: Counting objects: 7646, done.
remote: Compressing objects: 100% (20/20), done.
remote: Total 7646 (delta 17), reused 22 (delta 12), pack-reused 7614
Receiving objects: 100% (7646/7646), 3.67 MiB | 257.00 KiB/s, done.
Resolving deltas: 100% (4096/4096), done.

λ cd fp-course

ajnsit

{-# LANGUAGE MultiParamTypeClasses, ExistentialQuantification, ScopedTypeVariables, FlexibleInstances, FlexibleContexts, UndecidableInstances #-}
import Control.Applicative
import Control.Monad.IO.Class
import Control.Monad.Trans
import GHC.Conc
import System.IO.Unsafe
import Data.IORef
import Control.Concurrent.MVar
import qualified Data.Map as M 
import Data.Typeable

ajnsit

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Language.HigherRank.Main
  ( Expr(..)
  , EVar(..)
  , Type(..)
  , TVar(..)
  , TEVar(..)
  , runInfer
  ) where

ajnsit

{-# LANGUAGE ExistentialQuantification, DeriveFunctor, StandaloneDeriving, TupleSections #-}
module Request where

import Data.Maybe (fromMaybe)

import Control.Monad (ap, liftM)
import Control.Monad.Trans.Class (MonadTrans, lift)

import Control.Applicative (Alternative(..))

ajnsit

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