My background is in computer engineering and I have been doing some stuff in haskell the last year and really liking it. I have also looked at Idris and other languages and coming from a background with imperative languages, it's really exciting.
Since I have mostly used books and google to learn and find help and information, I would like to find some other sources for more information, since my knowledge hub is quite sparse at the moment, about these things anyways.
New, experimental topics being studied right now about languages, techniques, functional programming, the future of it and so forth. Anything exciting, really. A place where these things are published, discussed and exposed, is what I am looking for. The format I had in mind is papers, but I will also read articles and books gladly.
Where are haskell/functional programming/new language research being published to? Where do you guys find these papers and articles? I would like to know about any resource where I can be exposed to great material.
Feel free to recommend me older papers on the topics also. I haven't read any about this yet, so most anything should be knew to me.
Go at it, thanks!submitted by sirhcreffot
[link] [16 comments]
My New Year's resolution is to look at my e-mail at most once a day. If you need a response in less than a day or two, please arrange it with me in advance or use a different medium. Cartoon courtesy of Oatmeal.
I've heard it said over and over that Haskell is very mathematical, math-oriented, etc. I've been reading through this subreddit and reading lots of "should I learn haskell?" posts with a lot of people giving qualified yeses on the condition that the learner is interested in and good at math.
Well, I might be somewhat novel then: I've done a bit of programming in python, and I'm teaching myself C, but I'm curious about FP. Also, I'm not really terribly good at math. The last serious math class I passed was intermediate college algebra (the class you take before trigonometry).
Flash forward a few years, and I have a much different relationship to learning math: I'm curious about it, and I want to understand it more than just get correct answers. But I've still got a ways to go :)
Here's the question (aka, tl;dr): If knowing math can help you understand Haskell, does learning Haskell help you to better understand math? Will learning Haskell have benefits outside of, well, programming in Haskell?submitted by tunabee
[link] [17 comments]
I created a subreddit called HardyCoding and am hoping I have the same success as I did founding The University of Reddit. I'm reaching out to the Haskell community as I see functional programming as one of the purest forms of programming and would love for their help. The reason for this post is to 1. Describe the point of the subreddit and 2. to explain why I'm reaching out to this subreddit specifically.
I have an idea to build a user submitted programming challenge subreddit. What makes this different from the rest of them? The difference is posts are able to place restrictions on the way that an answer can be accepted. I have a problem with traditional learning and education where you learn something where there is already an established answer. I want people to ask questions that have never been asked.
Haskell is one of my favorite languages and I believe this platform will benefit Haskell developers wanting to share their language with other people by Haskell users submitting coding challenges with restrictions on functional programming and specific languages (Ocaml, Haskell, F#).
I'll be posting to a few more subreddits tonight to get a nice mix of people. Suggestions of where to look for good users are appreciated.
Let me know what everyone thinks.
I'm just starting the sub and looking to grow slower than The University of Reddit did.eawesome3
[link] [5 comments]
It seems to me that there is a lot in common between UMPs in Category Theory and Parametricity/Free Theorems in FP. Pull me up where I run off the tracks: (I suspect my terminology and descriptive language will betray some confusion)
In Category Theory, Universal Mapping Properties are this really useful device that shines light on structures through:
* An arrow that is being "tested" (ie one that generates free structure)
* Universal quantification (forall) of another generated "target" and a second arrow to the "target", which proves that the first arrow isn't deriving input from anywhere else.
* Uniqueness (up to isomorphism) of the arrow from the original generated object to the "forall" object, which proves that the generated structures don't contain extraneous information.
Now, compare to the idea of parametricity and Free Theorems that we know and love in FP:
Parametricity is a really useful device that gives us more information (free theories) about an implementation/proof through universally quantified (forall) type variables, that proves that the types carry no more information than is required.
Or something like that. In both cases, universal quantification is preventing unnecessary specificity, which allows us to know a lot more about the whole structure.
Is that the extent of the similarity between the two concepts? Is the use of uniqueness in UMPs mirrored in some way? Are there some deeper parallels that I'm missing?
Thanks for your time, Kensubmitted by kenbot_
[link] [3 comments]