Primitives: Difference between revisions
m ('has' is not in k9 anymore) |
("Widen scope of language category") |
||
(21 intermediate revisions by 2 users not shown) | |||
Line 4:
== Verbs ==
Single argument forms(monadic) listed first, two-argument forms(dyadic) listed second.▼
=== Operator Verbs ===
Empty cells indicate that the primitives are the same as K4-K6.▼
Operator verbs use the following characters: <code>: + - * % ! & | < > = ~ , ^ # _ $ ? @ .</code>.
Suffixing a verb with <code>:</code> forces it to be interpreted as monadic.
▲
▲Empty cells indicate that the primitives in the given dialect are the same as in K4-K6.
{| class="wikitable"
|+ Table of
|-
! rowspan=2|
! colspan="2" |[[K3]]!! colspan="2" |[[K4
|-
!monad
Line 17 ⟶ 25:
! monad!!dyad!!monad!!dyad
|-
| <code>:</code>
|
| || [[right|identity]] || [[right]] || ||
|-
| <code>+</code>
|
| || [[transpose]] || [[add]] || [[transpose]]||[[add]]
|-
| <code>-</code>
|
| || [[negate]] || [[subtract]] || [[negate]]||[[subtract]]
|-
| <code>*</code>
|
| || [[first]] || [[multiply]] || [[first]]||[[multiply]]
|-
| <code>%</code>
| [[reciprocal]]
| || [[square root]] || [[divide]] || ||[[divide]]
|-
| <code>!</code>
|
| [[rotate]], [[mod]] || [[enum]], [[odometer]], [[keys]] || [[mod]], [[create dict]] || [[enum]] ([[odometer]]), [[keys]]||[[create dict]]
|-
| <code>&</code>
|
| || [[where]] || [[min]] || [[where]]||[[min]]
Line 57 ⟶ 65:
| || [[grade down]]|| [[greater]] || [[Grade down|descending]]||[[greater]]
|-
| <code>=</code>
|
| || [[group]], [[identity matrix]] || [[equal]] || [[group]]||[[equal]]
|-
| <code>~</code>
|
| || [[not]] || [[match]] || [[not]]||[[match]]
|-
| <code>,</code>
|
| || [[enlist]] || [[concatenate]] || [[enlist]]||[[concatenate]]
|-
| <code>^</code>
|[[shape]]
|[[power]]|| [[null?]] || [[except]], [[fill]] || [[sort]] || [[cut]]
|-
| <code>#</code>
|
| || [[length]] || [[take]], [[reshape]]|| [[count]]|| [[filter]], [[take]]
|-
| <code>_</code>
|
| || [[floor]], [[lowercase]] || [[drop]], [[delete]], [[cut]] || [[floor]]|| [[Filter|filter-out]], [[drop]]
|-
| <code>$</code>
|
| || [[string]] || [[pad]], [[cast]] || [[string]]||[[parse]]
|-
| <code>?</code>
|
| || [[distinct]], [[random-float]] || [[find]], [[random]] || [[unique]]||[[find]], [[random]]
|-
| <code>@</code>
|[[Type|atom?]]
| || [[type]] || [[at]] || [[type]]|| [[cast]]
|-
| <code>.</code>
|
| || [[eval]], [[values]] || [[dot]] || [[eval]]||[[dot]]
|}
=== Special Forms ===
{| class="wikitable"
|+Table of special forms
!
!Polyadic Name
|-
|<code>@</code>
|[[amend]]
|-
|<code>.</code>
|[[deep amend]], [[try]]
|-
|<code>$</code>
|[[if]]
|-
|<code>!</code>
|[[update]] (K4/qdb)
|-
|<code>?</code>
|[[splice]]
|-
|<code>?</code>
|[[select]] (K4/qdb)
|}
=== Named Verbs ===
{| class="wikitable"
|+Table of named
!
![[OK|oK]]
![[K7]]
![[K9]]<sup>*</sup>
|-
|utility
Line 111 ⟶ 148:
|math
| [[sin]] [[cos]] [[exp]] [[log]]
| [[sqrt]] [[sin]] [[cos]] [[abs]]
|[[sin]] [[cos]] [[log]] [[div]]
|-
|stats
Line 119 ⟶ 156:
|[[count]] [[first]] [[last]] [[avg]] [[med]] [[mode]] [[var]] [[mavg]] [[msum]]
|-
|table([[K7]]+)
|
|[[asc]] [[dsc]] [[key]]
|[[top]] [[key]] [[unkey]] [[meta]]
|-
Line 127 ⟶ 164:
|
|[[min]] [[max]] [[asc]]
|[[min]] [[max]] [[countd]]
|}
== Adverbs ==
Adverbs use the characters <code>'</code>, <code>/</code> and <code>\</code> for their syntax.
They are primitives that take [[Verb|general verbs]] as arguments. As such they are higher order functions.
{| class="wikitable"
|-
! !! [[K3
|-
| <code>'</code>|| [[each]] | [[binary search]]<sup>*</sup><sup>*</sup> ||[[Each|each]] | [[binary search]]<sup>*</sup><sup>*</sup>
|-
| <code>/</code>|| [[over]] | [[fixedpoint]] | [[for]] | [[while]] | [[join]]<sup>*</sup><sup>*</sup> | [[base encode]]||[[over]] | [[join]]<sup>*</sup><sup>*</sup> | [[base encode]]
|-
|<code>\</code>|| [[scan]] | [[scan-fixedpoint]] | [[scan-for]] | [[scan-while]] | [[split]]<sup>*</sup><sup>*</sup> | [[base decode]]||[[scan]] | [[split]]<sup>*</sup><sup>*</sup> | [[base decode]]
|-
|<code>':</code>||[[each prior]] | [[windows]]||[[each prior]]
Line 148 ⟶ 189:
|<code>\:</code>||[[each left]]||[[each left]]
|}
== Remarks ==
'''<sup>*</sup>''': K9 is a nascent dialect which is still currently undergoing changes. Some pages may not be up to date with the latest build, and some are intentionally left unwritten in case of later changes.
'''<sup>*</sup><sup>*</sup>''': The primitives [[base encode]], [[base decode]], [[binary search]], [[join]] and [[split]] are verbs in the adverb syntax space. They are distinguished by argument type.
[[Category:Verbs]]
[[Category:Adverbs]]
[[Category:Primitives]]
[[Category:Language]]
|
Latest revision as of 08:14, 9 July 2022
K's primitives are designed to fit a large range of diverse functionality within the ASCII character set. This makes it typable on a keyboard, while keeping the language expressive and interesting to use.
All of K's primitives are made to be multipurpose, and have varied meanings based on the context they are used in. Symbol primitives can be either 1 or 2 characters long.
Verbs[edit]
Operator Verbs[edit]
Operator verbs use the following characters: : + - * % ! & | < > = ~ , ^ # _ $ ? @ .
.
Suffixing a verb with :
forces it to be interpreted as monadic.
Monadic forms (one argument) are listed first, dyadic forms (two arguments) are listed second.
Empty cells indicate that the primitives in the given dialect are the same as in K4-K6.
K3 | K4,K5,K6 | K9* | ||||
---|---|---|---|---|---|---|
monad | dyad | monad | dyad | monad | dyad | |
:
|
identity | right | ||||
+
|
transpose | add | transpose | add | ||
-
|
negate | subtract | negate | subtract | ||
*
|
first | multiply | first | multiply | ||
%
|
reciprocal | square root | divide | divide | ||
!
|
rotate, mod | enum, odometer, keys | mod, create dict | enum (odometer), keys | create dict | |
&
|
where | min | where | min | ||
|
|
reverse | max | reverse | max | ||
<
|
grade up | lesser | ascending | lesser | ||
>
|
grade down | greater | descending | greater | ||
=
|
group, identity matrix | equal | group | equal | ||
~
|
not | match | not | match | ||
,
|
enlist | concatenate | enlist | concatenate | ||
^
|
shape | power | null? | except, fill | sort | cut |
#
|
length | take, reshape | count | filter, take | ||
_
|
floor, lowercase | drop, delete, cut | floor | filter-out, drop | ||
$
|
string | pad, cast | string | parse | ||
?
|
distinct, random-float | find, random | unique | find, random | ||
@
|
atom? | type | at | type | cast | |
.
|
eval, values | dot | eval | dot |
Special Forms[edit]
Polyadic Name | |
---|---|
@
|
amend |
.
|
deep amend, try |
$
|
if |
!
|
update (K4/qdb) |
?
|
splice |
?
|
select (K4/qdb) |
Named Verbs[edit]
oK | K7 | K9* | |
---|---|---|---|
utility | in prm | in within bin like find freq prm cmb | in bin within prm freq cmb |
math | sin cos exp log | sqrt sin cos abs log exp rand | sin cos log div exp sqr sqrt dot bar deltas sum sums rand |
stats | count first last min max sum avg var dev med | count first last avg med mode var mavg msum | |
table(K7+) | asc dsc key | top key unkey meta | |
misc | min max asc | min max countd |
Adverbs[edit]
Adverbs use the characters '
, /
and \
for their syntax.
They are primitives that take general verbs as arguments. As such they are higher order functions.
K3,K4,K5,K6 | K9* | |
---|---|---|
' |
each | binary search** | each | binary search** |
/ |
over | fixedpoint | for | while | join** | base encode | over | join** | base encode |
\ |
scan | scan-fixedpoint | scan-for | scan-while | split** | base decode | scan | split** | base decode |
': |
each prior | windows | each prior |
/: |
each right | each right |
\: |
each left | each left |
Remarks[edit]
*: K9 is a nascent dialect which is still currently undergoing changes. Some pages may not be up to date with the latest build, and some are intentionally left unwritten in case of later changes.
**: The primitives base encode, base decode, binary search, join and split are verbs in the adverb syntax space. They are distinguished by argument type.