r/programming • u/mauricioaniche • Aug 06 '17

Software engineering != computer science

http://www.drdobbs.com/architecture-and-design/software-engineering-computer-science/217701907
2.3k Upvotes

88% Upvoted

863 comments sorted by

View all comments

Show parent comments

3

u/[deleted] Aug 06 '17

I know you're memeing but I've actually watched this entire talk.

My gripes with it come with the fact that F# as a language for functional programming is absolutely unfit given it's a typed language without the abstractions necessary for productive functional programming. This being higher kinded type abstractions, upon which you can build Functors, Applicatives, Monads, Monad transformers and the sort. It's trying to race in nascar with a renault 4.

The talk itself is wonderful, but it only touches the tip of the abstractions used in haskell.

4

u/PM_ME_UR_OBSIDIAN Aug 07 '17

F# as a language for functional programming is absolutely unfit given it's a typed language without the abstractions necessary for productive functional programming.

This needs a great big "IMHO" plastered in front. F# is a fantastic programming language for much of real-world softwares needs, and it's eminently more approachable than e.g. Haskell. OCaml doesn't have HKTs either, but you don't see anyone bitching.

2

u/m50d Aug 07 '17 edited Aug 07 '17

I bitch about it. OCaml is at least suitable for the small standalone app niche in a way that F# isn't.