Personal tools

User:BrettGiles

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (...)
m (A sad wikignome with little time)
 
(2 intermediate revisions by one user not shown)
Line 3: Line 3:
 
Grad Student in Formal Methods at the University of Calgary.
 
Grad Student in Formal Methods at the University of Calgary.
   
http://pages.cpsc.ucalgary.ca/~gilesb
+
A proud wikignome - who unfortunately finds that full-time Ph.D. studies + full-time job leaves little or no time for gnoming. :(
  +
  +
[http://pages.cpsc.ucalgary.ca/~gilesb U of C home page]
  +
  +
[http://drogar.blogspot.com/search/label/Haskell My blogs related to Haskell]
   
 
__NOTOC__
 
__NOTOC__
Line 27: Line 27:
 
(save-excursion
 
(save-excursion
 
(end-of-line n)
 
(end-of-line n)
(point)))))
+
(point))))
 
</pre-lisp>
 
</pre-lisp>
 
right after the comments at the top. That should fix the issue.
 
right after the comments at the top. That should fix the issue.

Latest revision as of 18:18, 9 October 2007

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.

A proud wikignome - who unfortunately finds that full-time Ph.D. studies + full-time job leaves little or no time for gnoming. :(

U of C home page

My blogs related to Haskell


[edit] 1 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.

[edit] 2 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.

[edit] 2.1 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:

(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))))

right after the comments at the top. That should fix the issue.

[edit] 2.2 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:

(defvar haskell-default-face nil)

and change this to

(defvar haskell-default-face 'default)

In my version, this is line 168.

Then, look for the line that says:

 (,qvarid 0 haskell-default-face)

and change it to

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

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

[edit] 3 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)


[edit] 4 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.

[edit] 5 Links in the WIKI