tk.require added; downloading from the cloud

[dr.mt...@gmail.com]

This allows Shen programs to be downloaded from the web through Shen/tk.

Mark

(0-) (time (tk.require "https://shenlanguage.org/TBoS/Programs/5.4.txt"))

run time: 0.015999995172023773 secs

(fn bubble-sort)
(fn bubble)
(fn bubble-again-perhaps)
(fn prior?)
(fn surname)
(fn surname-help)
(fn whitespace?)
(fn string<)
["Harold Abelson" "John Backus" "Rudolf Carnap" "Richard Dawkins"]
eot

[dr.mt...@gmail.com]

It is a question of how much Shen/tk will or should live

in the cloud.  There is a case for putting nearly all of it

in the cloud outside the kernel and the minimal TCL/tk 

interface of 60 loc.  The reason being that the latest version can

then be automatically downloaded from OS repos without the 

user having to download code and reinstall from scratch.   The

downside is that installing all the code on startup takes time 

but upside is that this installation time is about 2-3 seconds

on Shen/SBCL.

Shen/tk is at the moment about 1,200 loc of which about half is 

type theory!  

M.