xgrommx

DSl'и и как писать большие программы на PureScript'е

Вступление

Приветы! Меня зовут Максим Зималиев, я работаю в SlamData и уже почти два с половиной года пилю в продакшн код на PureScript'е. Как и большинство пришедших в прекрасный мир ФП, я начинал со всяких там джаваскриптов, пхп и шарпов. Соответственно, у меня есть бывшие коллеги и друзья, которые по-прежнему работают на императивных языках, используют GoF, DDD и тому подобное.

Ну так вот, пойдешь такой пиво пить, и внезапно "Слушай, а как у вас в PureScript'е, например ORM запилить, объектов же нет?" Или: "Это здорово всё, но вот я домены описываю вот так вот, у них там поведение есть, а как это PureScript'е сделать?"

xgrommx

HDD

• http://bitemyapp.com/posts/2017-09-23-please-stop-using-typed-holes.html
• http://vaibhavsagar.com/blog/2017/05/22/discovering-continuations/
• http://matthew.brecknell.net/post/hole-driven-haskell/
• https://www.youtube.com/watch?v=52VsgyexS8Q
• https://wiki.haskell.org/GHC/Typed_holes
• https://github.com/maddogdavis/holey
• https://ghc.haskell.org/trac/ghc/wiki/Holes
• https://www.shimweasel.com/2015/02/17/typed-holes-for-beginners

xgrommx

-- I haven't been able to actually run the program (broken archlinux packages), but it typechecks

open import Data.String
open import Function
open import IO.Primitive

Either : Set → Set → Set₁
Either l r = {a : Set} → (l → a) → (r → a) → a 

Left  : { l r : Set } → l → Either l r

xgrommx

{-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-}

-- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html

module HRecursionSchemes where

import Control.Applicative
import Data.Functor.Identity
import Data.Functor.Const
import Text.PrettyPrint.Leijen hiding ((<>))

xgrommx

module Main where

import Prelude
import Type.Proxy
import Prim.Boolean as Boolean
import Type.Data.Peano as Peano
import Type.Data.Boolean (class If)
import Type.Data.Ordering (class Equals)
import Prim.Ordering (LT)

xgrommx

module Main where

import Prelude

import Type.Proxy
import Type.Data.Peano as Peano

type TypeExpr :: forall k. k -> Type
type TypeExpr a = Proxy a -> Type

xgrommx

test = map ((*) 2) >>> filter ((>) 15) >>> drop 3 >>> map show
src1 = [10, 9, 8, 7, 6, 5, 4, 3, 2, 1]
src2 = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

res1 = transduce' test src1 :: [String]
res2 = transduce' test src2 :: List String

xgrommx

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

module TLRecursionSchemes where

import qualified GHC.TypeLits as TL

xgrommx

const range1 = len => Object.keys(new Int8Array(len)).map(parseFloat);

const range2 = len => Array.apply(null, {length: len}).map(Number.call, Number);

const range3 = (start, end) => Array.apply(null, Array(end - start)).map((_, i) => start + i);

const range4 = (start, end) => [...Array(end - start)].map((_, i) => start + i);

const range5 = len => Object.keys(Array.apply(null, Array(len)));

xgrommx

A series of reading lists mostly related to functional programming.