2f:T40a,function formatDefs(defs) { if (typeof defs === 'object' && defs !== null && defs.constructor === ({}).constructor) { let res = ''; res += '

';
    Object.entries(defs).forEach(([label, def]) => {
      res += '';
      if (label[0] != '_') {
        res += label + ' = ' + formatDefs(def);
      } else {
        res += formatDefs(def);
      }
      res += '
';
    })
    res += '

' return res; } else if (Array.isArray(defs)) { const head = defs[0]; if (typeof head !== 'string' && head.meta.format) { return head.meta.format(formatDefs, ...defs.slice(1)); } else { const args = defs.slice(1).map(arg => formatDefs(arg)).join(', '); const h = typeof head === 'string' ? head : head.meta.name; return h + '(' + args + ')'; } } else if (typeof defs === 'string') { return defs; } else if (typeof defs === 'function') { return defs.meta.name; } else { return defs.toString(); } }30:[] 2d:{"title":"Computation graphs tools","cells":[{"id":0,"value":"# Computation graphs tools","pinned":false,"hidden":false,"mode":"md"},{"id":128,"value":"function evaluate(def, state) {\n if (Array.isArray(def)) {\n const fun = def[0];\n if (typeof fun === 'string') {\n return evaluate(fun, state).apply(null, def.slice(1).map(arg => evaluate(arg, state)));\n } else if (fun.isMacro) {\n const recur = a => evaluate(a, state);\n return fun.apply(null, [recur, def.slice(1)]);\n } else {\n return fun.apply(null, def.slice(1).map(arg => evaluate(arg, state)));\n }\n } else if (typeof def === 'object' && def !== null && def.constructor === ({}).constructor) {\n Object.entries(def).forEach(([label, def]) => {\n state[label] = evaluate(def, state);\n if (label === 'return') {\n throw new ReturnException(state.return);\n }\n });\n } else if (typeof def === 'string') {\n return state[def];\n } else {\n return def;\n }\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":78,"value":"function fun(meta, body) {\n const resFun = meta.native ? body : (...args) => {\n const state = {};\n Object.entries(meta.args).forEach(([arg, type], argNum) => {\n state[arg] = args[argNum];\n });\n try {\n return evaluate(body, state);\n } catch (e) {\n if (e instanceof ReturnException) {\n return e.value;\n } else {\n throw e;\n }\n }\n }\n resFun.meta = meta;\n resFun.body = body;\n resFun.isMacro = meta.isMacro || false;\n const res = resFun.meta.native ? formatNativeFun(resFun) : formatUserFun(resFun);\n res.value = resFun;\n return res;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":391,"value":"function makeSignature(fun) {\n const args = Object.entries(fun.meta.args).map(([argName, argType]) => {\n return argName + ': ' + (typeof argType === 'string' ? argType : argType.meta.name);\n }).join(', ');\n const resType = typeof fun.meta.return === 'string' ? fun.meta.return : fun.meta.return.meta.name;\n return fun.meta.name + '(' + args + '): ' + resType;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":334,"value":"formatNativeFun = fun => {\n const div1 = `

${makeSignature(fun)}

`;\n const div2 = `

${fun.meta.descr}

`;\n const div3 = `

${fun.body.toString()}

`;\n const div = `

${div1}${div2}${div3}

`;\n return html`${div}`;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":433,"value":"formatUserFun = fun => {\n const div1 = `

${makeSignature(fun)}

`;\n const div2 = `

${fun.meta.descr}

`;\n const div3 = `

${formatDefs(fun.body)}

`;\n const div = `

${div1}${div2}${div3}

`;\n return html`${div}`;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":154,"value":"function macro(meta, fun) {\n fun.meta = meta;\n fun.isMacro = true;\n return fun;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":250,"value":"viewof boolean = fun({\n name: 'boolean',\n args: {x: 'any'},\n return: 'boolean',\n descr: 'checks whether argument is a boolean',\n toJs: (toJs, [x]) => `typeof ${toJs(x)} === 'boolean'`,\n native: true,\n}, x => typeof x === 'boolean')","pinned":false,"hidden":false,"mode":"ojs"},{"id":247,"value":"viewof any = fun({\n name: 'any',\n args: {x: 'any'},\n return: 'boolean',\n descr: 'checks whether argument is any',\n native: true,\n}, x => true)","pinned":false,"hidden":false,"mode":"ojs"},{"id":245,"value":"viewof number = fun({\n name: 'number',\n args: {x: any},\n return: boolean,\n descr: 'checks whether argument is a number',\n native: true,\n}, x => typeof x === 'number')","pinned":false,"hidden":false,"mode":"ojs"},{"id":401,"value":"viewof plus2Nums = fun({\n name: 'plus2numbers',\n args: {x: number, y: number},\n return: number,\n descr: 'adds two numbers',\n format: (format, x, y) => format(x) + ' + ' + format(y),\n native: true,\n}, (x, y) => x + y)","pinned":false,"hidden":false,"mode":"ojs"},{"id":581,"value":"viewof arrayOfNums = fun({\n name: 'arrayOfNums',\n args: {x: any},\n return: boolean,\n descr: 'Checks whether argument is an array of numbers',\n native: true,\n}, x => {\n if (!Array.isArray(x)) {\n return false;\n }\n let res = true;\n for (const num of x) {\n \n }\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":609,"value":"viewof reduce = fun({\n name: 'reduce',\n args: {init: number, fun: any, arr: arrayOfNums},\n return: number,\n descr: 'adds numbers array',\n}, {\n res: 'init',\n loop: [forIn, 'elem', 'arr', {\n res: ['fun', 'res', 'elem'],\n }],\n return: 'res',\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":636,"value":"$$reduceFixedArray = (init, fun, arr) => {\n let res = init;\n for (const elem of arr) {\n res = fun(res, elem);\n }\n return res;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":646,"value":"$$plus2Nums = (x, y) => {\n if (typeof x === 'number' && typeof y === 'number') {\n return x + y;\n } else if (x === 0) {\n return y;\n } else if (y === 0) {\n return x;\n } else {\n return [plus2Nums, x, y];\n }\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":644,"value":"$$plusNums = (...arr) => $reduceFixedArray(0, $plus2Nums, arr)","pinned":false,"hidden":false,"mode":"ojs"},{"id":656,"value":"viewof aPlusBPlusC = fun({\n name: 'aPlusBPlusC',\n args: {a: number, b: number, c: number},\n return: number,\n descr: 'returns a + b + c',\n}, $plusNums('a', 'b', 'c'))","pinned":false,"hidden":false,"mode":"ojs"},{"id":578,"value":"viewof plusNumsArr = fun({\n name: 'plusNumsArr',\n args: {'x': arrayOfNums},\n return: number,\n descr: 'adds numbers array',\n}, [reduce, 0, plus2Nums, 'x'])","pinned":false,"hidden":false,"mode":"ojs"},{"id":605,"value":"viewof plusArgs = fun({\n name: 'plusArgs',\n args: {'...x': arrayOfNums},\n return: number,\n descr: 'adds numbers',\n}, [plusNumsArr, 'x'])","pinned":false,"hidden":false,"mode":"ojs"},{"id":615,"value":"viewof makeMul = fun({\n name: 'makeMul',\n args: {k: number},\n return: any,\n descr: 'makes function x => k * x',\n}, ['bind', mul2nums, 'k'])","pinned":false,"hidden":false,"mode":"ojs"},{"id":631,"value":"viewof bind = fun({\n name: 'bind',\n args: {fn: any, arg: any},\n return: any,\n descr: 'binds argument',\n}, ['fun', {args: {x: any}, return: any}, ['fn', 'arg', 'x']])","pinned":false,"hidden":false,"mode":"ojs"},{"id":547,"value":"viewof mul2nums = fun({\n name: 'mul2nums',\n args: {x: number, y: number},\n return: number,\n descr: 'multiplies two numbers',\n format: (format, x, y) => format(x) + ' * ' + format(y),\n native: true,\n}, (x, y) => x * y)","pinned":false,"hidden":false,"mode":"ojs"},{"id":500,"value":"viewof equals = fun({\n name: 'equals',\n args: {x: number, y: number},\n return: boolean,\n descr: 'checks whether two arguments are equal',\n format: (format, x, y) => format(x) + ' == ' + format(y),\n native: true,\n}, (x, y) => x === y)","pinned":false,"hidden":false,"mode":"ojs"},{"id":523,"value":"viewof call = fun({\n name: 'call',\n args: {fun: any, args: any},\n return: any,\n descr: 'calls function with arguments',\n native: true,\n}, (fun, args) => fun(...args))","pinned":false,"hidden":false,"mode":"ojs"},{"id":414,"value":"$2f","pinned":false,"hidden":false,"mode":"ojs"},{"id":62,"value":"viewof rangeSum = fun({\n name: 'rangeSum',\n args: {y: number},\n return: number,\n descr: 'Sum of numbers from 1 to y',\n}, {\n x: [plus2Nums, 0, 0],\n _1: [forRange, 'i', 'y', {\n x: [plus2Nums, 'x', 'i'],\n }],\n return: 'x',\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":498,"value":"viewof factorialInner = fun({\n name: 'factorialInner',\n args: {x: number, factorial: any},\n return: number,\n descr: 'Computes the product of numbers from 1 to n',\n}, [ifThen, [equals, 'x', 0], 1, [mul2nums, 'x', ['factorial', [plus2Nums, 'x', -1], 'factorial']]])","pinned":false,"hidden":false,"mode":"ojs"},{"id":665,"value":"viewof factorial2 = {\n const res = fun({\n name: 'factorial2',\n args: {x: number},\n return: number,\n descr: 'Computes the product of numbers from 1 to n',\n }, [ifThen, [equals, 'x', 0], 1, [mul2nums, 'x', ['factorial', [plus2Nums, 'x', -1], 'factorial']]]);\n res.value.body[3][2][0] = res.value;\n res.value.body[3][2][2] = res.value;\n return res;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":558,"value":"viewof factorial = fun({\n name: 'factorial',\n args: {x: number},\n return: number,\n descr: 'Computes the product of numbers from 1 to n',\n}, [factorialInner, 'x', factorialInner])","pinned":false,"hidden":false,"mode":"ojs"},{"id":543,"value":"factorial2(10)","pinned":true,"hidden":false,"mode":"ojs"},{"id":234,"value":"rangeSum(10)","pinned":true,"hidden":false,"mode":"ojs"},{"id":197,"value":"class BreakException {}","pinned":false,"hidden":false,"mode":"ojs"},{"id":168,"value":"class ReturnException {\n constructor(value) {\n this.value = value;\n }\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":166,"value":"ret = macro({}, (evaluate, [value]) => {\n throw new ReturnException(evaluate(value));\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":159,"value":"ifThen = macro({\n format: (format, cond, ifTrue, ifFalse) => {\n let res = '

';\n res += `if (${format(cond)}) {`;\n res += format(ifTrue);\n if (ifFalse) {\n res += '} else {';\n res += format(ifFalse);\n res += '}';\n } else {\n res += '}'\n }\n res += '

';\n return res;\n },\n}, (evaluate, [cond, ifTrue, ifFalse]) => {\n if (evaluate(cond)) {\n return evaluate(ifTrue);\n } else if (ifFalse) {\n return evaluate(ifFalse);\n }\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":201,"value":"forRange = macro({\n format: (format, varName, countDef, body) => {\n let res = '

';\n res += `for (${varName} = 1 ... ${format(countDef)}) {`;\n res += format(body);\n res += '}'\n res += '

';\n return res;\n },\n}, (evaluate, [varName, countDef, body]) => {\n try {\n const count = evaluate(countDef);\n for (let i=0; i {\n let res = '

';\n res += `for (${varName} in ${format(array)}) {`;\n res += format(body);\n res += '}'\n res += '

';\n return res;\n },\n}, (evaluate, [varName, array, body]) => {\n try {\n const arrayVal = evaluate(array);\n for (const elem of arrayVal) {\n evaluate({[varName]: elem});\n evaluate(body);\n }\n } catch (e) {\n if (e instanceof BreakException) {\n return;\n } else {\n throw e;\n }\n }\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":563,"value":"prettier = require(\"prettier@2\", \"prettier@2/parser-babel.js\")","pinned":false,"hidden":false,"mode":"ojs"},{"id":566,"value":"prettify = code => prettier.format(code, {\n parser: \"babel\",\n plugins: [prettier],\n})","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W30","stdlib":"1","titling":"auto"}