Overhaul REPL history, introduce a flashy searcher

Since the dawn of the Julia REPL, history completion has been limited to
a readline-style interface. OhMyREPL improved the experience with fzf,
but those who yearned for a delightful history completion experience
(me) were left underwhelmed.

With this overhaul, I now find myself spending more time looking through
my history because it's just *so nice* to do so.

The new history system is organised as a standalone module in
stdlib/REPL/src/History with a clear separation of concerns:

1. History file management
2. Event-driven prompt/UI updating
3. Incremental filtering
4. UI display
5. Search coordination (prompt + display + filter)

I've attempted to pull out all the (reasonable) stops to make history
searching as fluid and snappy as possible. By memory mapping the history
file in the initial read, and optimising the parser, we can read ~2
million history items per second. Result filtering is incremental and
resumable, performed in dynamically sized batches to ensure
responsiveness. Rapid user inputs are debouced. We store a
log-structured record of previous search result, and compare search
strictness to resume from prior partial results instead of filtering the
history from scratch every time. Syncronisation between the interface
and filtering is enabled via a Channel-based event loop.

Enjoy! (I know I am)

Author: tecosaur

stdlib/Manifest.toml

@@ -195,7 +195,7 @@ uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
 version = "1.11.0"
 
 [[deps.REPL]]
-deps = ["FileWatching", "InteractiveUtils", "JuliaSyntaxHighlighting", "Markdown", "Sockets", "StyledStrings", "Unicode"]
+deps = ["Dates", "FileWatching", "InteractiveUtils", "JuliaSyntaxHighlighting", "Markdown", "Mmap", "Sockets", "StyledStrings", "Unicode"]
 uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
 version = "1.11.0"
 

stdlib/REPL/Project.toml

@@ -3,10 +3,12 @@ uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
 version = "1.11.0"
 
 [deps]
+Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
 FileWatching = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"
 InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 JuliaSyntaxHighlighting = "ac6e5ff7-fb65-4e79-a425-ec3bc9c03011"
 Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
+Mmap = "a63ad114-7e13-5084-954f-fe012c677804"
 Sockets = "6462fe0b-24de-5631-8697-dd941f90decc"
 StyledStrings = "f489334b-da3d-4c2e-b8f0-e476e12c162b"
 Unicode = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"

stdlib/REPL/src/History/History.jl

@@ -0,0 +1,36 @@
+# This file is a part of Julia. License is MIT: https://julialang.org/license
+
+module History
+
+using ..REPL: REPL
+
+using StyledStrings: @styled_str as @S_str, Face, addface!, face!, annotations, AnnotatedIOBuffer, AnnotatedString, AnnotatedChar
+using JuliaSyntaxHighlighting: highlight
+using Base.Threads
+using Mmap
+using Dates
+using InteractiveUtils: clipboard
+
+export HistoryFile, HistEntry, runsearch
+
+const FACES = (
+    # :REPL_history_search_prompt      => Face(foreground=:blue, inherit=:julia_prompt),
+    :REPL_history_search_seperator   => Face(foreground=:blue),
+    :REPL_history_search_prefix      => Face(foreground=:magenta),
+    :REPL_history_search_selected    => Face(foreground=:blue),
+    :REPL_history_search_unselected  => Face(foreground=:grey),
+    # :REPL_history_search_preview_box => Face(foreground=:grey),
+    :REPL_history_search_hint        => Face(foreground=:magenta, slant=:italic, weight=:light),
+    :REPL_history_search_results     => Face(inherit=:shadow),
+    :REPL_history_search_match       => Face(weight = :bold, underline = true),
+)
+
+include("histfile.jl")
+include("resumablefiltering.jl")
+include("prompt.jl")
+include("display.jl")
+include("search.jl")
+
+__init__() = foreach(addface!, FACES)
+
+end