1
|
import{_ as r}from"./slidev/VClicks-BJgSDv3Q.js";import{o as u,c as i,k as a,e,l as p,aa as c,q as d,s as m,I as l}from"./modules/vue-DPv8DyWv.js";import{I as _}from"./slidev/default-DYfprxyr.js";import{u as f,f as x}from"./slidev/context-DlCOjm-I.js";import"./monaco/bundled-types-B0l6HWZX.js";import"./modules/file-saver-igGfcqei.js";import"./index-Da-oe7Cw.js";import"./modules/shiki-BNMsYMPq.js";const h={__name:"slides.md__slidev_5",setup($){const{$slidev:g,$nav:k,$clicksContext:s,$clicks:v,$page:C,$renderContext:y,$frontmatter:o}=f();return s.setup(),(B,t)=>{const n=r;return u(),i(_,d(m(l(x)(l(o),4))),{default:a(()=>[t[1]||(t[1]=e("h1",null,"Really Functional Data Structures",-1)),p(n,null,{default:a(()=>t[0]||(t[0]=[e("ul",null,[e("li",null,"Only use pure, closed terms"),e("li",null,[c("Multiple states are encoded via (unapplied) arguments and applications "),e("ul",null,[e("li",null,"Carefully, such that data doesn’t reduce itself!")])]),e("li",null,'State can often be extracted using "selector" argument')],-1)])),_:1})]),_:1},16)}}};export{h as default};
|
