On Sun, Feb 25, 2018 at 4:51 PM, Edward K. Ream <[email protected]> wrote:
> On Sun, Feb 25, 2018 at 1:36 AM, Zoom.Quiet <[email protected]> wrote:
>>
>> OT: JupyterLab Documentation — JupyterLab 1.0 Beta documentation
>>     http://jupyterlab.readthedocs.io/en/latest/
>>
>> Jupyter will make web page as IDE...
>
>
> Thanks for this link.  Imo it is on topic.
>

sorry for share link not with my idea :
Jupyter is the REPL interface beyond language ,
can make doc./code/running all in one page;

Leo not REPL, focus result problems is different with Jupyter:
every program is make up by:
- think world <~ what is my understand the goal task
- code world <~ what is compiler can understand the goal task
- product world <~ what is systems can understand my solution

Leo base Literate Programming thought easy merge these world in one interface:
- think world => logging as outlines
- code world => edit pane
- product world => @clean/@path/..etc. commands

BUT:
Leo can not like IDE/Jupyter can running on the spot,
and every one time change interface,
such as leave Leo, jump into iTerm2 for running code , observe log printing,
will hurt attention, lost Mind Cache...

SO if:
Leo can embedded Jupyter as inter. command;
will make product world merged as code world?

of course:
this kinds of enhancement, is not for core ability,
not necessarily think now ;-)

> I have no clear idea how jupyter/lab relates Leo, but imo we must keep
> paying attention to it. The jupyter project is one of the most important and
> interesting projects in the world.
>
> Edward
>
> --
> You received this message because you are subscribed to the Google Groups
> "leo-editor" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.



-- 
life is pathetic, go Pythonic! 人生苦短, Python当歌!
俺: http://zoomquiet.io
授: http://creativecommons.org/licenses/by-sa/2.5/cn/
怒: 冗余不做,日子甭过!备份不做,十恶不赦!
KM keep growing environment culture which promoting organization learning!

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to