# PureScript for JavaScript Developers - CT Wu 大會筆記

{%hackmd D_yXRZ3kQuiR5RjV0P_kPg %}

> 請等待大會開始

imperative ui

命令式的告訴電腦要show什麼東西

對於複雜的UI不是很實際的作法

可能會寫出交付錯雜的code

declarative ui

現在有很多熱門的framework react vue...

針對過去做一層抽象

要怎麼比較各framework要如何使用哪一套

會不會有一些我們還沒有發現的declaritive approach

前端演進很快 有沒有在更高的實作方式

是不是有一個更universal的方式

我們想在再抽象declative ui

基於這層抽象我們才更好去比較declative的approach或是找到新的approach

phil freeman purescript作者 提出兩頁的論文

comonadic

declarative UI are what to render

要怎麼在不同STATE之中做切換 其實就是最複雜的點 這層就是commonads要做的

comonads是一個描述空間的代數
不同的comonads有不同的空間 描述 點與點之間的關係與移動

每個情況構成一個點

每個點構成一個空間

點之間的移動等於user的interaction

點與點之間如何連結的方式就是每個framework的實作方式

不同的空間描述=不同的實作邏輯

type signature(purescript)

:: annotations型別宣告

new types can be created via type constrouctors

-> infix type constructor for functions

forall universal quantifier

type class 與 其他oop裡面的class是不同的概念 比較像interface但還是不太一樣

data is for define type

intance is for typeclass instances

"type" is for type alias

Comonad是一種typeclass

需要有兩種實作method

extract 將空間的任意的點抽出

duplicate 將空間提高一個圍度 在做操作

A Comonad is a Dual of Monad(倒轉箭頭)

Pairing把comonad與另外一個functor結合在一起
將新的維度與user的action 結合再一起

type UI m a (m Unit -> Effect Unit(side effect)) -> a (ui jsx for react example)

Explore Comonad Spaces
1. Init UI with init state
2. update ui state
3. udtate ui

這東西有甚麼用

1. 這東西很有趣
2. 研究現階段declative UI方式
3. 發現不同的declative UI方式

如何組合components

1. use monad transformers and comonad transformers

可以用在javascript嗎

可以使用fantasy land specification

結論:

學會更高的抽象，就能得到更強的表達能力，就能更廣泛的描述事情 learn once apply everywhere

###### tags: `#FEDC2018`