found i need to load ram to make relevence be separate habits

1 files changed, 288 insertions, 0 deletions

diff --git a/nascent5.js b/nascent5.js
new file mode 100644
index 0000000..55fb7c6
--- /dev/null
+++ b/nascent5.js
@@ -0,0 +1,288 @@
+class ActiveMemory {
+	// provides for needs of data
+	constructor() {
+		this.ram = []
+		this.cloned = false
+	}
+	clone() {
+		let ret = new ActiveMemory();
+		ret.ram = this.ram
+		ret.cloned = true
+		return ret
+	}
+	add(...items) {
+		if (this.cloned) { this.ram = this.ram.slice(); this.cloned = false; }
+		for (let item of items)
+			this.ram.push(item)
+	}
+	del(...items) {
+		if (this.cloned) { this.ram = this.ram.slice(); this.cloned = false; }
+		for (let item of items) {
+			let index = this.ram.indexOf(item)
+			this.ram.splice(index, 1)
+		}
+	}
+	contains(...items) {
+		for (let item of items)
+			if (this.ram.indexOf(item) === -1) return false
+		return true
+	}
+	containsWith(...props) {
+		let ret = []
+		outer: for (let a of this.ram) {
+			for (let i = 0; i < props.length; i += 2)
+				if (! a.props.has(props[i], props[i+1]))
+					continue outer
+			return true
+		}
+		return false
+	}
+	getWith(...props) {
+		let ret = []
+		outer: for (let a of this.ram) {
+			//console.log(a.props.props)
+			for (let i = 0; i < props.length; i += 2) {
+				//console.log(props[i] + ': ' + props[i+1] + '?')
+				if (! a.props.has(props[i], props[i+1]))
+					continue outer
+			}
+			ret.push(a)
+		}
+		if (ret.length > 0) return ret
+		return null
+	}
+}
+class Property {
+	constructor(type, dest) {
+		this.type = type
+		this.dest = dest
+	}
+}
+class Properties {
+	constructor(type, from) {
+		this.props = from ? from.props.slice() : []
+		//if (from) {console.log('INHERIT: '); for (let prop of this.props) { console.log(prop) }}
+		this.add('is', type)
+	}
+	toString() {
+		let str = ''
+		for (let prop of this.props) {
+			str += prop.type + ':' + prop.dest + ' '
+		}
+		return str
+	}
+	add(type, dest) {
+		this.props.push(new Property(type, dest))
+	}
+	has(type, dest) {
+		for (let p of this.props)
+			if (p.type == type && p.dest == dest)
+				return true
+		return false
+	}
+	del(type, dest) {
+		for (let i = 0; i < this.props.length; ++ i) {
+			let p = this.props[i]
+			if (p.type == type && p.dest == dest) {
+				this.props.splice(i, 1)
+				return true
+			}
+		}
+		return false
+	}
+}
+class AbstractData {
+	constructor(from) {
+		this.props = new Properties('abstract', from && from.props)
+	}
+}
+class StringData extends String {
+	constructor(str, from) {
+		super(str)
+		this.props = new Properties('string', from && from.props)
+		this.props.del('is', 'array')
+	}
+}
+class ArrayData extends Array {
+	constructor(arr, from) {
+		super(...arr)
+		this.props = new Properties('array', from && from.props)
+		this.props.del('is', 'string')
+	}
+}
+// inhibition: wants lines to line up in top window
+class FunctionData {
+	constructor(name, // name of function
+	            func, // function taking ordered needs
+	                  // ordered array of made objects is returned
+	            relevence, // TEMPORARY; MOVE TO HABIT. function that generates the needs, takes ram
+	            needs, // array of 1-property-per-object this function requires
+	            makes // array of 1-property-per-object this function produces
+	) {
+		this.name = name
+		this.props = new Properties('function')
+		this.props.add('name', name)
+		this.call = func
+		this.relevence = relevence
+		this.needs = needs
+		this.makes = makes
+	}
+}
+
+// variables:
+//         - create a place to store a value
+//createvar = new FunctionData(
+// 	'createvar',
+// 	/*call*/(name) => {
+// 		let ret = new StringData(name)
+// 		ret.props.add('is','varspec')
+//		return ret
+// 	},
+// 	/*relevence*/,
+//// when do you want to create a variable?  when you need a variable and you have a name
+// 	/*makes*/
+//)
+//         - place a value in such a place
+//         - retrieve a value from such a place
+// data-structures:
+//         - make a class definition (collection of variables)
+//         - initialize an object
+//         - set/retrieve properties (variables)
+// flow:
+//         - trigger a different step than the next, conditionally
+// procedures:
+//         - collect a set of behaviors together
+//         - trigger a collected set of behaviors and continue
+// expressions:
+//         - evaluate arithmetic on variables and constants
+
+line2words = new FunctionData(
+	'line2words',
+	(line) => { // call
+		let res = new ArrayData(line.split(' '), line)
+		res.props.add('is','words')
+		return res
+	},
+	(ram) => { // relevence
+		return ram.getWith('is','text', 'is','string')
+	},
+	['is','text-string'], // needs
+	['is','word-array'] // makes
+)
+
+respondhello = new FunctionData(
+	'respondhello',
+	(words) => { // call
+		console.log(words[0] + ", user!")
+		let res = new StringData("said " + words[0])
+		res.props.add('is','output')
+		res.props.add('is','text')
+		return res
+	},
+	(ram) => { // relevence
+		let res = ram.getWith('is','words', 'is','input')
+		if (res) {
+			res = res.filter(x => { x = x[0].toLowerCase(); return x == 'hello' || x == 'hi'})
+		}
+		return res
+	},
+	['is','input-words'], // needs
+	['is','output'] // makes
+)
+
+// nodejs is missing a succinct read-line-from-stdin function.  make our own.
+userinput = (() => {
+	const readline = require('readline')
+	const lines = []
+	readline.createInterface({ input: process.stdin }).on('line', (line) => {
+		lines.push(line)
+	})
+
+	return new FunctionData(
+		'userinput',
+		() => { // call
+			let res = new StringData(lines.shift())
+			res.props.add('is','text')
+			res.props.add('is','input')
+			return res
+		},
+		() => { // relevence
+			return lines.length > 0
+		},
+		['userinput-has','lines'] // needs
+		['is','string','is','text','is','input'] // makes
+	)
+})()
+// => switching from 'relevence' to 'needs'. <= relevence is the module that processes needs
+// TODO: we need to make active memory a Data so that we can pass sets of data to relevence
+// TODO: want to move the relevence funcs out of the func defs that use them
+// TODO: we have 'is input-words'; can make as makeinputwords from respondhello.relevence
+// TODO: we have 'is word-array' instead of 'is words' and 'is array'
+// TODO 2: add to surrounding process: remove source needs when there is no longer a reason for their presence
+
+
+all_parts = [ line2words, respondhello ]
+
+ram = new ActiveMemory()
+optstried = new Set()
+steps = []
+
+var readline = require('readline')
+readline.createInterface({
+	input: process.stdin
+}).on('line', (line) => {
+	line = new StringData(line)
+	line.props.add('is','input')
+	line.props.add('is','text')
+	ram.add(line)
+
+	let cont
+	do {
+		cont = false
+		for (let part of all_parts) {
+			//console.log('for-loop-of-parts ' + part.name)
+			let rel = part.relevence(ram)
+			if (rel) {
+				for (let a of rel) {
+					//console.log('for-loop-of-rel ' + part.name + ' ' + a)
+					if (optstried.has(part.name + ' ' + a)) continue; 
+					//console.log('call-part ' + part.name + ' ' + a)
+					res = part.call(a)
+					ram.add(res)
+					//console.log('part-called')
+					step = [a, part.name, res]
+					steps.push(step)
+					console.log('made ' + step)
+					cont = true
+					optstried.add(part.name + ' ' + a)
+
+				}
+			}
+		}
+	} while (cont)
+})
+
+
+// it looks like there is a reason to store each item in active memory.
+// one reason is that it is needed by a step in a process.
+// when there are no reasons, it is removed.
+// using an item should link it to what it is used by, so that it may be found easier again when needed
+
+// Please grow to understand your own structure.  What is needed to make an intellect?
+
+// MEMORY: the archivist.  Provides for needs of data.  Memory is relevent whenever there is
+// an informational need.
+
+// RELEVENCE: the gofer.  Provides the link between needs, etc, and the behavior that
+// finds them.  Is relevent for meeting needs in active ways and likely much else.
+
+// BEHAVIOR: the core.  combines interdependent habits from memory to meet needs.
+//
+// 1 way to make behavior:
+// 	find a habit that does the final goal
+// 	find with this process, information that meets its needs
+// 	run it
+//
+// specifying the needs is an interesting problem
+// but i think our norm is just property specs
+// other habits can generate the property specs