<div dir="ltr">Automatic code generation from type signature, using djinn exference and other packages,<div><br></div><div>Automatically fill holes in the code using the same engines.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El vie, 4 dic 2020 a las 19:45, Ben Franksen (<<a href="mailto:ben.franksen@online.de">ben.franksen@online.de</a>>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Am 01.12.20 um 03:06 schrieb Mig Mit:<br>
> Please DO store code as ascii text. At the very least that would<br>
> allow the use of external tools — sed, diff, git, whatever. Non-ascii<br>
> representations were tried multiple times, and largely failed, in<br>
> particular because of terrible interaction with other tools.<br>
> <br>
> Also, please make sure your IDE is a good text editor. Because that's<br>
> what the code is — not AST, but text. Until it is finished (to a<br>
> certain lax definition of "finished") it is likely to not even be<br>
> representable in AST form.<br>
<br>
Absolutely. And "a good text editor" for me includes (a) an easy way to<br>
re-configure key bindings and (b) the ability to define macros (using<br>
some sort of embedded language). The point is that I want to be able to<br>
re-use my finger's muscle memory as far as possible.<br>
<br>
That's just the basics, of course, and on top of that I would expect at<br>
least the ability to easily navigate to the definition of a variable and<br>
also to iteratively visit all places where it is used, centering the<br>
code in the editor window and highlighting the variable, such that I can<br>
navigate to the next/previous occurrence, skip the whole file or<br>
subdirectory, etc. Like a multi-file/multi-dir language aware search and<br>
replace.<br>
<br>
A very cool feature would be if I could select a program phrase and let<br>
it find /similar/ phrases, where a similarity metric could be<br>
edit-distance with respect to language tokens (ideally ignoring<br>
redundant parentheses and stuff like that).<br>
<br>
Cheers<br>
Ben<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">Alberto.</div>