[Haskell-cafe] DSL to English and back for game rule set?

2013-05-19 Thread Matthew O'Connor
Hello all, I recognize this isn't directly a Haskell-related question, but as I'd like to solve this problem in Haskell & figured it's applicable. Let me know if there's a better place to ask. I am interested in creating a DSL (or set of types) for describing rules for a computer game. I'd like t

Re: [Haskell-cafe] DSL to English and back for game rule set?

2013-05-19 Thread Roman Cheplyaka
You should definitely look at Grammatical Framework http://www.grammaticalframework.org/ * Matthew O'Connor [2013-05-19 14:27:33-0600] > Hello all, > > I recognize this isn't directly a Haskell-related question, but as I'd like > to solve this problem in Haskell & figured it's applicable. Let me

[Haskell-cafe] More general "pattern matching"

2013-05-19 Thread Tom Ellis
Suppose I have a Category C > import Prelude hiding ((.), id) > import Control.Category > > data C a b > > instance Category C where >(.) = undefined >id = undefined which has "products" in the sense that there exists a "factors" function with suitable properties > factors :: C a

[Haskell-cafe] ANN: lambdabot-4.3

2013-05-19 Thread James Cook
As discussed a couple months ago, I have assumed maintainership of Lambdabot and a a new release has been brewing for a while. It has now been Hackaged as lambdabot-4.3. There are quite a few changes in this release, mainly internal. Plugins written for older versions will require some fair

[Haskell-cafe] rip in the class-abstraction continuum

2013-05-19 Thread Christopher Howard
Hi. I won't pretend to be an advanced Haskell programmer. However, I have a strong interest in abstraction, and I have been playing around with programming as abstractly as possible. Naturally, I find classes to be quite attractive and useful. However, something is bothering me. Lately I keep runn

[Haskell-cafe] New Functional Programming Job Opportunities

2013-05-19 Thread Functional Jobs
Here are some functional programming job opportunities that were posted recently: Test Engineer at Klarna http://functionaljobs.com/jobs/146-test-engineer-at-klarna Cheers, Sean Murphy FunctionalJobs.com ___ Haskell-Cafe mailing list Haskell-Cafe@hask

Re: [Haskell-cafe] rip in the class-abstraction continuum

2013-05-19 Thread Tillmann Rendel
Hi, Christopher Howard wrote: class XyConv a where toXy :: a b -> [Xy b] [...] I can get a quick fix by adding Floating to the context of the /class/ definition: class XyConv a where toXy :: Floating b => a b -> [Xy b] But what I really want is to put Floating in the context of the /in