Skip to content

TODO.md

Latest commit

 

History

History
166 lines (166 loc) · 6.18 KB

TODO.md

File metadata and controls

166 lines (166 loc) · 6.18 KB
Raw
  • inspiration: AWK, Haskell, J/APL/k, C (include)... (some architectural decisions mime GHC)

Release

  • Anchored streams
  • Bug: fold1
    • fold-of-scan-of-mapMaybe...
    • two expressions with fold1 (and also gather-folds)
    • fold: catmaybes, mapMaybes

Documentation

  • Document escaped characters
  • tuples
  • Document %i, %s in manpages

Unicode

  • reintercalate builtin
  • ∅ for monoidal identity
  • defeq ≔
    • ≜
  • arrows (types)
  • APL iota should be allowed instead of 'ix'
  • lambda
  • ♯ in front of type variables
  • 〈〈⟨⟩
  • unicode/apl for floor+ceiling
  • ⍬

Features

  • keep rs?
  • properly handle right-associative operations (for one)
  • set variables on the command-line?
    • fd has {}, {/}, etc. maybe that could be a special variable
  • named columns (e.g. ``Ndxfor output ofreadelf -Ws`)
    • a bunch of records in Unix are blocks-of-record-of... (split on header, then find field, then sep by space to get value)
  • scan1
  • "mod"
  • $> operator like awk's END, allow stream to print and then present summary
  • Ord for tuples
    • vectors
  • occurs check
  • drop builtin/syntax?
  • $( anchor: evaluate multiple streams at once
  • $1: etc. parseable columns
  • :? parsemaybe
  • 0 literal could be a float
  • fail : a builtin (unicode bottom?)
  • Error when type is ambiguous (e.g. 3: - 2: or w/e)
  • mapMaybe, catMaybes? for Witherable...
    • vectors/lists should be a member!
  • iota for vectors etc.
  • SCANS
    • backend
  • ignore case?
  • environment variables
  • x need only be a keyword inside anonymous functions (dfns?)... otherwise it can be a variable!
    • that introduced a bug w/ nested dfns (euh)
  • .1 etc. to extract tuples (arrays?)
  • alex-style regex combinations, $digit+ and @string_in or w/e
  • parse dates
  • [½] map, filter, scan, prior for vectors &c.?
  • lint for duplicate names at top-level
  • \$` as "all fields, as list" or something
  • dedupBy builtin
  • Infix operators
    • $> (ice cream cone?)
    • ~? (maybe match)
    • (<|>) (alternative)
  • fold without seed
    • seq 10 | ja "[x+','+y]|'' \$0"
    • foldMaybe
  • helios distribution? https://github.com/oxidecomputer/helios
  • csv format: FPAT = "([^,]*)|(\"[^\"]+\")"
  • substitute multiple to process 
    vectorzmstreamzm0zi1zi0zi1zmb52aad89fd7b09efa5330a0a5ffa6e096514cefa8231d7a1e742d7f529db8237_DataziStreamziMonadic_zzipWith6_slow
    https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/symbol-names#variable-characters
  • https://www.thegeekstuff.com/2010/01/8-powerful-awk-built-in-variables-fs-ofs-rs-ors-nr-nf-filename-fnr/
    • OFS
    • ORS

Instances

  • Ord instance
    • vector
    • tuple

Syntax

  • $$ synonym for newline?
  • .[ ... ] dfn where you specify that it's binary?
  • ? for if... then?
  • infix foldMap
  • fold-maybe
  • lineLength := (#")
  • {\<pat>}. $0 ... filter on stream expressions
    • or #: maybe?
  • 0$ or something... stream of lines line, split by field separator into a list

Examples

Bugs

jq 'map(.tweet.full_text)|.[]' data/tweets.js -r | ja '[x !~ /(e|E|https:|^@)/] #. $0'

vanessa@MacBookAir jacinda % ja -F: "reintercalate '\n' \$0" -i <(echo $PATH)
ja: InternalUnexpectedStream $0
  • Scoping pass so that ix outside of {|...} would be caught
  • ix (line number) on filtered streams?

Performance

Examples

sed