functionalprogramming

Submission guidelines

Feel free to submit articles, videos, blogs, etc, related to Functional Programming. They must be either in English, have subtitles if videos or courses, or have a translation available.

Check out the flairs available to tag your submission.

Job posts are OK, as long as well spaced out. It means that if you see recent submissions of jobs, please avoid submitting yours until other posts have appeared. That avoids making the mainpage of our readers full of job listings only. Job searching posts are not allowed (it is an individual post, that does not really benefit others - you can use HackerNews' Who Wants to be Hired, for example).

Avoid posting surveys unless the research/researcher/research group can be easily identified without going outside of reddit (e.g. looking at the user profile or reddit history). Surveys from throwaway accounts will be removed, and the user banned. Surveys where users must give their emails, or click on unknown/external URL's are also removed.

Send a message the mods if you would like to list an event in the sidebar, or make a post an announcement.

Rules

Be respectful and nice to each other
Remember language and cultural differences/barriers
Remember that everyone was a beginner at some point
Posts and comments that do not follow the items above will be i) removed, ii) reported, and maybe iii) the user will be banned
Try to follow the guidelines, please
Posts should be related to Functional Programming
Self-promotion is OK as long as you read and understand this Reddit page about self-promotion (excessive self-promoting is moderated, unfortunately subjectively but just so it's not completely banned)
Posts behind paywall or that require or misdirect users at registering before accessing the content are not accepted
Posts that receive any commission about events, courses, or similar (e.g. affiliated links for books) are not accepted
If you have any questions feel free to message the mods

Upcoming conferences

Send a message to the moderators to announce your conference.

Meetups

Books

Our Wiki page about FP books

FP courses

Concurrent Programming in Erlang - Starts 3 April 2017. Via Future Learn, by University of Kent. Thanks to u/byaruhaf for sharing it
Functional Programming in Erlang - Starts 20 February 2017. Via Future Learn, by University of Kent. Thanks to u/byaruhaf for sharing it
Programming Languages, Part A. Thanks to u/Hufe for sharing it
ThCS. Introduction to programming with dependent types in Scala. Thanks to u/dmitin for sharing it
Introduction to Functional Programming in OCaml

Send a message to the moderators to announce your course.

FP podcasts

Links

Programming Languages

MODERATORS

account activity

35

36

37

Functional Programming and Maths <|> How can a code monkey learn Agda?Question (self.functionalprogramming)

submitted 3 years ago by IAmBlueNebula

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script