Should have a much better startup time

[archaeron]

Trades the startup time for slower execution
of the first command
#28

@alexchandel could you take a look at this?

[alexchandel]

@archaeron Sure, how can I install it? Also, can I ask why these commands use so much time, if they're not even invoking the idris compiler?

[archaeron]

Installation:

You need to clone it into your .atom/dev/packages directory and rename the folder to language-idris or the package settings won't get picked up. Then you need an apm install from the language-idris folder to install the dependencies. And there you can also change branch. to issue-28. You then need to start atom with atom -d a/folder to start atom in dev mode (where packages in the dev directory are loaded)`.

To answer the second question: I don't know. just requireing the classes, without actually using them adds about 200ms to the startup time. Which is really strange.

[alexchandel]

@archaeron Possibly an atom bug? Alternatively can we precompile the package so its requirements are all inlined?

[alexchandel]

This appears to speed up startup, though it's sad that the first command run now slightly lags.

[archaeron]

Maybe some dependency I use executes some code on require?

I should try to find out which dependencies have the most inpact on the loading time.

[alexchandel]

That's a good idea. It could even be a single dependency that's doing work on require. You could probably bisect them pretty quickly (loading half at startup & checking whether startup is slow, then try the other half or recurse).