@. develops a set_syntax for texts in natural languages ;;programming.languages are tasked with @capacity:= represent highly-complex information in a manner:= eases comprehensions & modifications ;;{through @creations&@usages_@@.languages <:} grammatical&syntactical guidelines have been developed for @@.purposes ;;such evolutions among natural languages have been relatively slow ({:> emojis, memes,//etc are restlessly catching up})=> it %:should be undisputed to say := %:some systems in programming.languages are worthy_adopting ;;::{indeed ;} @.system takes a lot_inspirations from programming.languages ;;!; we have ^intention := formalize|mandate any particular set_rules on natural languages ;;
precisions_ & objectivity_ meanings are essential in programming=> there is a high emphasis on adhering to proper grammar ;;much_natural languages is ambiguous&personalized {:= unavoidably & beneficially so}=> %:would be ^compatible with such %a rigorous&neutral system ;;@ information.space_natural languages is ^bound&intricate ;;&; language.usages are ^centralized&elastic ;;specifying&enforcing such %a elaborate system {:> acommodating @@.traits}%:would be {extremely challenging !& working against our.goal_ease} ;;>>
{rather !;} it is ^more than a multi-tool := ideally provides said enhancements ;;{for transparency <=} we make explicit %some aims within @design!; @.list is by ^means exclusive ;;
@rules %should be as simple&concise as sensible :> being
;; adaptable => to minimize @efforts_required for text.editing|syntax.amendments ;;;; accessible {:> being learning-friendly} & {:> streamlining usage :> less dependent on referencing} ;;;; customizable => to welcome any modifications tailoring to {individual.preferences | %some spectrum_contents} ;;>>
@syntax %should stay_sweet (as in "syntactic sugar") :> avoiding interferences with @structures&@meanings_texts ;;:= they %would be
;; readable => %a person_{unfamiliar with @syntax} %:can infer&understand most contents ;;;; faithful to natural languages => tempering_@usages_{words, tones, flows, //etc} are kept_minimal ;;;; translatable => conversions to&from standard-syntax are straightforward &; leave @contents_^changed ;;>>
>>
it goes ^with saying := our.implementation is surely far from perfect ;;=> we collect %some major sources_ &| types_ issues ;;
@.tool %should be applicable for a wide variety_languages ;;!; it has so far been developed :> English_exclusively in mind ;;{due to personal interests =>} there is a priority_placed on @type_texts := is in %:some topics //eg math&sciences ;;it %would certainly be great to have systems geared towards other spectrums ;;>>
>>
{to repeat ;} @. is ^more than a multi-tool:= %one is free & welcomed to use,tweak,modify,remake as suited ;;@.syntax tackles its.goals :> %:a designated set_braces&operatorswith their. specified rules&meanings as described_here ;;
spaces & tabs {:= are collectively called "blanks"}{&; delimit words,braces,breaks}{&; indicate @order_operations := described_later} ;;=> hyphens combine =: would otherwise be separate words ;;&; blanks %:can be used for presentation&clarity<= @lengths_blanks & {blanks at @start|@end_each-line}are %:never relevant for @syntax ;;@start_%a sentence is ^capitalized&; @end_ is marked by two semicolons ;;%a name (//eg"Linux") is a word:= is {capitalized | prefixed by "#"} ;;@article "an" is ^used ;;@contents_%a piece_text are implicitly itemized &; each item has one|more paragraphs ;;%a empty line|sentence delimits items ;;%a "::" line delimits paragraphs within a item ;;line.breaks within %a paragraph are treated as blanks ;;%a line with "<<>>" is a header &; delimits items ;;!&; @contents have %:a hierarchy {&:= established :> branches}{&:= described_later} ;;>>
{in %a piece_text <:} scopes are %:some intervals := form %:a hierarchy ;;@concept %should be familiar to anyone := uses formal languages ;;scopes are specified :> braces&breaks ;;%a pair_{open&close} braces mark @bounds_a interval ({:> is possibly ^ a scope}) ;;each pair_@@.intervals %:must either ^overlap |{have one contained in @other} ;;leaf.braces are "{" "}" ;; leaves are @scaffolding := they{&; ^directly interact with @ regular text}{&; give @syntax more capabilities} ;;branch.braces are "<<" ">>" ;; branches{&; %would be foldable in advanced text.editors}{&; indicate @contents.hierarchy} ;;{for convenience <=} there is @pair_trunk.braces := bound @piece_text ;;@breaks are @@.operators : {<<>> :: ;; ; := =: :> <: => <=}!; %a break %:can be modified :> some operators ;;we say := %a break is_@smallest pair_braces := contains it ;;for %a piece_text
@scopes are given :> splitting @interval_each-pair_braces with its.breaks (:> including @bounding breaks&|braces) ;;@hierarchy_scopes is @tree_containments among @scopes ;;>>
>>
%a {word|operator|blank|scope} is_@smallest scope := contains it ;;%a scope.content is built from its.such-objects ;;@.is akin to := in programming.languages ;;@build is specified :> @scope.order_operations := puts its.operators in %:a execution.sequence ;;@order is determined from first to last ;;each entry is selected :> comparing @priorities_@operators := yet to be listed ;;@priority between two operators are decided :> @@.conditions {:> order} :
;; @latter has priority <={&; there are ^blanks between its.@ & .first-parameter}{&; there are blanks between @former & its.second-parameter} ;;@. is similar for @ mirrored case ;;//eg "a& b|c" = "a &{b | c}""a&b |c" = "{a & b}| c" ;;;; @operator {:= higher precedence} has priority ;;@precedences {:> decreasing order} are :
@ @. @@. .@ ! ^ // # % %: ;. ;& | &| ;_ ;,>> ;;
;; @latter has priority (//ie right-to-left) :> default ;;>> ;;
!; there are @@. notational convenience := overrides @above ;;
;; binary operators %:can be distributed <= there is ^ambiguity ;;//eg "my.cats &.dogs" ;;;; %a ^loosen leaf (:= described_later) is further splitted into leaves:= delimited by binary operators := blanks on both sides ;;//eg "{to be |^ to be}" = "{{to be}|{^to be}}" ;"{to be |^be}" = "{to {be|^be}}" ;;>>
>>
>>
@hierarchy_@contents & items & paragraphs are described above ;;
we explained @functions_@@.breaks : {<<>> :: ;;}&; all other breaks are clause.breaks ;;each clause.break
roughly represents %:a set_ standard-{words &| phrases &| sentence.structures} := similar meanings ;;@ words&|phrases %:can be removed <= clear ;;%:can be modified with operators :> having ^blanks in between ;;{except ";" =>^} modified clause.breaks %:can be reversed ;;>>
{within @scope_%a sentence <:} clause.breaks are considered_left-to-right ;;//eg @first-break splits @sentence into a "main" clause on each side ;;we list all clause.breaks along with examples := indicate their.meanings ;;we also list %some modified clause.breaks !; @.list is by ^means exclusive-- any combinations with clear meanings %:can be used ;;
; is simply a standard comma ;; ;;&; "and" "also" "in addition"i brushed my.teeth &; ate breakfast ;;&; i made_sure everything is turned_off ;; ;;!; "but" "yet" "however" "though"smartphones are small !; more powerful than %:some laptops ;;!; they %:can be expensive &; easy to lose ;; ;;&|; "regardless" "anyhow" "in any case"@. is difficult to plan ;;&|; we %should make @booking ;;&|; we %:can cancel it later ;; ;;|^; "or else" "otherwise"add %some sauce as you wish|^; take it off @stove|^; things will start_burning ;; ;;:= "that" "be such that" "is given that" "defined to be"you %:can see %:a house there := has a basketball.court inside ;;{whether that's worth it :=} depends on := you ask ;;i am sadly very poor =: makes it just a fantasy ;; ;;:> "via" "by" "in that" "while|with|where|when|//etc(having a property)"{at %:some point <:} i might need your help with @oven ;;|^; feel free to keep_talking :> i cook ;;@. is less boring :> %some distractions ;;food %should be ready :> @time you finish your.story ;; ;;=> "then" "in which case" "for when" "only if" "so that" "in particular"<= "if" "even if" "assuming"do come_along <= you want ;;you %can just chat <= you're ^hungry ;;=> i'll message them => you'll have a seat ;;i'm sure it'll be fine <= you already know most_them ;; ;;^<= "except" "unless" "not if"summer is nice ^<= i ^can stop sweating ;;{unless you have other ideas =>^} i suggest we go swimming ;; ;;>>
>>
<< & | &| !& !| , >> are list.operators ;;%a pair_braces is loosen <= there is a break &| list.operatorattached to @inside_one_@braces ;;{in %a loose branch <:} they hint at :> @items are handled ;;//eg items in %a "&"-loosen branch are considered_collectively ;;%a loose leaf is treated as a embedded clause|phrase ;;!; consecutive loose leaves %:can be made_parallel:> indicating with a list.operator | its. modified.break ;;@@.examples %should illustrate :> they are used ;;
;; i want to {&; have ice.cream}{&; walk along @beach}{&; take pictures}{!; after we find a toilet};;(@last leaf is ^ part_@group&; its.leaf.braces are ^ needed ;;);; i want to {; have ice.cream}& {; walk along @beach}& {; take pictures}!; after we find a toilet ;;;; i want to {; walk along @beach}&{; take pictures}| {; have ice.cream} ;;({as normal <:} blanks indicate @order_operation ;;{in @.example <:}"&" operator has priority over "|";;);; turn it off {|:> pressing @switch} {|:> unplugging @cable} ;;;; {to be |} {!to be |} that is @question ;;>>
>>
@ = "the" ;; ;;@. = "this" ;; ;;@@. = "these" ;; ;;.@ = "-self|-selves|-own" ;; ;;# is @prefix for names !; %:can be omitted <= capitalized ;; ;;// is @prefix for acronyms&slangs (such as "//etc""//afaik") ;; ;;^ = "no","not","none","nothing" //etc!; is automatically a prefix :> appropriate//eg "^ harm"="harmless""^ harmed"="unharmed" ;;&; @verb "do" %:can be omitted ;; ;;! {at @end_%a clause|sentence <:} it has its.stardard-function ;;|^; it is @prefix for exclamations &| emphasis ;;//eg be !careful with it ;@. !& that ;take @. !&; remember to buy food ;; ;;%%: @@. indicate @type_usages for words involving modality &| quantification ;;it is for highlighting &| clarification |^; has ^meaning ;;//eg you %can play (&; i will ^ stop you) ;you %:can play (&; are quite good at it) ;you %must work (|^; i think you will regret it tomorrow) ;you %:must work (; it is your.job) ;i want %a chocolate (!; i have ^ preferences) ;i want %:a chocolate (;@. one with caramel) ;eat %some food (<= you are hungry) ;eat %:some food (:= are good for your.eyes) ; ;; ;;>>
, is only for list.delimiting &; %:can be omitted <= ^ambiguous ;; ;;& = "and" ;; ;;| = "or" ;; ;;&| = "and/or" ;; ;;. it connects nouns := possessive &| similar relations ;;
;; it replaces @.standard-usage_apostrophe:> words & spellings are kept ^<= @"s" after @apostrophe ;;;; @second-parameter extends up to @next-noun=> articles,adjective.phrases,//etc in-between are included ;;;; @symbol.apperances in "@." "@@." ".@" {!; semantically similar}are ^instances_@.operator => ^ %:can have blanks in-between ;;>>
//eg my.only housetaking.a breakprogramming.languageball.throwingcats.eyesChris.eyesmy.cats & .dogscats. & dogs.owners ;; ;;_ it connects %a word & its.post-modifier=> replaces @word "of" ;;{semantically <:} it is akin to a reversed "." ;;//eg cats_a friend_minematter_great importancesing_softly & _beautifullyhow are you_Chris ? ;; ;;>>
>>
>>
capital letters could be used in more ways ;;abbreviation.systems are ^used ;;such system for a general language is probably quite tricky !; might be fine for keywords ;;it seemed := "@" can also replace "it" ;; !; it was quite confusing ;;archive_discarded operators== @:: @@: ?@: ?:: ::@ :@@ :@? ::? @: ?: :@ :? !! ?? ?! ?~ ~
faithfulness comes at some cost_searchability ;;we minimize @change_spellings //eg keeping all pronouns&such untouched ;;we are !^ using "an" := pointless &; awkward with @syntax ;;//eg should it be "an ^hooked" | "a ^hooked" ? ;;adaptability (|; something_similar ; maybe a goal := directly reflect @@.case here) can requires unfaithfulness ;;//eg%:some set_words (//eg"therefore""thus""so""then""hence") are essentially interchangable&; are normally mixed to reduce @sense_repetition ;;!; {in %a syntax := is more geared for information (as opposed to literature) <:}they create ^wanted {mental processing in reading & tedious word-choosing in writing} ;;parts_our.syntax are "semantic" symbols for some such cases ;;>>