Marko A. Rodriguez okram

🏠

Working from home

Yet another human being.

okram / social.java

Last active September 1, 2020 00:25

okram / mm.java

Last active August 25, 2020 21:14

okram / list.java

Last active August 23, 2020 04:43

	mmlang> :[define,list<=lst[[is,>-[count]==0]\|
	......> [is,[and,[head]?int],[tail]?list]]]
	mmlang> ()[a,list]
	==>true
	mmlang> (1)[a,list]
	==>true
	mmlang> ('a')[a,list]
	==>false
	mmlang> (1;2;3;4;5;6)[a,list]
	==>true

okram / mm-model.java

Last active August 21, 2020 22:28

	// The mm model-ADT
	// The base model on which all other mm-ADT models are built.
	// ... a subset presented below.

	mm:('type' -> (bool -> (bool),
	int -> (int),
	real -> (real),
	str -> (str),
	lst -> (lst),
	rec -> (rec)),

okram / mmlang.java

Created August 11, 2020 17:30

	mmlang> 1=>int[plus,1][plus,2][plus,3]
	==>7
	mmlang> 1=>int[plus,1][plus,2][plus,3][path]
	==>(1;[plus,1];2;[plus,2];4;[plus,3];7)
	mmlang> 1=>int[plus,1][plus,2][plus,3][path]=(_,_{0},_)
	==>(1,,2)
	mmlang> 1=>int[plus,1][plus,2][plus,3][path]=(_,_{0},_)>-
	==>1
	==>2
	mmlang> 1=>int[plus,1][plus,2][plus,3][path]=(_,_{0},_)>-[sum]

okram / ex.java

Last active August 11, 2020 12:17

	ex:('type' -> (nat -> (nat<=int[is>0]),
	large -> (large<=int[is>99],
	large<=nat[is>99]),
	names -> (names:(str,str)),
	user -> (user:('id'->int,'login'->str),
	user<=person[put,'id',.age][put,'login',.name]),
	person -> (person:('name'->str,'age'->nat),
	person<=('name'->str,'age'->int),
	person<=('name'->str)[put,'age',1],
	person<=names-<('name'-><y>.0+<.y>.1,'age'->1),

okram / semi-poly.java

Created July 16, 2020 17:40

okram / models.java

Last active July 9, 2020 10:14

	// kv-ADT
	[define,kvstore<=kv{*},kv:('k'->obj,'v'->obj)]

	// tp3-ADT
	[define,graph:('V'->vertex{},'E'->edge{}),
	vertex:('id'->obj,'label'->str,'properties'->property{},'outE'->edge{},'inE'->edge{*}),
	edge:('id'->obj,'label'->str,'properties'->property{*},'outV'->vertex,'inV'->vertex),
	property:([is,!['id'\|'label']]->obj)]

okram / mmadt-ct-meetup-talk.java

Last active July 8, 2020 12:12

	mm-ADT: An Algebraic Overview for the Category Theory Meetup
	by Dr. Marko A. Rodriguez (collaborator: Dr. Ryan Wisnesky)

	http://mm-adt.org
	https://www.mm-adt.org/vm (draft)

	https://www.meetup.com/Category-Theory/events/vmkkjrybckbkb/
	------------------------------------------------------
	------------------------------------------------------
	mm-ADT

okram / name-resolution.scala

Created June 18, 2020 07:21

	@scala.annotation.tailrec
	def fetchOption[A <: Obj](obj: Obj, label: String): Option[A] = {
	obj match {
	case x if x.root => None
	case x if x.via._2.op == Tokens.to && x.via._2.arg0[StrValue].g == label => obj match {
	case _: Value[Obj] => Some(x.via._1.asInstanceOf[A])
	case _: Type[Obj] => Some(x.via._1.range.from(label).asInstanceOf[A])
	}
	case x if x.via._2.op == Tokens.rewrite && x.via._2.arg0[Obj].name == label => Some(Inst.resolveArg(obj, x.via._2.arg0[A]))
	case x if x.via._2.op == Tokens.define && x.via._2.arg0[Obj].name == label => Some(Inst.resolveArg(obj, x.via._2.arg0[A].named(baseName(x.via._2.arg0[A]))))

	// the social.mm model-ADT is something I plan to build up to be the primary model used for the documentation.
	// nat -- natural positive integer
	// date -- 3 element list month/day/year
	// moday -- 2 element list with a default year provided
	// person -- a person has an id, name, and age.
	// badge -- a badge has an id-code and a date

	social:('type' -> (nat -> (nat<=int[is,bool<=int[gt,0]]),
	date -> (date:(nat<=nat[is=<12];nat<=nat[is=<31];nat),
	date<=(nat<=nat[is=<12];nat<=nat[is=<31])[put,2,2009]),