![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
notes-computer-programming-programmingLanguageDesign-jasper
#REDIRECT [Self:proj-jasper] . . .
1K - last updated 2014-07-12 05:34 UTC by BayleShanks
proj-jasper
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 UTC by BayleShanks
proj-jasper--index
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 UTC by BayleShanks
proj-jasper-concurrency
=== Concurrency ideas === ==== transactions ==== ==== futures ==== (see http://en.wikipedia.org/wiki/Future_%28programming%29) . . .
21K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-error
== exceptions == module interfaces must declare new types of exceptions? or must declare all thrown exceptions??? . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-graphTechnicalNotes
= Technical notes on Jasper "graphs" = What we call "graphs" in Jasper is a type of value which are what . . .
4K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasper
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
98K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasper131027
i'd replace jasper.txt but i don't wanna read thru the old stuff right now, so: == syntax == commentary: . . .
12K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperAlgebraNotes1
an algebraic transform = an optional macro, by which i mean that when you say something like (a * x) . . .
1K - last updated 2014-08-16 19:53 UTC by BayleShanks
proj-jasper-jasperArithmeticNotes1
" > map (^0) [0] 15:36:22 <lambdabot> [1] 15:36:24 <mar77a> NOOOOOOO 15:36:32 <mar77a> . . .
20K - last updated 2014-09-30 06:55 UTC by BayleShanks
proj-jasper-jasperAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
57K - last updated 2014-09-21 20:20 UTC by BayleShanks
proj-jasper-jasperAssemblyNotes2
-- so, Jasper Assembly may be fixed-length, not for efficiency, but for ease of implementation. Code . . .
70K - last updated 2014-09-23 23:10 UTC by BayleShanks
proj-jasper-jasperAssemblyNotes3
i've been reading about Lua's VM from http://luaforge.net/docman/83/98/ANoFrillsIntroToLua51VMInstructions.pdf . . .
19K - last updated 2014-10-29 23:42 UTC by BayleShanks
proj-jasper-jasperAssemblyOld1
== 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 2014-08-22 19:48 UTC by BayleShanks
proj-jasper-jasperAssemblyThoughts
not sure if this should be part of Jasper core or Jasper or not at all.. anyways i've been thinking about . . .
133K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperAttributes
standard perspectives and attributes: @meta: __get __get label = returns the target of the arc labeled . . .
4K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperBoundaries
* atomic marker * transaction marker * stream fusion marker? * monitor marker (only one copy of this . . .
1K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperBrain
one of the original goals was to make a programming language which mirrored as much as possible the sort . . .
11K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperBrainNotes1
custom multiple flavors of indirect addressing like the types of meta connection to the RDF verb/hypergraphs? . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperCalls
note: in Python, the default argument assignment is evaluated only once, not per call. If you pass something . . .
1K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperCapabilities
two types of capabilities: advisory and security. advisory capabilities can be overridden by debug code. . . .
2K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperCapabilitiesNotes1
read stdio, write stdout, write stderr read/write other streams, files read/write/execute any file under . . .
3K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperCommandline
* an argument switch to give code for 'oneliners' on the command line. One-liners execute like scripts, . . .
1K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperCommunityProcess
decisions about jasper will be made in a dictatorial style (BDFL), however like Python there is a structured . . .
1K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperCompilationPipeline
== Stages == user source filters -> scanner -> parser -> language reader macro application -> . . .
9K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperCompiler
== jasper compiler design principals == also for the interpreter and runtime ---- * stack traces or similar . . .
15K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperCompilerErrorMessageNotes1
in Golang, if you end a file without either a newline or semicolon to terminate the last line of code, . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperCompilerNotes1
" I use Vim plugin called vim-godef. It is sort of like ctags, but better. It lets you jump to definition . . .
13K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperComponent
Jasper should make it easy to write software with a 'plug-in architecture', whatever that means. --- . . .
6K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperComponentsNotes1
dependencies between plugins? -- https://blog.nodejitsu.com/ioc-and-dependency-injection-with-broadway/ . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperConcurrency
== toread == http://kilby.stanford.edu/~rvg/352.html == misc == fork STM `par` parallel array types . . .
2K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperConcurrencyNotes1
https://developer.apple.com/library/ios/DOCUMENTATION/Cocoa/Conceptual/Multithreading/ThreadSafety/ThreadSafety.html . . .
105K - last updated 2014-08-20 23:49 UTC by BayleShanks
proj-jasper-jasperConcurrencyNotes2
https://www.google.com/search?q=concurrency+primitives https://www.google.com/search?q=concurrency+features . . .
9K - last updated 2014-10-16 08:34 UTC by BayleShanks
proj-jasper-jasperConcurrencyThoughts
protothreads http://dunkels.com/adam/pt/ http://code.google.com/p/jetlang/ --- " [reply] Re: (OT) Programming . . .
19K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperConstraintLogic
--- the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperControl
== jasper control design todos == * do we support ruby-like blocks inside of which a 'return' returns . . .
1K - last updated 2014-07-14 05:22 UTC by BayleShanks
proj-jasper-jasperControlNotes1
i guess references mark bits of state that persist even if you invoke a continuation. -- we gotta do . . .
36K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperCore
Jasper Core is an intermediate language (IL) for Jasper. Goals: * Bootstrapping Jasper: a small language . . .
9K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperCoreNotes1
i like Parrot's custom bytecodes --- === types of memory barriers === load/load, load/store, store/load, . . .
30K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperCoreThoughts
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 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperCriteria
== Goals (high-level design criteria) == * Minimize the time it takes for an experienced Jasper programmer . . .
9K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperCriteriaNotes
" The success of C is largely due to its context-independence relative to other languages at the time: . . .
1K - last updated 2014-08-02 22:46 UTC by BayleShanks
proj-jasper-jasperData
see also jasperDataModes, jasperAttributes == data design todos == * queries: look at Linq, htsql, MDX, . . .
12K - last updated 2014-07-14 05:25 UTC by BayleShanks
proj-jasper-jasperDataModes
* mutable * strictness * unique * clojure's ref vs agent vs atom? * ?? what else? -- should we have a . . .
1K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperDataNotes1
== jasper data design todos == * representations may be related by a chain of transformations, not just . . .
75K - last updated 2014-08-22 19:49 UTC by BayleShanks
proj-jasper-jasperDataNotes2
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 . . .
6K - last updated 2014-10-29 23:43 UTC by BayleShanks
proj-jasper-jasperDataThoughts
maybe in line with the 'everything is an interface' policy, when a function needs to create a new instance . . .
3K - last updated 2014-10-08 19:43 UTC by BayleShanks
proj-jasper-jasperDesignChoices
== High-level design criteria == In roughly descending order of importance to Jasper. === Turing completeness . . .
44K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperDesignTodos
=== Design todos === * change name? graphite? morphic? sapphire? metamorphic? garnet? jaspre? lapis? . . .
9K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperDevelopmentProcess
Initially (this part is an after-the-fact description): * features that we want for jasper, and motivating . . .
3K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperDevelopmentProcessNotes1
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 . . .
12K - last updated 2014-10-09 23:32 UTC by BayleShanks
proj-jasper-jasperDevelopmentProcessThoughts
Initially (this part is an after-the-fact description): * features that we want for jasper, and motivating . . .
11K - last updated 2014-10-08 06:00 UTC by BayleShanks
proj-jasper-jasperDifficultyLevels
compiler-enforced, by source code file partially inspired by Hypercard " There are 5 user levels within . . .
2K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperDocumentation
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 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperDocumentationNotes1
Scaevolus 15 hours ago | link The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html . . .
4K - last updated 2014-07-31 23:29 UTC by BayleShanks
proj-jasper-jasperEfficiencyNotes1
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 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperError
Maybe/Option towers, with names (analogy with keyword args?) syntactically concise way to transmute exceptions . . .
6K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperErrorNotes1
"Error messages from Complex types In Yesod we have some complex types in a few key places. And we are . . .
33K - last updated 2014-10-29 23:42 UTC by BayleShanks
proj-jasper-jasperFfiNotes1
Python CTypes https://gist.github.com/Jach/1208215 -- https://news.ycombinator.com/item?id=7136604 Thrift, . . .
1K - last updated 2014-09-09 21:32 UTC by BayleShanks
proj-jasper-jasperFootnotes
something like: if OrdinaryCondition: DoOrdinaryThing else: DoExtraordinaryThing should be transformed . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperFromOthers
On this page we speculate about how one could start with various simple machine paradigms and make them . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperGuiNotes1
" For example, in Tcl/Tk (which combines the Tcl language with a tool kit for building graphical interfaces), . . .
1K - last updated 2014-07-21 03:47 UTC by BayleShanks
proj-jasper-jasperHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperHaskellStuff
This page is not a coherent topic, just a list of things i saw from the Haskell community that i want . . .
2K - last updated 2014-07-13 21:14 UTC by BayleShanks
proj-jasper-jasperHistory
Starting in grade school i learned a bunch of programming languages. Eventually i went to grad school . . .
7K - last updated 2014-07-18 20:39 UTC by BayleShanks
proj-jasper-jasperHtml5
Jasper intends, among other things, to create a [Self:notes-computer-jasper-jasperLearnToProgram learn-to-program . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperHtml5Basic
since Jasper won't be ready until the far future if ever, unlike most projects, i think it's safe to . . .
3K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperHtml5BasicNotes1
below i've appending my June 2014 test results for an HTML5 test suites for two browsers on my Android . . .
12K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperHtml5Notes1
-- probably should have an HTML5 version first, see http://wiki.scratch.mit.edu/wiki/Scratch_on_Tablets . . .
1K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperIdeAPI
ramchip 747 days ago | link You're right about Emacs+Slime being nice for CL, but I don't think Emacs . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperIdeNotes1
table 5 of On the Syllogistic Structure of Object-Oriented Programming has a list of queries on OOP stuff . . .
3K - last updated 2014-10-08 06:05 UTC by BayleShanks
proj-jasper-jasperImplementation
Jasper will be implemented in 4 stages. First, it will be implemented in Jasper. Although this implementation . . .
2K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperImplementation3
see also JasperMemoryManagement "separate heap per lightweight process (hence no stop-the-world GC)," . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
71K - last updated 2014-09-23 23:11 UTC by BayleShanks
proj-jasper-jasperImplementationNotes2
how are we going to reconcile our requirement that the main interpreter/compiler be canonical with our . . .
11K - last updated 2014-10-06 03:59 UTC by BayleShanks
proj-jasper-jasperImplementationThoughts
let's use something similar to the nanopass compiler framework: https://github.com/akeep/nanopass-framework/blob/master/doc/user-guide.pdf?raw=true . . .
2K - last updated 2014-09-21 01:30 UTC by BayleShanks
proj-jasper-jasperInspirations
== Typing == not the languages which invented these things, just the ones which inspired me: * Haskell . . .
4K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperInterop
See also jasperFfi It should be easy to take an existing program written in, say, C or Python, one which . . .
5K - last updated 2014-08-31 19:29 UTC by BayleShanks
proj-jasper-jasperInteropNotes1
re: go: "In addition, interacting with popular libraries (such as libsdl or even OpenGL) that use thread-local . . .
16K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperIrrelevantNotes
http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperLazy
jasper lazy design questions: * do we need full laziness, like in Haskell, or is a core library focus . . .
8K - last updated 2014-10-10 17:09 UTC by BayleShanks
proj-jasper-jasperLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
69K - last updated 2014-10-29 23:40 UTC by BayleShanks
proj-jasper-jasperLearnToProgram
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 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperLearnToProgramNotes1
--- when i went to http://scratch.mit.edu/projects/editor/?tip_bar=getStarted , there is a tutorial where . . .
12K - last updated 2014-07-14 05:24 UTC by BayleShanks
proj-jasper-jasperLevels
i have this idea that Jasper should have 'levels' and that the semantics of the language should be similar . . .
5K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperLevelsNotes1
an example of the 'levels' concept is the difference between a view of the graph of the file directories . . .
4K - last updated 2014-08-04 18:28 UTC by BayleShanks
proj-jasper-jasperLibraries
std lib: + - * / pow e exp log (sqrt = pow(x,.5) ; log = exp^-1, not to be confused with 1/exp) matrix . . .
9K - last updated 2014-10-29 23:38 UTC by BayleShanks
proj-jasper-jasperLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
42K - last updated 2014-10-07 23:05 UTC by BayleShanks
proj-jasper-jasperLibrariesNotes2
i'm not quite sure how to divide up the core/bundled/recommended libraries. At the one extreme, we have . . .
14K - last updated 2014-10-29 23:39 UTC by BayleShanks
proj-jasper-jasperLibrariesThoughts
"say" instead of "print" (it's shorter) "say" autocoerces to string (includes a call to conv2str/str()/Python . . .
1K - last updated 2014-10-07 23:05 UTC by BayleShanks
proj-jasper-jasperLiveCodingNotes1
http://en.wikipedia.org/wiki/Live_coding -- http://yaxu.org/tidal/ https://github.com/yaxu/Tidal/blob/master/doc/tidal.md . . .
3K - last updated 2014-08-09 22:10 UTC by BayleShanks
proj-jasper-jasperLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
7K - last updated 2014-08-16 19:54 UTC by BayleShanks
proj-jasper-jasperLowEndTargets
Wouldn't it be interesting if Jasper could be a good choice for embedded systems too? This is not one . . .
89K - last updated 2014-09-06 23:16 UTC by BayleShanks
proj-jasper-jasperLowEndTargetsNotes2
--- https://www.spark.io/ STM32F103 microcontroller ARM Cortex M3 architecture 32-bit 72Mhz processor . . .
57K - last updated 2014-09-21 19:09 UTC by BayleShanks
proj-jasper-jasperLowLevel
allow 'new' and 'delete' for optional manual memory management . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperLowLevelNotes1
== Jasper low-level toreads == * https://en.wikipedia.org/wiki/Sing_Sharp . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperMathAssistantNotes1
what can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperMemoryManagement
GC: precise, incremental (or mb concurrent), soft real-time maybe like Inferno's (hybrid with refcounting) . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperMemoryManagementNotes1
-- Python has reference counting, which frees most memory immediately as soon as it can be, but which . . .
23K - last updated 2014-10-03 14:43 UTC by BayleShanks
proj-jasper-jasperMetaprogramming
== jasper metaprogramming design todos == * is the (parsed but) uncompiled AST sometimes available to . . .
7K - last updated 2014-07-13 21:13 UTC by BayleShanks
proj-jasper-jasperMetaprogrammingNotes1
---- this blog post claims that haskell obsoletes lisp macros, b/c you only need macros to avoid evaluating . . .
45K - last updated 2014-10-03 16:28 UTC by BayleShanks
proj-jasper-jasperMmo
There are lots of competing MMO architectures. We don't want to make another one, and we don't want . . .
2K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperModule
== jasper module design principals == ==== the language should protect you from your coworkers ==== . . .
3K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperModuleNotes1
http://skilpat.tumblr.com/post/9411500320/a-modular-package-language-for-haskell -- " carrja99 1 day . . .
8K - last updated 2014-10-03 00:53 UTC by BayleShanks
proj-jasper-jasperModuleThoughts
if a later import statement would overwrite an existing symbol, the later statement must say whether . . .
2K - last updated 2014-08-20 23:50 UTC by BayleShanks
proj-jasper-jasperNaturalLanguageNotes1
"In English, 'to be' can have different functions: It talks about Identity: The cat is my only pet, The . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperNaturalLanguageThoughts
== jasper natural language toreads == * the 8 parts of speech recognized in English (noun, verb, adjective, . . .
4K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperNet
jasper graphs are like property graphs, with the perspective allowing one to rotate properties into vs. . . .
4K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNetMatching
need a way to express transitivity requirement --- hmm... i think perhaps there is an even broader abstraction . . .
2K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
155K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperNotes1
mb give up on node labels and just have node labels be references but have have a mechanism to make namespaces . . .
157K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperNotes10
Lua closures vs OOP object instances vs Haskell partially applied functions (vs clojure closures) --- . . .
117K - last updated 2014-10-29 23:40 UTC by BayleShanks
proj-jasper-jasperNotes11
http://learnyousomeerlang.com/static/img/worm.png is funny (from http://learnyousomeerlang.com/starting-out-for-real . . .
1K - last updated 2014-10-29 23:44 UTC by BayleShanks
proj-jasper-jasperNotes2
---- auto conversion would be nice. for example, you should be able to tag a value as a "log return" . . .
104K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperNotes3 2
--- " mattj 6 hours ago | link So the issue here is two-fold: - It's very hard to do 'intelligent routing' . . .
164K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperNotes4
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 2014-09-09 02:19 UTC by BayleShanks
proj-jasper-jasperNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNotes6
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 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperNotes7
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 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
94K - last updated 2014-08-20 23:48 UTC by BayleShanks
proj-jasper-jasperNotes9
a few insights i've had recently: * multi-dimensional dataframes are like keywords are like hyperedges; . . .
68K - last updated 2014-09-23 23:14 UTC by BayleShanks
proj-jasper-jasperNotesFiltered1
notes removed from jasperNotes* that i dont want to forget: ---- http://lambda-the-ultimate.org/node/4592 . . .
2K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNumerology
== powers of 2 == --- what bit width for various things? 64-bit is a commonly used width according to . . .
23K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperOntologicalConcepts
time event actor: an entity that can take actions send, receive: actions that pass something from one . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperOop
functions of OOP: * inheritance (reuse and override code, mixins allowing a data API to be built from . . .
7K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
15K - last updated 2014-10-09 23:29 UTC by BayleShanks
proj-jasper-jasperOperationsNotes1
" > And function overloading adds another layer of complexity and ambiguity. Overloading is a separate . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperPackagingNotes1
https://news.ycombinator.com/item?id=7802005 -- lbotos 15 hours ago | link Current Go users, What's the . . .
17K - last updated 2014-09-19 08:21 UTC by BayleShanks
proj-jasper-jasperPackagingThoughts
See this thread from Hacker News on the lack of canonical best practices for use of packaging/deployment . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperPatternThoughts
clojure's :as e.g. (defn make-rectangle [[p1 p2 p3 p4 :as vertices]] (let [a (distance p1 p2) b (distance . . .
3K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperPatterns
== Jasper pattern design todos == * design patterns . . .
1K - last updated 2014-07-14 05:22 UTC by BayleShanks
proj-jasper-jasperPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperPointerNotes1
plan 9 has something equivalent to aliases via bind, in contrast to symlinks which are equivalent to . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperPrincipals
* Syntax is for grouping and for ; standard control flow constructs do not belong in basic language syntax, . . .
1K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperProject
BSD or MIT-style license amendable code with pietrust reputation system to propose changes and to canonicalize . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperRoots
This page is for me to try to distill Jasper down to its 'big ideas', and also for me to identify what . . .
2K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperRosettaCandidates
grep in clojure from slide 16 of https://speakerd.s3.amazonaws.com/presentations/2471a370b3610130440476a0f7eede16/2013-05-17-ClojureOOP-Geecon.pdf . . .
3K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperSafetyNotes1
"Swift eliminates entire classes of unsafe code. Variables are always initialized before use, arrays . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperSandboxNotes1
http://lua-users.org/wiki/SandBoxes ---- http://stackoverflow.com/questions/4011260/sandbox-jvm-to-secure-server-from-untrusted-sources . . .
2K - last updated 2014-10-16 08:33 UTC by BayleShanks
proj-jasper-jasperScopeNotes1
are semiglobals like these?: http://docs.racket-lang.org/srfi-std/srfi-39.html --- in order to make semiglobals . . .
3K - last updated 2014-10-07 23:08 UTC by BayleShanks
proj-jasper-jasperSemantic
look at docs for logic programming languages and semantic web tools for examples of things that mb could . . .
1K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperSemanticNotes1
http://webintents.org/ -- should be able to specify 'goals', e.g. this stochastic gradient descent subroutine's . . .
1K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperSpreadsheetNotes1
how can Jasper reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
63K - last updated 2014-10-03 14:46 UTC by BayleShanks
proj-jasper-jasperStateNotes1
-- if you take a descendent of the root node, and put it in its own variable, but if you change that . . .
25K - last updated 2014-08-20 23:49 UTC by BayleShanks
proj-jasper-jasperStringNotes1
upvote rspeer 1 day ago | link The thing I'm looking forward to in Python 3.4 is that you should be . . .
38K - last updated 2014-10-29 23:40 UTC by BayleShanks
proj-jasper-jasperSyntax
The lexical syntax is defined by regular expressions. The parse syntax is LL(1). Almost everything which . . .
6K - last updated 2014-07-14 05:22 UTC by BayleShanks
proj-jasper-jasperSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2014-10-08 08:27 UTC by BayleShanks
proj-jasper-jasperSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
3K - last updated 2014-10-29 23:38 UTC by BayleShanks
proj-jasper-jasperSyntaxTable
== CURRENT BEST GUESS SYNTAX == note this is rather out of date, i just copied from jasper.txt syntax . . .
9K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperSyntaxThoughts
unlike Haskell, we don't want to allow arbitrary operator precedence, because then you have to look up . . .
90K - last updated 2014-10-29 23:44 UTC by BayleShanks
proj-jasper-jasperTeamNotes1
maybe we're fine with enforcable access modifiers as long as (a) the language allows binary interoperation . . .
1K - last updated 2014-07-14 05:24 UTC by BayleShanks
proj-jasper-jasperTeamThoughts
because someone once said "...I dislike Java as a teaching language: having to tell people "don't worry . . .
1K - last updated 2014-07-13 21:14 UTC by BayleShanks
proj-jasper-jasperThoughts
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 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperToReads
see also [Self:notes-computer-jasper-jasperToReadsCondensed] ==== toreads ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
50K - last updated 2014-10-29 23:43 UTC by BayleShanks
proj-jasper-jasperToReadsCondensed
see also [Self:notes-computer-jasper-jasperToReads] == categorized list of some languages to learn/study . . .
10K - last updated 2014-10-11 09:02 UTC by BayleShanks
proj-jasper-jasperTour
This purpose of this tour is to show you the distinctive features of Jasper. If you're looking to learn . . .
1K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperType
== 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 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2014-08-04 18:27 UTC by BayleShanks
proj-jasper-jasperTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
10K - last updated 2014-10-08 19:43 UTC by BayleShanks
proj-jasper-jasperTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2014-10-08 19:44 UTC by BayleShanks
proj-jasper-jasperTypes
== Jasper type design todos == * how does our extensible type system work? ==== toreads for this ==== . . .
2K - last updated 2014-07-14 05:22 UTC by BayleShanks
proj-jasper-jasperTypesLinks
==== toreads for this ==== * chapter 1 of Principles of Program Analysis (http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0 . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperUiNotes1
http://archlinux.me/dusty/2012/10/16/python-on-android-first-impressions-of-kivy/ Kivy, pyQT, pyGTK,wxpython, . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperVariadicFnsVsImplicitPartialApplication
see also [Self:notes-computer-programming-progammingLanguageDesign-prosandCons-variadicFnsVsImplicitPartialApplications]. . . .
8K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperVariantImplementations
Stuff like quicksort, bubblesort, insertion sort are called 'variant implementations' in Jasper because . . .
8K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperViewNotes1
earlier, i thought that perhaps views should be restricted to algebraic/shape-based mappings between . . .
12K - last updated 2014-10-11 09:05 UTC by BayleShanks
proj-jasper-jasperViewThoughts
* if views are being used so that you can pass a data structure into something that sees only a projection . . .
4K - last updated 2014-08-04 18:25 UTC by BayleShanks
proj-jasper-jasperVirtualizationNotes1
by 'virtualization' i mean that i want the programmer to run an interpreter for another language on top . . .
4K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperWhitespaceNotes
whitespace principals: * the presence or absence of whitespace is meaningful * the difference between . . .
14K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-jasper slides
== Jasper == presented by Bayle Shanks ---- == My background == * Favorite language Python * Think Haskell . . .
5K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-operators
== environments == () grouping [] data (arc labels are quoted but values are evaluated) ?[ ] quoted graph . . .
7K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-jasper-principalTypesConsideredHarmful
example from http://en.wikibooks.org/wiki/Haskell/GADT {-#LANGUAGE GADTs, EmptyDataDecls #-} -- (the . . .
3K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-typeSystem
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-whyJasper
note that none of this has been implemented yet, and the design is still in flux! All of these items, . . .
76K - last updated 2014-10-10 00:35 UTC by BayleShanks
177 pages found.
