I just wrote and proof-read the first stub of my proposal on an
auto-complete manager for Yi.
Thanks for the feedback!
Bastien
Proposal:
An Auto-Complete Manager for Yi
===============================
Contact information
===============================
Name : Bastien Jacot-Guillarmod
Email address: bjac...@gmail.com
IRC nick: m-jack
Physical address:
Route du Grand-Pre 13
1700 Fribourg
Switzerland-CH
Current studies: Computer science 3rd year bachelor student at EPFL
currently in exchange at University of Waterloo.
===============================
Synopsis
===============================
An auto-complete tool is a main component of most of the code editor and
modern software in general. The goal of this project is to implement an
auto-complete manager which contains the following feature:
1) Pop up bar in both vty and pango providing the possible completions.
2) Completion proposition in any buffer should contain the word in the
current buffer and some keyword of the mode of the buffer.
3) "Smart" completion tool for haskell.
=============================
Details on the "smart" tool
=============================
The smart auto-completion tool will implement two basic components:
1) Propose only the possible completion
Example:
qsort:: [Int] -> [Int]
qsort [] = []
qsort (x:xs) = (qsort before) ++ [x] ++ (qsort after)
where (before, after) = partition (<x) xs
foo = af
^Should not propose after since it is a local variable.
2) Propose in order of likelyhood (for instance type matching)
Example:
... = filter (el
^Should propose elem before elemIndex since filter is
expecting a function returning a Bool.
=============================
Benefits for the Community
=============================
An auto-complete tool is one of the backbone of all modern IDE. Many
programmers can't do without and its presence is many times a sine qua non
condition.
Therefore, such a feature will help Yi to be more known and used through
the haskell community.
============================
Related work
============================
Auto-complete: An intelligent auto-completion for Emacs
https://github.com/auto-complete/auto-complete
EclipseFP: The Haskell plug-in for Eclipse which contains an
auto-completion for Haskell
http://eclipsefp.github.io/features.html
============================
Propose timeline
============================
May 11 to May 27:
Investigation on the Yi source code.
May 27 to June 9:
Community Bonding Period and algorithm analysis about the implementation of
the dictionnary of possible completion.
June 10 to June 17:
Implementation of the dictionnary generation for common buffer.
June 17 to June 29:
Implementation of the pop up list in the pango and vty.
June 29 to August 2:
Midterm evaluation and delivery of the "dumb" auto-complete
August 2 to August 16:
Relaxation trip for better coding during the final stretch! Will pack up a
book or two in the backpack.
August 17 to August 31:
Implementation of the list of possible symbols for the haskell smart
auto-completion.
September 1 to September 14:
Implementation of the likelyhood of the symbol and ordering the proposition
list in order of the maximum likelyhood.
September 15 to September 27:
Brushing up period.
September 27:
Submission of the project.
PS: Sorry for the lateness, but I'm currently in exam period hence I can
not be fully focus on GSoC.
On Monday, April 15, 2013 11:09:13 PM UTC-4, Jean-Philippe Bernardy wrote:
>
> Yes it is possible. A proposal will then be in competition with other
> haskell.org projects, as I understand it.
>
>
> On Sun, Apr 14, 2013 at 9:26 PM, <bja...@gmail.com <javascript:>> wrote:
>
>>
>> I'm a student currently interested in GSoC and Yi. But Yi was not part of
>> the mentoring organizations, so I just want to know if it is possible to be
>> mentored by Haskell.org while doing a project on Yi.
>>
>> Thanks,
>> Bastien
>>
>>
>> On Wednesday, February 13, 2013 6:52:18 AM UTC-5, Dmitry Ivanov wrote:
>>
>>> Hi All
>>>
>>> Does anyone have experience with GSoC?
>>>
>>> Maybe some of us who work at universities have a student interested in
>>> haskell and interested in earning some money with it?
>>>
>>> I'm sure we can think of some tasks in Yi with the right scope for GSoC.
>>>
>>> Regards,
>>> Dmitry
>>>
>> --
>> --
>> Yi development mailing list
>> yi-d...@googlegroups.com <javascript:>
>> http://groups.google.com/group/yi-devel
>> ---
>> You received this message because you are subscribed to the Google Groups
>> "yi.devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to yi-devel+u...@googlegroups.com <javascript:>.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>>
>
>
--
--
Yi development mailing list
yi-devel@googlegroups.com
http://groups.google.com/group/yi-devel
---
You received this message because you are subscribed to the Google Groups
"yi.devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to yi-devel+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
