Search results

Jump to: navigation, search
  • Now you may notice that I'm mixing features with implementation choices (eg using Gtk+). To justify thi ...rograming in Haskell. I think I know a little abut GUI design (but maybe I'm just opinionated and igonrant). I used to work on hIDE 1.x. I would be inte
    24 KB (4,039 words) - 04:38, 24 April 2021
  • G-Machine, TIM, parallel G-Machine. In each case the authors provide a en distintas titulaciones de la Universidad de Málaga. Aún así, su
    48 KB (6,950 words) - 01:21, 1 March 2020
  • ...u/~magnus/ Magnus Carlsson], OGI,[http://www.cse.unsw.edu.au/~chak/ Manuel M. T. Chakravarty], University of New South Wales,[http://www.cs.kent.ac.uk/p *<b>M:</b>[http://www.research.microsoft.com/~simonmar/ Simon Marlow], Microsoft,
    11 KB (1,760 words) - 21:50, 23 April 2021
  • ** Template metaprogramming for Haskell, by Tim Sheard and Simon Peyton Jones, Oct 2002. [[http://www.haskell.org/wikiuploa * I'm writing Hacanon - a framework for automatic generation of C++ bindings. Rea
    30 KB (4,549 words) - 09:00, 18 July 2021
  • Template Haskell was conceived by Tim Sheard and Simon Peyton Jones<ref name="th1" /> by drawing on the ideas of ...a definition for function <hask>foldMap :: Monoid m => (a -> m) -> T a -> m</hask>. Again, <hask>foldMap</hask>'s definition follows directly from a da
    45 KB (6,927 words) - 18:50, 16 November 2020
  • :Tim Sheard and Simon Peyton Jones, Proceedings of the Haskell Workshop, Pittsbu :Sean Seefried, Manuel M. T. Chakravarty, and Gabriele Keller. In Gabor Karsai and Eelco Visser, edi
    25 KB (3,476 words) - 23:13, 15 December 2020
  • *[https://scholar.google.com/citations?user=w6XYY_EAAAAJ Manuel M. T. Chakravarty] *[http://research.microsoft.com/~tharris/ Tim Harris]
    8 KB (1,255 words) - 04:18, 25 July 2021
  • ...m a b</code>) corresponds to the type <code>(a -> m b)</code>, where <code>m</code> is a monadic type. It's defined in <code>Control.Arrows</code> simi newtype Kleisli m a b = Kleisli {
    8 KB (1,316 words) - 00:00, 17 June 2021
  • To: "Tim Harris (RESEARCH)" <tharris@microsoft.com>, Subject: RE: [Haskell] Re: [Haskell-cafe] SimonPJ and Tim Harris explain STM
    24 KB (3,463 words) - 05:20, 12 July 2021
  • ...e?" ... "A monad is a triple (M; unit; *) consisting of a type constructor M and two operations of the given polymorphic types." *: "So now I can reveal what a monad is. The triple of objects (m,unit,bind) is the monad, and to be a monad they must satisfy a bunch of law
    25 KB (3,577 words) - 15:15, 22 August 2021
  • ...e value <code>x</code> while producing some I/O effects, then <code>fmap g m</code> will compute the value <code>g x</code> while producing the same I/O class Applicative m => Monad m where
    179 KB (29,507 words) - 20:17, 23 July 2021
  • I plan to fix a few random GHC bugs and I’m more than happy to guide GHC-newbies in doing the same. Planning and coordi * Tim Schwarte
    10 KB (1,601 words) - 10:27, 27 October 2014
  • * '''Haskell at Pingwell''' by Tim Sears ...l/lambda-ccc/ lambda-ccc] - a project for compiling Haskell to hardware. I'm doing this work for my day job, but the development is open, and the result
    6 KB (923 words) - 17:52, 13 June 2014
  • * GHCJS (Tim) * I'm interested in doing some work on pattern synonyms in GHC.
    8 KB (1,326 words) - 20:19, 28 September 2014