Fricas/aldor intelij plugin

[Peter Broadbery]

Hi,

I've just uploaded a preliminary intellij plugin for Fricas and Aldor code.

This version supports:

- Syntax highlighting
- Type browser (SPAD code only)

- Documentation for types and operations

- Running .input files

It's good enough for me to use on aldor code, and looks good for Spad. 

Release is here: https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/preview-3

There are some "getting started" notes on the wiki pages..
https://github.com/pbroadbery/aldor-idea-plugin/wiki .  There's some parts that might need a fuller explanation (especially if you're new to intellij), so feedback appreciated.

For this to work, I've also modified the Aldor compiler so that it can export domains as java classes (and vice-versa).  The plugin uses a very rough Aldor implementation of the Spad and Aldor type systems in https://github.com/pbroadbery/fricas-aldor-types. 

If anyone is interested in improving either the plugin (java) or the type inference bit (aldor), or the aldor/java interface (mostly C), please let me know.  There's a lot of additional functionality that could be added.

Equally, suggestions for improvements welcome.

Peter

[Grégory Vanuxem]

Dear M. Broadbery,

This looks like a beautiful things, I must admit.

Am working on add-ons of Juno-Julia which I find is also a beautiful thing too.
The purpose is different but am looking right now more into what you have done. Seems interesting.

Juno-Julia, you know I think :

https://julialang.org/
http://junolab.org/
https://atom.io/

Have a good night (or...)

__

G. Vanuxem

--
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscribe@googlegroups.com.
To post to this group, send email to fricas...@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

[Peter Broadbery]

Thanks - it was an interesting path getting it to this point.

I've not looked at atom or Julia but will - it looks like there things to learn from it.

Regards 

Peter 

[Grégory Vanuxem]

Hi,

I'm trying your plugin and it looks promising, thanks.
Unfortunately I still can't get it to work on Windows to have full
functionalities.
I presume a path problem to FriCAS 'target' directory, I have to
investigate the problem.
I'll tell you necessary tricks if I find how it's possible to get it
to work. Maybe you know how?

Nevertheless, I use a lot VSCode because it's possible to easily
switch between Windows and Linux (WSL) OSes, it's just one click with
VSCode
only installed on Windows. So it helps to code on Windows or on Linux
with all their development tools, shells etc. And since I ported the
Atom
spad syntax code* from Bill Page to VSCode I looked at your source and
code. Astonishing! But I noticed that maybe you can add the ')if false
**** )endif' comments, see for example texmacs.spad. And last thing,
I'm just trying your plugin for now, more important, apparently you
forgot floating point numbers (with or without 'e'). 1.2 is treated as
two integers separated by a dot, so colors are different.

That's all :)

Greg

* Bill you forgot to change *.*.python to *.*.spad for several "name"s
in your .cson syntax file ;). See quoted strings part.

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

> To post to this group, send email to fricas...@googlegroups.com.
> Visit this group at https://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.



--

__
G. Vanuxem

[Grégory Vanuxem]

Le mar. 30 mars 2021 à 03:45, Grégory Vanuxem <g.va...@gmail.com> a écrit :
>
> Hi,
>
> I'm trying your plugin and it looks promising, thanks.
> Unfortunately I still can't get it to work on Windows to have full
> functionalities.
> I presume a path problem to FriCAS 'target' directory, I have to
> investigate the problem.
> I'll tell you necessary tricks if I find how it's possible to get it
> to work. Maybe you know how?

I forgot, the error message is "The selected directory is not a valid
home for FriCAS SDK".

C:\FriCAS\lib\fricas\target\x86_64-w64-mingw32

With in it:
Mode LastWriteTime Length Name
---- ------------- ------ ----
d----- 16/03/2021 17:54 algebra
d----- 16/03/2021 17:54 autoload
d----- 16/03/2021 17:54 bin
d----- 16/03/2021 17:54 lib
d----- 16/03/2021 17:54 share
d----- 16/03/2021 17:54 src

Greg

--
__
G. Vanuxem

[Peter Broadbery]

Hi Greg,

First, which version of the plugin are you using? I created a new
release over the weekend, but it's not quite fully tested.

The code that checks for a valid fricas directory expects to find a
file called 'bin/fricas', and so it's unlikely to work in windows
where the script would be 'fricas.bat'. It's a small code change, so
will test on a windows box prior to the next release. As a workaround,
it might be enough to create an empty file then remove it once the
setup stage is done.

Code within ')if' and ')endif' is recognised as such, but shows up as
normal text, rather than comments. Thanks for letting me know as it
can be fixed.

I'll also have a look at the issue on floating point numbers. It's
probably that I didn't get round to implementing them and the current
approach looks kind of ok, if wrong.

> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2da3R_Y7B%2BoQtOEXvvjqSEezKpPMQvf4saYo9WPX5-hidw%40mail.gmail.com.

[Grégory Vanuxem]

Le mar. 30 mars 2021 à 09:59, Peter Broadbery <p.bro...@gmail.com> a écrit :

Hi Greg,

First, which version  of the plugin are you using? I created a new
release over the weekend, but it's not quite fully tested.

I used this one, the one you gave in your precedent mail:

https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/preview-3

I just looked at the fricas file in the target bin directory and it's there, it's the shell file so of course it's not usable as it on Windows.

To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAK%3DmBN8DfD7KVT4Dv0Rd%2BmbDJyn6P%3D%3DjPh5TGQXZrFGa7G8i9w%40mail.gmail.com.

--

__

G. Vanuxem

[Grégory Vanuxem]

Hi,

Le mar. 30 mars 2021 à 09:59, Peter Broadbery <p.bro...@gmail.com> a écrit :
>
> Hi Greg,
>
> First, which version of the plugin are you using? I created a new
> release over the weekend, but it's not quite fully tested.

Just a quick note. As I said I use the previous version of your plugin.

I tried to install your actual release, release 1.2, but it's not
installable in the 2020.3 community edition.
Message : "it requires build 201.* or older version but the current
build is IC-203.7717.56"

Later if I submit other issues I'll preferably use GitHub issues tracker.

Regards

Greg

[Peter Broadbery]

OK - I'm working on updating the plugin to a more recent edition -
there should be an updated release soon.

Please do use the issue tracker - it makes it easier for development.

Thanks,

Peter

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbM0qAHmo8TGU6w5dbyM4MD_asYMoNW%3DO%2BvVRV_-577jg%40mail.gmail.com.

[Peter Broadbery]

Hi Greg,

I've released a new version (1.3) of the plugin - this should work
with more recent intellij versions & I did a brief check against the
latest windows build of fricas.

It's still very much a pre-release candidate as there are some
features missing. In particular the rendering of documentation is a
bit untidy, and some of the aldor functionality is not available.
Type browsing is a lot better in this version; conditionals are
supported, and navigation to declarations is more reliable.

Peter


On Wed, 31 Mar 2021 at 08:57, Grégory Vanuxem <g.va...@gmail.com> wrote:
>

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbM0qAHmo8TGU6w5dbyM4MD_asYMoNW%3DO%2BvVRV_-577jg%40mail.gmail.com.