User:BrettGiles

From HaskellWiki
Revision as of 21:44, 9 July 2007 by BrettGiles (talk | contribs) (add a link)
Jump to navigation Jump to search

Brett Giles

Haskell theoretical foundations

General:
Mathematics - Category theory
Research - Curry/Howard/Lambek

Lambda calculus:
Alpha conversion - Beta reduction
Eta conversion - Lambda abstraction

Other:
Recursion - Combinatory logic
Chaitin's construction - Turing machine
Relational algebra

Grad Student in Formal Methods at the University of Calgary.

U of C home page

My blogs related to Haskell


Haskell interests

Compilers: Currently make lots of use of Alex and Happy.

Currently working on a compiler and simulator for a quantum programming language, using Gtk2Hs as the visualization tool.

Haskell mode for XEmacs

I use Haskell mode for Emacs on XEmacs. So far, on all the linux systems that I have tried it on (admittedly, only Ubuntu and Debian), there is a system function missing that interferes with automatic indenting. Secondly, there seems to be an issue with setting the haskell default face to nil.

line-end-position

To fix this, find where the haskell mode package is installed on your system. (Usually /usr/share/emacs/site-lisp/haskell-mode). Edit the file haskell-indent.el and add the lines: <pre-lisp> (eval-and-compile

 ;; If `line-end-position' isn't available provide one.
 (unless (fboundp 'line-end-position)
   (defun line-end-position (&optional n)
     "Return the `point' of the end of the current line."
     (save-excursion
       (end-of-line n)
       (point))))

</pre-lisp> right after the comments at the top. That should fix the issue.

haskell-default-face

This one shows up when typing in code (at various spots - most often when typing a qualified function, such as List.map.)

To fix this one, edit the file haskell-font-lock.el. Look for the line that says: <pre-lisp> (defvar haskell-default-face nil) </pre-lisp> and change this to <pre-lisp> (defvar haskell-default-face 'default) </pre-lisp> In my version, this is line 168.

Then, look for the line that says: <pre-lisp>

(,qvarid 0 haskell-default-face)

</pre-lisp> and change it to <pre-lisp>

(,qvarid 0 (symbol-value 'haskell-default-face))

</pre-lisp>

For me, this is line 326 of the file. YMMV - hope this helps.

License of contributions

I hereby license all my contributions to this wiki, and the old hawiki, under the simple permissive license on HaskellWiki:CopyrightsBrettGiles 03:14, 2 March 2006 (UTC)


Reverting spam

If you find some spam - the easiest way to undo it is use the "diff" on the recent changes page (selecting the first spam change). Then, click on the "Revison as of yyyy-mm ..." link on the left side. This will show the page as it was before the spam edit.

Then, edit the page and save it as is (Please indicate you are reverting spam in the Summary). WikiPedia will warn you when you edit that this is an old version. But that is what you want - so go ahead and save it.

Links in the WIKI