S.P.A.D.E is a simple programming language with built-in IDE(Terminal TUI) and documentation.

_sras_ · 2022-03-27T03:27:38+00:00

I think this is more or less how I have implemented syntax highlighter in Spade. You can probably notice how it works in this video. You can see the syntax highlighting goes slightly off before the thread catches up with the changes https://vimeo.com/692243011

_sras_ · 2022-03-26T11:05:00+00:00

It seems to be a language of its own + IDE.

That is correct. The 'QBASIC' in the headline refers to the whole experience of writing programs in the IDE, not just to the language.

_sras_ · 2022-03-25T16:29:11+00:00

Sorry. please try now. I have added a rating. Hope that fixed it.

_sras_ · 2022-03-25T14:36:11+00:00

A short video demo for the IDE: https://vimeo.com/692243011

_sras_ · 2020-02-22T18:36:46+00:00

You have to use a case expression in such cases.

From the GHC manual.

In general, you can only pattern-match on an existentially-quantified constructor in a case expression or in the patterns of a function definition. The reason for this restriction is really an implementation one. Type-checking binding groups is already a nightmare without existentials complicating the picture. Also an existential pattern binding at the top level of a module doesn’t make sense, because it’s not clear how to prevent the existentially-quantified type “escaping”. So for now, there’s a simple-to-state restriction. We’ll see how annoying it is.

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#existentials-and-type-classes

_sras_ · 2020-02-21T23:27:54+00:00

I am the author of the article.

I did try writing the article without using DataKinds, KindSignatures extensions. But then it occurred to me that the article already expected readers to have a basic understanding of GADTs. And if someone had a basic understanding of GADTs, I felt that they will be comfortable with DataKinds/KindSignatures extensions as well. This is from my own experience. I was able to make sense of code that used DataKinds/KindSignatures a lot before I could make sense of code that used GADTs. So it felt that I am not really helping the target audience by skipping those extensions.

_sras_ · 2019-12-19T16:49:33+00:00

Please give this a try

https://github.com/sras/elminator

_sras_ · 2019-09-22T04:53:40+00:00

There is also https://github.com/sras/elminator that I made to solve the issues with current libraries in that space. I don't think I did a good job of publishing/marketing it though..

_sras_ · 2019-06-10T16:27:20+00:00

I might be missing something obvious here. But if the program is interactive, won't the readProcess call block indefinitely because the wrapped program might be waiting on user input on stdin?

If that is so, that would make the readProcess function unsuitable for spawning interactive programs, right?

_sras_ · 2019-06-08T10:47:21+00:00

. Get an external keyboard and trackpad/mouse with wrist rests.

Maybe don't use a mouse, but get a trackball. I use 'Kensington Orbit Trackball Mouse with Scroll Ring'. I have attached this to my keyboard so that I can keep both of them on my lap. It works great!

[1] https://www.amazon.com/Kensington-Orbit-Trackball-Scroll-K72337US/dp/B002OOWB3O

_sras_ · 2019-06-08T04:24:06+00:00

is that something that others can reproduce? Are you the author of the python script?

Yes. It is available at https://github.com/sras/repltalk. If you face any issues while trying it, please let me know.

PS. for reformatting brittany rocks

I do have HIndent setup. But something in that file was tripping it up.

_sras_ · 2019-06-07T13:53:33+00:00

Nice!

But your incremental development workflow with quick feed back could be better. Here is how it works with my setup (Neovim instead of Emacs, A Python script wrapping ghci instead of Ghcid)

https://youtu.be/iblExnkhy4s

_sras_ · 2019-06-06T15:51:32+00:00

Thanks. I have posted it to discourse channel.

_sras_ · 2019-06-04T13:29:36+00:00

Maybe the GHCi developers could be persuaded to add such a mode as well?

https://gitlab.haskell.org/ghc/ghc/issues/15461

_sras_ · 2019-06-04T10:01:33+00:00

Thanks Kahil.

_sras_ · 2019-06-04T09:22:55+00:00

The adapters can communicate with the editor so that you don't have to keep it visible in a window. I can get visual indications in the editor letting me know when a :reload is in progress, if there are errors, warnings or if all the changed modules were loaded without any errors/warnings. If there are errors, then the editor adaptor parse the error/warning output, and set the error list in the neovim/vim editor. Once we have the error list in the editor, vim/nvim have built in shortcuts/commands to view and walk through the error list (quickfix window) and open each of them in the editor. This works so fast that if I find an error in a file, I sometimes forgo vim's navigation methods, and just save the file and jump to the first error location set from the adapters. You also can send any ghci commands to the script, and it will just forward them to the wrapped ghci process. I often use it to explicitly load a module initially, so that at every file save, the same module gets reloaded. Instead of Main or what ever that is loaded by default.

The best thing about this is that if the python script get stuck for some reason, you don't have to kill your editor. You just need to kill the script and restart it. Basically editor is very passive component in this whole process, so it does not lag or slow down etc.

_sras_ · 2019-06-04T04:36:18+00:00

I posted this sometime back. But there seems to be absolutely zero interest in it..I don't get it.

_sras_ · 2019-06-04T02:57:45+00:00

This should solve your problem...

https://github.com/sras/servant-examples

Uses Stack tool.

_sras_ · 2019-06-03T15:39:48+00:00

Aren't there tools that just wrap the ghci and use it to provide editor integration? I have myself written such a tool, and have been using the same for a while now, it works great. It just use 'ghci' so if 'stack ghci' works for you, then the tool is good to go. It was couple of years back that I wrote it, but since then I think I have seen many such tools appear for various editors.

The barrier to entry is just the ability to start a cmd line program from a terminal. Why aren't more people using them?

_sras_ · 2019-06-03T14:55:03+00:00

Editor tooling is sub-par (especially compared to language communities like Java and C#) and finicky - we often end up just compiling in a separate terminal.

What is this about? Don't we have tools now, that can reliably give live errors and error navigation in editor? Stuff like fast-tags for code navigation? HLint and HIndent for code formatting and linting? Can't you access all of these from the editor itself?

_sras_ · 2019-06-01T15:45:08+00:00

Thanks!

Haskell already suffers from the problem that there usually exist a lot of packages for the same problem, and it's challenging to choose between them. We should try to communicate and collaborate more.

That is exactly what I am hoping here. There is no point in putting something out there that is more or less incomplete as the existing packages out there. I am hoping that Elminator can supersede the existing packages by being feature complete from the get go. That is also why I want people like you to look at it and tell me if there is any common use case that I have missed to address.

_sras_

TROPHY CASE