Functionam programming awesomeness :)

Random questions or observations about and around computers
Post Reply
Jerem000
Posts: 9
Joined: Wed Jun 16, 2010 1:56 pm

Functionam programming awesomeness :)

Post by Jerem000 » Sun Oct 30, 2011 9:57 pm

Hi Vincent,

It's been a while since I have posted something. I'am still trying to learn functional programming and it's as hard as it is fun ; even though I've
let aside monads and other arrows that are still confusing for me.

I didn't wrote "Hi guys" as an introduction, since Vincent might be the only crazy enough person here :) (besides myself indeed) to enjoy functional programming. But I think think that my discovery is interesting wether you like or dislike FP.
I found this video http://www.youtube.com/watch?v=faJ8N0giqzw that you might like. It blew my mind and if you don't know this stuff yet I hope you'll like it as much as I did.

Will you guess which language is used to develop the application before the speaker mentions it ?

User avatar
Vincent
Posts: 3069
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Re: Functionam programming awesomeness :)

Post by Vincent » Mon Oct 31, 2011 10:12 am

Jerem000 wrote: Vincent might be the only crazy enough person here ... to enjoy functional programming.
FTFY. I am pretty much the only person here, full stop. :)
Jerem000 wrote:I found this video http://www.youtube.com/watch?v=faJ8N0giqzw that you might like.
I do. Thank you for the pointer. This seems a bit related to functional reactive programming, though I don't think the latter is as GUI-centric as that. That's something I'd like to take a look at but never did -- I simply don't have much any use for GUI-writing tools these days.

I'am still trying to learn functional programming and it's as hard as it is fun ; even though I've let aside monads and other arrows that are still confusing for me.
.. And that are not essential to functional programming at all. I would call that "algebraic programming" or "category programming" rather than merely "functional programming" (note: that's not a standard term, I more or less just made it up). That kind of stuff arises quite naturally from and extends functional programming in the same sense than OOP extends imperative (procedural) programming, but to me it's rather clearly distinct. Of course there is a strong link: it is only possible if your language is purely functional -- all algebraic laws break down if you have any mutability -- but it is by no means a necessary accessory of FP.

For now all that stuff falls under the label of FP but I bet at some point the terminology will have to reflect the fact that it's not only FP. Currently, there is exactly one somewhat mainstream (ie. stuff has actually been written with it) general-purpose programming language that supports and encourages algebraic programming (unless I've missed something). Guess which. There are also languages like Mathematica and Maple and such, but they don't qualify as "general-purpose". So there is simply not much traction in that direction right now, which is probably why everything still falls under the same label.



Anyway, that was a digression, I should really go do some actual work,

Cya. :)
{ Vincent Hugot }

Post Reply

Who is online

Users browsing this forum: No registered users and 9 guests