[Haskell-cafe] writing a function to make a correspondance between type-level integers and value-level integers
I'm late to this discussion and must have missed the motivation for it. Specifically, how is your goal, vector/tensor operations that are statically assured well-dimensioned differs from general well-dimensioned linear algebra, for which several solutions have been already offered. For example, the Vectro library has been described back in 2006: http://ofb.net/~frederik/vectro/draft-r2.pdf http://ofb.net/~frederik/vectro/ The paper also talks about reifying type-level integers to value-level integers, and reflecting them back. Recent GHC extensions (like DataKinds) make the code much prettier but don't fundamentally change the game. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Promoting Haskell via Youtube movies
Third. I really like the hands on approach. Cheers, Darren On 2013-06-17 12:09 PM, "Taylor Hedberg" wrote: > AlanKim Zimmerman, Mon 2013-06-17 @ 20:38:55+0200: > > This looks like quite a good series https://www.youtube.com/user/jekor > > Seconded. I have really enjoyed his videos so far and it seems like he's > regularly producing more. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Promoting Haskell via Youtube movies
AlanKim Zimmerman, Mon 2013-06-17 @ 20:38:55+0200: > This looks like quite a good series https://www.youtube.com/user/jekor Seconded. I have really enjoyed his videos so far and it seems like he's regularly producing more. signature.asc Description: Digital signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Promoting Haskell via Youtube movies
This looks like quite a good series https://www.youtube.com/user/jekor On Mon, Jun 17, 2013 at 8:30 PM, Vo Minh Thu wrote: > Certainly less entertaining but depending on your public, this one with FP > Complete's Aaron Contorer can be valuable: > > http://www.youtube.com/watch?v=Fqi0Xu2Enaw > > > 2013/6/17 Mihai Maruseac > >> Hi, >> >> I was wondering if we have similar movies for Haskell as >> https://www.youtube.com/watch?v=kLO1djacsfg and >> https://www.youtube.com/watch?v=E3418SeWZfQ exist for Java. >> >> I indend to give them to some people to make them intrigued by the >> language and start learning it / looking for it. >> >> -- >> MM >> "All we have to decide is what we do with the time that is given to us" >> >> ___ >> Haskell-Cafe mailing list >> Haskell-Cafe@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> > > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Promoting Haskell via Youtube movies
Certainly less entertaining but depending on your public, this one with FP Complete's Aaron Contorer can be valuable: http://www.youtube.com/watch?v=Fqi0Xu2Enaw 2013/6/17 Mihai Maruseac > Hi, > > I was wondering if we have similar movies for Haskell as > https://www.youtube.com/watch?v=kLO1djacsfg and > https://www.youtube.com/watch?v=E3418SeWZfQ exist for Java. > > I indend to give them to some people to make them intrigued by the > language and start learning it / looking for it. > > -- > MM > "All we have to decide is what we do with the time that is given to us" > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Promoting Haskell via Youtube movies
Hi, I was wondering if we have similar movies for Haskell as https://www.youtube.com/watch?v=kLO1djacsfg and https://www.youtube.com/watch?v=E3418SeWZfQ exist for Java. I indend to give them to some people to make them intrigued by the language and start learning it / looking for it. -- MM "All we have to decide is what we do with the time that is given to us" ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] opengl type confusion
On Sun, Jun 16, 2013 at 05:22:59PM -0700, bri...@aracnet.com wrote: > > Vertex3 takes three arguments, all of which must be of the same instance of > > VertexComponent. Specifying GLdoubles in the signature of wireframe > > specifies the types in the last three calls to Vertex3, but (0.0 :: > > GLdouble) is still requried on the first to fix the type there. How else > > could the compiler know that you mean 0.0 to be a GLdouble and not a > > GLfloat? > > it's curious that > > (0.0::GLdouble) 0.0 0.0 > > is good enough and that > > (0.0::GLdouble) (0.0::GLdouble) (0.0::GLdouble) > > is not required. I suspect that's because, as you point out, they all > have to be the same argument and ghc is being smart and saying if the > first arg _must_ be GLdouble (because I'm explicitly forcing the type), > then the rest must be too. That is exactly the reason. Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe