News aggregator

mightybyte: Announcing C◦mp◦se :: Conference

Planet Haskell - Tue, 11/25/2014 - 2:59pm
Since most of my content is about Haskell, I would like to take this opportunity to inform my readers of a new conference that I and the other co-organizers of the New York Haskell Meetup are hosting at the end of January. It's called C◦mp◦se, and it's a conference for typed functional programmers. Check out the website at http://www.composeconference.org/. We recently issued a call for papers. I know it's short notice, but the deadline is November 30. If you have something that you think would be interesting to typed functional programmers, we'd love to hear from you. Along with the conference we'll also be having one day be a less formal hackathon/unconference. If you would like to give a tutorial/demo at the unconference, email us at info@composeconference.org.
Categories: Offsite Blogs

Database with similar type system to Haskell?

Haskell on Reddit - Tue, 11/25/2014 - 9:08am

Does anyone know of any database software with a similar type system to Haskell?

It'd be really cool if I could clearly see that some fields were of type Maybe Int - i.e. allow missing values, and some do not - and the database throws an error if those fields are omitted.

It'd be even better if it could apply regex checks to data entry too.

At the moment I'm using MongoDB at work, and the duck-typing on the fields is a nightmare, as it leads some IDs to be strings, and others to be ints, depending on if there are errors in the original files. Ideally I want these flagged up at entry time so I can fix it (I realise that a SQL database would help a lot with this but it wasn't my choice).

submitted by jamesmcm
[link] [40 comments]
Categories: Incoming News

LHC Team: Very minimal Hello World.

Planet Haskell - Tue, 11/25/2014 - 1:08am
The LLVM Haskell Compiler finally coming together. From Haskell parser to name resolution to type checker to desugarer to LLVM backend to GC. Everything is held together with duct tape but it feels great to finally compile and run Hello World.
# cat Hello.hs
{-# LANGUAGE MagicHash #-}
module Main (main) where

import LHC.Prim

main :: IO Unit
main =
puts "Hello Haskell!"# `thenIO`
return Unit

entrypoint :: Unit
entrypoint = unsafePerformIO main

Compiling the above file yields a single LLVM program, containing user code and the RTS.

# lli Hello.ll
Hello Haskell!
Categories: Offsite Blogs

Like "foldr" or "maybe" but for a single cons...

Haskell on Reddit - Mon, 11/24/2014 - 9:56pm

Does this have a name?

something :: b -> (a -> [a] -> b) -> [a] -> b something x _ [] = x something _ f (x:xs) = f x xs submitted by dllthomas
[link] [5 comments]
Categories: Incoming News

MFlow examples

del.icio.us/haskell - Mon, 11/24/2014 - 6:41pm
Categories: Offsite Blogs

Natural and Nat kinds

Haskell on Reddit - Mon, 11/24/2014 - 3:43pm

Will the new Natural type, when lifted as a kind (if/when that's possible), be the same as the Nat kind, or will they exists as different kinds?

submitted by AshleyYakeley
[link] [11 comments]
Categories: Incoming News

Haskell as a "hobby".

Haskell on Reddit - Mon, 11/24/2014 - 3:09pm

Yesterday I randomly bumped into Haskell and have been intrigued ever since. I’ve looked through introductory/intermediate videos and read into the first chapters of “Real World Haskell” and “Learn You a Haskell for Great Good”. From what I actually HAVE understood, I see that there is a lot of elegance and interesting aspects to the language. And I absolutely understand why Haskell has a reputation for a steep learning curve that can melt your brain. But I think that’s good!

Thing is, I don’t have a background in CS. I’m actually of the design type, just with a strong interest in technical stuff. I know my way around the elementary webtechnologies, have an interest in generative design and dabble with physical computing/Arduino. But all this is for pure fun. I would never call myself a programmer nor do I intend to make a living as one anytime in the future. I just think programming is kinda… relaxing. (After you overcome bouts of laptop-smashing frustration).

My current drug of choice is Processing, since it’s taylor-made for visual output which I aim at with generative design. “Duh!”, I hear you say, “how dare you compare this dumbed-down piece of Java with our excellent Haskell?!”. I know, I know… hear me out. For me programming is not about flexible, maintainable, high-quality software, but rather bringing my visual ideas to fruition. Often times with code so damn fugly, any self-respecting programmer would run to the woods and bite into a tree out of pure rage. But… I find Haskell so very intriguing. And I’d like to try and tackle it. But I don’t know if I should. Because I know I’ve just scratched the very surface of understanding the full power of the language and maybe what I want to do (mainly visual-centric output) is just batshit insane and/or overkill doing with Haskell.

As a reference, I’m currently working my way through Dan Shiffmans’ “Nature of Code”, learning all about physics systems, autonomous agents, fractals, simulation of evolution, etc. All as a means of finding new ways to create generative visuals.

So now I’m asking you, dearest community, if you could help me make a decision. Is it okay/sensible/sane of me to have a go at Haskell as fresh diversion from what I know through Processing? Maybe it can allow me to do things which are difficult/unthinkable with more traditional languages? Or am I on the completely wrong path?

Thanks for any feedback and opinions!

submitted by sevennationsalami
[link] [50 comments]
Categories: Incoming News