![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
proj-oot-old
* [Self:proj-oot-old-150618 150618] * [Self:proj-oot-old-whyOot whyOot] * [Self:proj-oot-old-ootAssemblyNotes17 . . .
1K - last updated 2018-03-23 10:30 UTC by BayleShanks
proj-oot-old--index
* [Self:proj-oot-old-150618 150618] * [Self:proj-oot-old-whyOot whyOot] * [Self:proj-oot-old-ootAssemblyNotes17 . . .
1K - last updated 2018-03-23 10:30 UTC by BayleShanks
proj-oot-old-150618
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618--index
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618-concurrency
=== Concurrency ideas === ==== transactions ==== ==== futures ==== (see http://en.wikipedia.org/wiki/Future_%28programming%29) . . .
21K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-error
== exceptions == module interfaces must declare new types of exceptions? or must declare all thrown exceptions??? . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-graphTechnicalNotes
= Technical notes on Oot "graphs" = What we call "graphs" in Oot is a type of value which are what is . . .
4K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-intelOptimizeManualNotes
= Intel Optimization Manual notes = notes from http://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-optimization-manual.pdf . . .
46K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-oot
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
98K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-oot131027
i'd replace oot.txt but i don't wanna read thru the old stuff right now, so: == syntax == commentary: . . .
12K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootAlgebraNotes1
an algebraic transform = an optional macro, by which i mean that when you say something like (a * x) . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootArithmeticNotes1
" > map (^0) [0] 15:36:22 <lambdabot> [1] 15:36:24 <mar77a> NOOOOOOO 15:36:32 <mar77a> . . .
32K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
57K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes2
-- so, Oot Assembly may be fixed-length, not for efficiency, but for ease of implementation. Code density . . .
70K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes3
i've been reading about Lua's VM from http://luaforge.net/docman/83/98/ANoFrillsIntroToLua51VMInstructions.pdf . . .
128K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes4
in Oot, do we want a base register to make addresses relative? probably not; that's probably assumed/encapsulated . . .
69K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes5
how does our role system map to natural language parts of speech and phrasal categories? * verb (phrases) . . .
33K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyOld1
== ISA encoding ideas == load the first 16 bits. Look at the form bits (do we need 1 or 3? if we need . . .
53K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyOpsNotes1
== fns == APPLY (same as GET?) == sync and time == WAIT (block until something is done) NOP SLEEP == . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyThoughts
== todos == * So what if we say "ALIAS r3 to x[33]; ALIAS r4 to r3; ALIAS r3 to y[2]"; do changes to . . .
24K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootAttributes
standard perspectives and attributes: @meta: __get __get label = returns the target of the arc labeled . . .
4K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootBoundaries
* atomic marker * transaction marker * stream fusion marker? * monitor marker (only one copy of this . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootBrain
one of the original goals was to make a programming language which mirrored as much as possible the sort . . .
11K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootBrainNotes1
custom multiple flavors of indirect addressing like the types of meta connection to the RDF verb/hypergraphs? . . .
3K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCalls
note: in Python, the default argument assignment is evaluated only once, not per call. If you pass something . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootCapabilities
two types of capabilities: advisory and security. advisory capabilities can be overridden by debug code. . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCapabilitiesNotes1
read stdio, write stdout, write stderr read/write other streams, files read/write/execute any file under . . .
3K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootCommandline
* an argument switch to give code for 'oneliners' on the command line. One-liners execute like scripts, . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCommunityProcess
decisions about oot will be made in a dictatorial style (BDFL), however like Python there is a structured . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCompilationPipeline
== Stages == user source filters -> scanner -> parser -> language reader macro application -> . . .
9K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCompiler
== oot compiler design principals == also for the interpreter and runtime ---- * stack traces or similar . . .
15K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootCompilerErrorMessageNotes1
in Golang, if you end a file without either a newline or semicolon to terminate the last line of code, . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootCompilerNotes1
" I use Vim plugin called vim-godef. It is sort of like ctags, but better. It lets you jump to definition . . .
13K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootComponent
Oot should make it easy to write software with a 'plug-in architecture', whatever that means. --- == . . .
6K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootComponentNotes1
dependencies between plugins? see also [Self:notes-computer-oot-ootPlugInArchitectureThoughts ootPlugInArchitecture] . . .
8K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootConcurrency
== toread == http://kilby.stanford.edu/~rvg/352.html == misc == fork STM `par` parallel array types . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyNotes1
https://developer.apple.com/library/ios/DOCUMENTATION/Cocoa/Conceptual/Multithreading/ThreadSafety/ThreadSafety.html . . .
105K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyNotes2
https://www.google.com/search?q=concurrency+primitives https://www.google.com/search?q=concurrency+features . . .
60K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyThoughts
protothreads http://dunkels.com/adam/pt/ http://code.google.com/p/jetlang/ --- " [reply] Re: (OT) Programming . . .
19K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootConstraintLogic
--- the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootControl
== oot control design todos == * do we support ruby-like blocks inside of which a 'return' returns from . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootControlNotes1
i guess references mark bits of state that persist even if you invoke a continuation. -- we gotta do . . .
36K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCore
Oot Core is an intermediate language (IL) for Oot. Goals: * Bootstrapping Oot: a small language that . . .
9K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCoreNotes1
i like Parrot's custom bytecodes --- === types of memory barriers === load/load, load/store, store/load, . . .
30K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCoreNotes2
thinking about the bit on models of computation i just wrote, some primitives for oot: pointer (turing . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootCoreThoughts
now, to specify a bit field width which is a power of 2 between 0 and 7, we need to choose between 8 . . .
17K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootCriteria
== Goals (high-level design criteria) == * Minimize the time it takes for an experienced Oot programmer . . .
9K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCriteriaNotes
" The success of C is largely due to its context-independence relative to other languages at the time: . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootData
see also ootDataModes, ootAttributes == data design todos == * queries: look at Linq, htsql, MDX, xquery, . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDataBinding
== See also == * [Self-proj-oot-ootDataBindingNotes1] * [Self-proj-oot-ootSpreadsheet] * [Self-proj-oot-ootData] . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDataBindingNotes1
webdav --- soft vs. hard symlinks: * soft symlinks consist of a file path * hard symlinks are a lower-level . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootDataModes
* mutable * strictness * unique * clojure's ref vs agent vs atom? * ?? what else? -- should we have a . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootDataNotes1
== oot data design todos == * representations may be related by a chain of transformations, not just . . .
75K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootDataNotes2
http://www.w3.org/TR/json-ld/#data-model-overview http://json-ld.org/learn.html http://www.slideshare.net/gkellogg1/jsonld-json-for-the-social-web . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootDataThoughts
maybe in line with the 'everything is an interface' policy, when a function needs to create a new instance . . .
4K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDesignChoices
== High-level design criteria == In roughly descending order of importance to Oot. === Turing completeness . . .
44K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDesignTodos
=== Design todos === * change name? graphite? morphic? sapphire? metamorphic? garnet? jaspre? lapis? . . .
9K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDevelopmentProcessNotes1
Of course, Python has a great dev guide: https://docs.python.org/devguide/index.html --- http://www.reddit.com/r/haskell/comments/2if0fu/on_concerns_about_haskells_prelude_favoring/cl1mv9k . . .
46K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootDevelopmentProcessThoughts
Initially (this part is an after-the-fact description): * features that we want for oot, and motivating . . .
9K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDifficultyLevels
compiler-enforced, by source code file partially inspired by Hypercard " There are 5 user levels within . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDocumentation
the official Python tutorial is wonderful here's a pretty haskell tutorial: http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ . . .
4K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDocumentationNotes1
Scaevolus 15 hours ago | link The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html . . .
4K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDslNotes1
one frequently seen construct schema: * head (eg 'switch') * head expr (eg 'switch (x)'; eg 'if (expr)') . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootEfficiencyNotes1
http://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1007&context=cs_faculty_pubs&sei-redir=1&referer=http%3A%2F%2Fscholar.google.co.uk%2Fscholar%3Fq%3Dstatic%2Btype%2Boptimisations%26btnG%3D%26hl%3Den%26as_sdt%3D0%252C5#search=%22static%20type%20optimisations%22 . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootError
Maybe/Option towers, with names (analogy with keyword args?) syntactically concise way to transmute exceptions . . .
6K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootErrorNotes1
"Error messages from Complex types In Yesod we have some complex types in a few key places. And we are . . .
54K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootErrorNotes2
"Also, for Rust 2, I'd suggest exceptions. The "new error handling model"[1] is excessively verbose. . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootErrorThoughts
== types of nils == i generally have the idea that instead of just having one 'nil' value, like Python's . . .
4K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootFfiNotes1
Python CTypes https://gist.github.com/Jach/1208215 -- https://news.ycombinator.com/item?id=7136604 Thrift, . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootFootnotes
something like: if OrdinaryCondition: DoOrdinaryThing else: DoExtraordinaryThing should be transformed . . .
2K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootFromOthers
On this page we speculate about how one could start with various simple machine paradigms and make them . . .
2K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootGuiNotes1
" For example, in Tcl/Tk (which combines the Tcl language with a tool kit for building graphical interfaces), . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootHaskellStuff
This page is not a coherent topic, just a list of things i saw from the Haskell community that i want . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootHistory
Starting in grade school i learned a bunch of programming languages. Eventually i went to grad school . . .
8K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootHtml5
Oot intends, among other things, to create a [Self:notes-computer-oot-ootLearnToProgram learn-to-program . . .
2K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootHtml5Basic
since Oot won't be ready until the far future if ever, unlike most projects, i think it's safe to assume . . .
3K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootHtml5BasicNotes1
below i've appending my June 2014 test results for an HTML5 test suites for two browsers on my Android . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootHtml5Notes1
-- probably should have an HTML5 version first, see http://wiki.scratch.mit.edu/wiki/Scratch_on_Tablets . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootIdeAPI
ramchip 747 days ago | link You're right about Emacs+Slime being nice for CL, but I don't think Emacs . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootIdeNotes1
table 5 of On the Syllogistic Structure of Object-Oriented Programming has a list of queries on OOP stuff . . .
6K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootImplementation
Oot will be implemented in 4 stages. First, it will be implemented in Oot. Although this implementation . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootImplementation3
see also OotMemoryManagement "separate heap per lightweight process (hence no stop-the-world GC)," how . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
71K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootImplementationNotes2
how are we going to reconcile our requirement that the main interpreter/compiler be canonical with our . . .
25K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootImplementationThoughts
let's use something similar to the nanopass compiler framework: https://github.com/akeep/nanopass-framework/blob/master/doc/user-guide.pdf?raw=true . . .
8K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootInspirations
== Typing == not the languages which invented these things, just the ones which inspired me: * Haskell . . .
4K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootInterop
See also ootFfi It should be easy to take an existing program written in, say, C or Python, one which . . .
7K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootInteropNotes1
re: go: "In addition, interacting with popular libraries (such as libsdl or even OpenGL) that use thread-local . . .
24K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootIrrelevantNotes
http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLazy
oot lazy design questions: * do we need full laziness, like in Haskell, or is a core library focus on . . .
8K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
71K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootLearnToProgram
I fondly remember that when i was a child, my dad's Apple //c computer came with a bunch of disks, one . . .
6K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLearnToProgramNotes1
--- when i went to http://scratch.mit.edu/projects/editor/?tip_bar=getStarted , there is a tutorial where . . .
25K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLevels
i have this idea that Oot should have 'levels' and that the semantics of the language should be similar . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootLevelsNotes1
an example of the 'levels' concept is the difference between a view of the graph of the file directories . . .
4K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootLibraries
std lib: + - * / pow e exp log (sqrt = pow(x,.5) ; log = exp^-1, not to be confused with 1/exp) matrix . . .
9K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
41K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesNotes2
i'm not quite sure how to divide up the core/bundled/recommended libraries. At the one extreme, we have . . .
32K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesThoughts
"say" instead of "print" (it's shorter) "say" autocoerces to string (includes a call to conv2str/str()/Python . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootLiveCodingNotes1
http://en.wikipedia.org/wiki/Live_coding -- http://yaxu.org/tidal/ https://github.com/yaxu/Tidal/blob/master/doc/tidal.md . . .
3K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
8K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootLowLevel
allow 'new' and 'delete' for optional manual memory management . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootLowLevelNotes1
== Oot low-level toreads == * https://en.wikipedia.org/wiki/Sing_Sharp . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootMathAssistantNotes1
what can oot learn from computer algebra and theorem-proving systems? -- Computer algebra systems get . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMemoryManagement
GC: precise, incremental (or mb concurrent), soft real-time maybe like Inferno's (hybrid with refcounting) . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMemoryManagementNotes1
-- Python has reference counting, which frees most memory immediately as soon as it can be, but which . . .
31K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogramming
== oot metaprogramming design todos == * is the (parsed but) uncompiled AST sometimes available to runtime . . .
7K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogrammingNotes1
---- this blog post claims that haskell obsoletes lisp macros, b/c you only need macros to avoid evaluating . . .
50K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogrammingNotes2
http://stackoverflow.com/questions/tagged/homoiconicity --- " You might already have a language in mind . . .
4K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMmo
There are lots of competing MMO architectures. We don't want to make another one, and we don't want . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootModule
== oot module design principals == ==== the language should protect you from your coworkers ==== * you . . .
3K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootModuleNotes1
http://skilpat.tumblr.com/post/9411500320/a-modular-package-language-for-haskell -- " nadaviv 1 day ago . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootModuleThoughts
if a later import statement would overwrite an existing symbol, the later statement must say whether . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNaturalLanguageNotes1
what do people talk about in human languages? not so much algorithm specification, but rather, just passing . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNaturalLanguageThoughts
== oot natural language toreads == == assembly == what does a typical assembly instruction sound like . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNet
oot graphs are like property graphs, with the perspective allowing one to rotate properties into vs. . . .
4K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNetMatching
need a way to express transitivity requirement --- hmm... i think perhaps there is an even broader abstraction . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
154K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNotes1
mb give up on node labels and just have node labels be references but have have a mechanism to make namespaces . . .
156K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootNotes10
Lua closures vs OOP object instances vs Haskell partially applied functions (vs clojure closures) --- . . .
116K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes11
http://learnyousomeerlang.com/static/img/worm.png is funny (from http://learnyousomeerlang.com/starting-out-for-real . . .
57K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNotes12
in oot, w/o baking in a single message bus implementaioh, can we have a std optional language for wheether . . .
80K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes13
https://wizardsofsmart.wordpress.com/2015/03/19/web-apis-vs-rpc/ --- django release discussion: " bebop . . .
94K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNotes2
---- auto conversion would be nice. for example, you should be able to tag a value as a "log return" . . .
104K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootNotes3 2
--- " mattj 6 hours ago | link So the issue here is two-fold: - It's very hard to do 'intelligent routing' . . .
162K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes4
huh, this looks very general, clean, and like the keywordish relations that i've been looking for: http://www.lshift.net/blog/2010/12/22/conditional-statements-the-lambda-calculus-and-earlylate-binding . . .
52K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootNotes6
https://www.semipublic.comp-arch.net/wiki/Bad,_Good,_and_Middling_Ideas_in_Computer_Architecture https://www.semipublic.comp-arch.net/wiki/Design_Principles_and_Rules_of_Thumb . . .
38K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootNotes7
https://blog.heroku.com/archives/2014/3/11/node-habits -- probs with Django ORM: https://speakerdeck.com/alex/why-i-hate-the-django-orm . . .
102K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
94K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes9
a few insights i've had recently: * multi-dimensional dataframes are like keywords are like hyperedges; . . .
68K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootNotesFiltered1
notes removed from ootNotes* that i dont want to forget: ---- http://lambda-the-ultimate.org/node/4592 . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootNumerology
== powers of 2 == --- what bit width for various things? 64-bit is a commonly used width according to . . .
29K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootOntologicalConcepts
time event actor: an entity that can take actions send, receive: actions that pass something from one . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootOop
functions of OOP: * inheritance (reuse and override code, mixins allowing a data API to be built from . . .
7K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
15K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootOperationsNotes1
" > And function overloading adds another layer of complexity and ambiguity. Overloading is a separate . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootPackagingNotes1
(mostly moved to [Self:proj-oot-plChToolingImpl] . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootPackagingThoughts
See this thread from Hacker News on the lack of canonical best practices for use of packaging/deployment . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootPatternThoughts
clojure's :as e.g. (defn make-rectangle [[p1 p2 p3 p4 :as vertices]] (let [a (distance p1 p2) b (distance . . .
3K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootPatterns
== Oot pattern design todos == * design patterns . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootPointerNotes1
plan 9 has something equivalent to aliases via bind, in contrast to symlinks which are equivalent to . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootPrincipals
* Syntax is for grouping and for ; standard control flow constructs do not belong in basic language syntax, . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootProject
BSD or MIT-style license amendable code with pietrust reputation system to propose changes and to canonicalize . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootRoots
This page is for me to try to distill Oot down to its 'big ideas', and also for me to identify what should . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootRosettaCandidates
grep in clojure from slide 16 of https://speakerd.s3.amazonaws.com/presentations/2471a370b3610130440476a0f7eede16/2013-05-17-ClojureOOP-Geecon.pdf . . .
3K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootRunNotes1
-regex command to just apply a regex to a file (or mb -match, -replace, -search) . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootSafetyNotes1
"Swift eliminates entire classes of unsafe code. Variables are always initialized before use, arrays . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSandboxNotes1
http://lua-users.org/wiki/SandBoxes ---- http://stackoverflow.com/questions/4011260/sandbox-jvm-to-secure-server-from-untrusted-sources . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootScopeNotes1
are semiglobals like these?: http://docs.racket-lang.org/srfi-std/srfi-39.html --- in order to make semiglobals . . .
7K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootSemantic
look at docs for logic programming languages and semantic web tools for examples of things that mb could . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootSemanticNotes1
http://webintents.org/ -- should be able to specify 'goals', e.g. this stochastic gradient descent subroutine's . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSemanticVocabulary
Perhaps a programming language should also be a language. Towards this, Oot defines words to represent . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootSpreadsheetNotes1
how can Oot reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
63K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootSpreadsheetNotes2
some spreadsheet pros and cons: pros: " Spreadsheets have a largely nonsymbolic representation of programs. . . .
8K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootState
== Design todos == how to reconcile the not wanting hidden aliasing with wanting properties? . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootStateNotes1
-- if you take a descendent of the root node, and put it in its own variable, but if you change that . . .
28K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootStringNotes1
upvote rspeer 1 day ago | link The thing I'm looking forward to in Python 3.4 is that you should be . . .
40K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootSyntax
The lexical syntax is defined by regular expressions. The parse syntax is LL(1). Almost everything which . . .
6K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
51K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes3
might want a syntax for 'apply this code transformation with the scope of this entire function'. Eg might . . .
7K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxTable
== CURRENT BEST GUESS SYNTAX == syntax (ordered by approximate descending ease of typing): a/b/c: infix, . . .
6K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxTableOld
== CURRENT BEST GUESS SYNTAX == note this is rather out of date, i just copied from oot.txt syntax (ordered . . .
9K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxThoughts
unlike Haskell, we don't want to allow arbitrary operator precedence, because then you have to look up . . .
94K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootTeamNotes1
maybe we're fine with enforcable access modifiers as long as (a) the language allows binary interoperation . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootTeamThoughts
because someone once said "...I dislike Java as a teaching language: having to tell people "don't worry . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootThoughts
it's annoying how in Python 2, 3/2 == 1 (b/c integer division is used). in Python 3 this is corrected. . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootToReads
see also [Self:notes-computer-oot-ootToReadsCondensed] ==== toreads unsorted ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
60K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootToReadsAlreadyCopiedToPlBook
== Atscript == * https://docs.google.com/document/d/11YUzC-1d0V1-Q3V0fQ7KSit97HnZoKVygDxpWzEYW0U/mobilebasic?viewopt=127 . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootToReadsCondensed
see also [Self:notes-computer-oot-ootToReads] == categorized list of some languages to learn/study == . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootToReadsFrameworks
= Microservice frameworks = * [https://twitter.github.io/finagle/ twitter's finagle microservice] ** . . .
20K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootTour
This purpose of this tour is to show you the distinctive features of Oot. If you're looking to learn . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
34K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootTypes
== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootUiNotes1
http://archlinux.me/dusty/2012/10/16/python-on-android-first-impressions-of-kivy/ Kivy, pyQT, pyGTK,wxpython, . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootVariadicFnsVsImplicitPartialApplication
see also [Self:notes-computer-programming-progammingLanguageDesign-prosandCons-variadicFnsVsImplicitPartialApplications]. . . .
8K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootVariantImplementations
Stuff like quicksort, bubblesort, insertion sort are called 'variant implementations' in Oot because . . .
8K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootViewNotes1
earlier, i thought that perhaps views should be restricted to algebraic/shape-based mappings between . . .
17K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootViewThoughts
* if views are being used so that you can pass a data structure into something that sees only a projection . . .
6K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootVirtualizationNotes1
by 'virtualization' i mean that i want the programmer to run an interpreter for another language on top . . .
4K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootWhitespaceNotes
whitespace principals: * the presence or absence of whitespace is meaningful * the difference between . . .
14K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-oot slides
== Oot == presented by Bayle Shanks ---- == My background == * Favorite language Python * Think Haskell . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-operators
== environments == () grouping [] data (arc labels are quoted but values are evaluated) ?[ ] quoted graph . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-principalTypesConsideredHarmful
example from http://en.wikibooks.org/wiki/Haskell/GADT {-#LANGUAGE GADTs, EmptyDataDecls #-} -- (the . . .
3K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-typeSystem
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-whyOot
The following, although written as present-tense facts, are in fact future hypothetical wishlist items! . . .
78K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-whyOotDesignIdeas
stuff moved from whyOot --- An important kind of readability is 'skimmability'. Skimming can mean the . . .
18K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ww
-- toread++: https://speakerdeck.com/stilkov/clojure-for-oop-folks-how-to-design-clojure-programs toread . . .
5K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618DataSyntaxNotes
(absorbed into other notes, just keeping this around in case i want to see it again for some reason, . . .
10K - last updated 2015-06-19 07:06 UTC by BayleShanks
proj-oot-old-150618oot
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
129K - last updated 2015-06-19 20:44 UTC by BayleShanks
proj-oot-old-151220
* [Self:proj-oot-old-151220-ootLibrariesNotes2 ootLibrariesNotes2] * [Self:proj-oot-old-151220-ootStringNotes1 . . .
1K - last updated 2015-12-21 23:14 UTC by BayleShanks
proj-oot-old-151220--index
* [Self:proj-oot-old-151220-ootLibrariesNotes2 ootLibrariesNotes2] * [Self:proj-oot-old-151220-ootStringNotes1 . . .
1K - last updated 2015-12-21 23:14 UTC by BayleShanks
proj-oot-old-151220-ootLibrariesNotes2
--- blog post and HN discussion on on random number generators and (in the HN discussion) hashing fns . . .
33K - last updated 2015-12-21 22:01 UTC by BayleShanks
proj-oot-old-151220-ootStringNotes1
--- andrewstuart 5 hours ago IMO one of the reasons for all the ((with Python unicode)) angst is that . . .
24K - last updated 2015-12-21 22:01 UTC by BayleShanks
proj-oot-old-ootAssemblyNotes17
some old notes that led me to break out BootX from Boot: * actually let's reduce it to 16 instructions: . . .
12K - last updated 2017-10-05 23:59 UTC by BayleShanks
proj-oot-old-ootAssemblyNotes21Old
should we specify a fixed calling convention for LIBRARY? Perhaps just have all arguments and all return . . .
52K - last updated 2018-04-01 10:21 UTC by BayleShanks
proj-oot-old-ootAssemblyThoughtsOld
old MEDIUM instructionEncodings: TODO: consider having only 1024 regs and having the following encoding . . .
5K - last updated 2016-09-06 01:04 UTC by BayleShanks
proj-oot-old-ootDevelopmentProcessNotes1Old
--- Rust docs have some excellent verbiage quickly explaining the most important parts of Semver: " . . .
12K - last updated 2016-09-03 06:11 UTC by BayleShanks
proj-oot-old-ootErrorNotes3Old
--- A blog post by Eric Lippert, C# guy, sounds about right: [https://ericlippert.com/2008/09/10/vexing-exceptions/] . . .
4K - last updated 2018-03-01 01:37 UTC by BayleShanks
proj-oot-old-ootNotes16
--- i read much of the page https://en.wikipedia.org/wiki/Predicate_functor_logic . The primitives, which . . .
2K - last updated 2016-01-24 22:00 UTC by BayleShanks
proj-oot-old-ootSyntaxNotes
--- disregarded in favor of `` for ASTs and 'logic', functional reactive streams for 'capturing' side-effects, . . .
23K - last updated 2015-10-03 01:02 UTC by BayleShanks
proj-oot-old-ootSyntaxNotes4Old
--- in some example F# code i just saw: newList = oldList :: newItem if we are allowing local mutation . . .
1K - last updated 2016-06-27 21:47 UTC by BayleShanks
proj-oot-old-ootTypeNotes7Old
--- my notes on the following series of blog posts by Eric Lippert, C# guy: [https://ericlippert.com/2015/04/27/wizards-and-warriors-part-one/] . . .
14K - last updated 2018-03-01 01:36 UTC by BayleShanks
proj-oot-old-whyOot
* [Self:proj-oot-old-whyOot-141229 141229] . . .
1K - last updated 2014-12-31 20:00 UTC by BayleShanks
proj-oot-old-whyOot--index
* [Self:proj-oot-old-whyOot-141229 141229] . . .
1K - last updated 2014-12-31 20:00 UTC by BayleShanks
proj-oot-old-whyOot-141229
note that none of this has been implemented yet, and the design is still in flux! All of these items, . . .
76K - last updated 2014-12-30 06:47 UTC by BayleShanks
215 pages found.
