simponic/compiling-the-lambda-calculus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

maintenance

Browse Source
This commit is contained in:
Elizabeth Hunt 2024-02-08 15:43:45 -07:00
parent 93dd6c53f1
commit c18b81b2f2
Signed by: simponic
GPG Key ID: 52B3774857EB24B1
13 changed files with 65 additions and 47 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
package-lock.json generated
View File

@ -8,13 +8,13 @@
"name": "compilinglambda", "name": "compilinglambda",
"version": "0.0.0", "version": "0.0.0",
"dependencies": { "dependencies": {
"@motion-canvas/2d": "^3.14.0", "@motion-canvas/2d": "^3.14.1",
"@motion-canvas/core": "^3.14.0", "@motion-canvas/core": "^3.14.1",
"@motion-canvas/ffmpeg": "^1.1.0" "@motion-canvas/ffmpeg": "^1.1.1"
}, },
"devDependencies": { "devDependencies": {
"@motion-canvas/ui": "^3.14.0", "@motion-canvas/ui": "^3.14.1",
"@motion-canvas/vite-plugin": "^3.14.0", "@motion-canvas/vite-plugin": "^3.14.1",
"typescript": "^5.2.2", "typescript": "^5.2.2",
"vite": "^4.0.0" "vite": "^4.0.0"
} }
@ -587,9 +587,9 @@
] ]
}, },
"node_modules/@motion-canvas/2d": { "node_modules/@motion-canvas/2d": {
"version": "3.14.1", "version": "3.14.2",
"resolved": "https://registry.npmjs.org/@motion-canvas/2d/-/2d-3.14.1.tgz", "resolved": "https://registry.npmjs.org/@motion-canvas/2d/-/2d-3.14.2.tgz",
"integrity": "sha512-9bwpp/3bbaXycK4yGY2pD1qyZuHmVcf+cgMAhw9Xu/QSMbElh68u5bguN6AXLpaRxAWWLu9lGtf6Pws7tRgv4g==", "integrity": "sha512-SaOU0gL9RjUsIRCwNwPo/DLvcLKNPfVylfUcynSocOE6bSjsHrd8ZVNumf4X9Bedf9dxajrWf44eMBNCLQpJyg==",
"dependencies": { "dependencies": {
"@motion-canvas/core": "^3.14.1", "@motion-canvas/core": "^3.14.1",
"code-fns": "^0.8.2", "code-fns": "^0.8.2",
@ -622,9 +622,9 @@
} }
}, },
"node_modules/@motion-canvas/ui": { "node_modules/@motion-canvas/ui": {
"version": "3.14.1", "version": "3.14.2",
"resolved": "https://registry.npmjs.org/@motion-canvas/ui/-/ui-3.14.1.tgz", "resolved": "https://registry.npmjs.org/@motion-canvas/ui/-/ui-3.14.2.tgz",
"integrity": "sha512-6HLqzDnLUVyURGVl8hFvq6AOirlxz0ROnQlEgBiryRmdmJ/eSrZ3nVpxVCP2fp8AJ2f2KwHBNtwXyLv+xq1Uyw==", "integrity": "sha512-5KujeAd+cE88ZTLlnAzvSkKvRx87z/NhBYZo5PLIls2+Z/LdllEvhiEaZfGJuXz8ZZ0f93osDrQmlpB4LI+V7Q==",
"dev": true, "dev": true,
"dependencies": { "dependencies": {
"@motion-canvas/core": "^3.14.1", "@motion-canvas/core": "^3.14.1",
@ -705,9 +705,9 @@
} }
}, },
"node_modules/@types/chroma-js": { "node_modules/@types/chroma-js": {
"version": "2.4.3", "version": "2.4.4",
"resolved": "https://registry.npmjs.org/@types/chroma-js/-/chroma-js-2.4.3.tgz", "resolved": "https://registry.npmjs.org/@types/chroma-js/-/chroma-js-2.4.4.tgz",
"integrity": "sha512-1ly5ly/7S/YF8aD7MxUQnFOZxdegimuOunJl0xDsLlguu5JrwuSTVGVH3UpIUlh6YauI0RMNT4cqjBonhgbdIQ==" "integrity": "sha512-/DTccpHTaKomqussrn+ciEvfW4k6NAHzNzs/sts1TCqg333qNxOhy8TNIoQCmbGG3Tl8KdEhkGAssb1n3mTXiQ=="
}, },
"node_modules/@types/hast": { "node_modules/@types/hast": {
"version": "2.3.10", "version": "2.3.10",
@ -834,9 +834,9 @@
} }
}, },
"node_modules/fastq": { "node_modules/fastq": {
"version": "1.17.0", "version": "1.17.1",
"resolved": "https://registry.npmjs.org/fastq/-/fastq-1.17.0.tgz", "resolved": "https://registry.npmjs.org/fastq/-/fastq-1.17.1.tgz",
"integrity": "sha512-zGygtijUMT7jnk3h26kUms3BkSDp4IfIKjmnqI2tvx6nuBfiF1UqOxbnLfzdv+apBy+53oaImsKtMw/xYbW+1w==", "integrity": "sha512-sRVD3lWVIXWg6By68ZN7vho9a1pQcN/WBFaAAsDDFzlJjvoGx0P8z7V1t72grFJfJhu3YPZBuu25f7Kaw2jN1w==",
"dependencies": { "dependencies": {
"reusify": "^1.0.4" "reusify": "^1.0.4"
} }
@ -1047,9 +1047,9 @@
} }
}, },
"node_modules/postcss": { "node_modules/postcss": {
"version": "8.4.33", "version": "8.4.35",
"resolved": "https://registry.npmjs.org/postcss/-/postcss-8.4.33.tgz", "resolved": "https://registry.npmjs.org/postcss/-/postcss-8.4.35.tgz",
"integrity": "sha512-Kkpbhhdjw2qQs2O2DGX+8m5OVqEcbB9HRBvuYM9pgrjEFUg30A9LmXNlTAUj4S9kgtGyrMbTzVjH7E+s5Re2yg==", "integrity": "sha512-u5U8qYpBCpN13BsiEB0CbR1Hhh4Gc0zLFuedrHJKMctHCHAGrMdG0PRM/KErzAL3CU6/eckEtmHNB3x6e3c0vA==",
"funding": [ "funding": [
{ {
"type": "opencollective", "type": "opencollective",
@ -1074,9 +1074,9 @@
} }
}, },
"node_modules/preact": { "node_modules/preact": {
"version": "10.19.3", "version": "10.19.4",
"resolved": "https://registry.npmjs.org/preact/-/preact-10.19.3.tgz", "resolved": "https://registry.npmjs.org/preact/-/preact-10.19.4.tgz",
"integrity": "sha512-nHHTeFVBTHRGxJXKkKu5hT8C/YWBkPso4/Gad6xuj5dbptt9iF9NZr9pHbPhBrnT2klheu7mHTxTZ/LjwJiEiQ==", "integrity": "sha512-dwaX5jAh0Ga8uENBX1hSOujmKWgx9RtL80KaKUFLc6jb4vCEAc3EeZ0rnQO/FO4VgjfPMfoLFWnNG8bHuZ9VLw==",
"dev": true, "dev": true,
"funding": { "funding": {
"type": "opencollective", "type": "opencollective",

10
package.json
View File

@ -8,13 +8,13 @@
"build": "tsc && vite build" "build": "tsc && vite build"
}, },
"dependencies": { "dependencies": {
"@motion-canvas/core": "^3.14.0", "@motion-canvas/core": "^3.14.1",
"@motion-canvas/2d": "^3.14.0", "@motion-canvas/2d": "^3.14.1",
"@motion-canvas/ffmpeg": "^1.1.0" "@motion-canvas/ffmpeg": "^1.1.1"
}, },
"devDependencies": { "devDependencies": {
"@motion-canvas/ui": "^3.14.0", "@motion-canvas/ui": "^3.14.1",
"@motion-canvas/vite-plugin": "^3.14.0", "@motion-canvas/vite-plugin": "^3.14.1",
"typescript": "^5.2.2", "typescript": "^5.2.2",
"vite": "^4.0.0" "vite": "^4.0.0"
} }

9
src/components/function_box.tsx
View File

@ -253,11 +253,9 @@ export class FunctionBox extends Node {
} }
public *propogateOutput(duration: number) { public *propogateOutput(duration: number) {
const opacityChangeDuration = 0.1;
const output = this.function(...this.currentArgs.map((input) => input.val)); const output = this.function(...this.currentArgs.map((input) => input.val));
if (typeof output === "function") { if (typeof output === "function") {
yield this.output().add( this.output().add(
<FunctionBox <FunctionBox
opacity={0} opacity={0}
isChild={true} isChild={true}
@ -266,15 +264,16 @@ export class FunctionBox extends Node {
></FunctionBox>, ></FunctionBox>,
); );
} else { } else {
yield this.output().add( this.output().add(
<Txt fontFamily={theme.font} fontSize={30} fill={theme.text.hex}> <Txt fontFamily={theme.font} fontSize={30} fill={theme.text.hex}>
{output.toString()} {output.toString()}
</Txt>, </Txt>,
); );
} }
yield* this.boxMoji().text(this.idlingText, duration);
yield* all( yield* all(
this.boxMoji().text(this.idlingText, duration),
this.outputSegment().points( this.outputSegment().points(
[ [
{ x: -this.delta, y: 0 }, { x: -this.delta, y: 0 },

5
src/scenes/doctor.meta Normal file
View File

@ -0,0 +1,5 @@
{
"version": 0,
"timeEvents": [],
"seed": 3717956216
}

5
src/scenes/doctor.tsx
View File

@ -30,19 +30,20 @@ Yes, hmmm... so, do you really think this is so?
export default makeScene2D(function* (view) { export default makeScene2D(function* (view) {
const block = createRef<CodeBlock>(); const block = createRef<CodeBlock>();
let currentConversation = conversation[0] + "\n";
yield view.add( view.add(
<CodeBlock <CodeBlock
fontFamily={theme.font} fontFamily={theme.font}
language="markdown" language="markdown"
ref={block} ref={block}
fontSize={20} fontSize={20}
code={currentConversation}
></CodeBlock>, ></CodeBlock>,
); );
yield* slideTransition(Direction.Right); yield* slideTransition(Direction.Right);
let currentConversation = conversation[0] + "\n";
let id = 0; let id = 0;
for (const line of conversation.slice(1)) { for (const line of conversation.slice(1)) {
yield* block().edit(1.2, false)`${currentConversation}${insert( yield* block().edit(1.2, false)`${currentConversation}${insert(

5
src/scenes/first_box.meta Normal file
View File

@ -0,0 +1,5 @@
{
"version": 0,
"timeEvents": [],
"seed": 2023703521
}

5
src/scenes/first_box.tsx
View File

@ -36,10 +36,9 @@ export default makeScene2D(function* (view) {
yield* beginSlide("Add Inputs " + inputId); yield* beginSlide("Add Inputs " + inputId);
yield* functionBox().propogateInput(0.5); yield* functionBox().propogateInput(0.5);
yield* waitFor(0.3); yield* beginSlide("Propogate Inputs " + inputId);
yield* functionBox().propogateOutput(0.5);
yield* functionBox().propogateOutput(0.5);
yield* beginSlide("Propogate Outputs of " + inputId); yield* beginSlide("Propogate Outputs of " + inputId);
yield* beginSlide("Propogate Outputs of 1" + inputId);
} }
}); });

2
src/scenes/flirtingwithfunctions.meta
View File

@ -1,5 +1,5 @@
{ {
"version": 0, "version": 0,
"timeEvents": [], "timeEvents": [],
"seed": 487503470 "seed": 1241573774
} }

15
src/scenes/flirtingwithfunctions.tsx
View File

@ -1,5 +1,12 @@
import { Img, Video, makeScene2D } from "@motion-canvas/2d"; import { Img, Video, makeScene2D } from "@motion-canvas/2d";
import { beginSlide, createRef, map, tween } from "@motion-canvas/core"; import {
Direction,
beginSlide,
createRef,
map,
slideTransition,
tween,
} from "@motion-canvas/core";
import sad from "../../public/img/sad.mp4"; import sad from "../../public/img/sad.mp4";
import emacsmac from "../../public/img/emacsmac.jpg"; import emacsmac from "../../public/img/emacsmac.jpg";
@ -9,8 +16,10 @@ export default makeScene2D(function* (view) {
const startX = 1200; const startX = 1200;
const endX = 300; const endX = 300;
yield view.add(<Video width={300} ref={vid} src={sad} x={0} />); view.add(<Video width={300} ref={vid} src={sad} x={0} />);
yield view.add(<Img width={200} ref={img} src={emacsmac} x={startX} />); view.add(<Img width={200} ref={img} src={emacsmac} x={startX} />);
yield* slideTransition(Direction.Right);
yield vid().play(); yield vid().play();
yield vid().loop(true); yield vid().loop(true);

4
src/scenes/index.ts
View File

@ -2,8 +2,8 @@ import title from "./title?scene";
import me from "./me?scene"; import me from "./me?scene";
import partone from "./partone?scene"; import partone from "./partone?scene";
import flirtingwithfunctions from "./flirtingwithfunctions?scene"; import flirtingwithfunctions from "./flirtingwithfunctions?scene";
import doctor from "./doctor"; import doctor from "./doctor?scene";
import first_box from "./first_box"; import first_box from "./first_box?scene";
export const scenes = [ export const scenes = [
title, title,

2
src/scenes/me.meta
View File

@ -1,5 +1,5 @@
{ {
"version": 0, "version": 0,
"timeEvents": [], "timeEvents": [],
"seed": 3928486110 "seed": 1659460094
} }

2
src/scenes/partone.meta
View File

@ -1,5 +1,5 @@
{ {
"version": 0, "version": 0,
"timeEvents": [], "timeEvents": [],
"seed": 2742200033 "seed": 2918980577
} }

2
src/scenes/title.meta
View File

@ -1,5 +1,5 @@
{ {
"version": 0, "version": 0,
"timeEvents": [], "timeEvents": [],
"seed": 3229939754 "seed": 294700475
} }