How to Sell Excellence • Hacker News Board

Re: How to Sell Excellence

#121

Post by ryantrinkle » Tue, Apr 07, 2015, 5:27 PM UTC

seanwilson wrote: post #45

ryandvm wrote: post #4

At the risk of sounding inflammatory... I would be willing to believe that purely functional languages are the "one true way" if there were even the slightest bit of empirical evidence to support it. But where are all the successful large scale projects built with Haskell (or Clojure or whatever)? The biggest FP project I was aware of was Twitter using Scala and they ended up completely backing away from it. Yikes. T…

I would use strongly typed functional programming languages for everything if I could. However, to be productive, you're usually constrained by what the dominant language is for your domain. For example, Android apps are usually written in Java and web apps are usually written in JavaScript. Each has a huge ecosystem of tools and libraries based around these languages. I'm sure there's some way I could use Haskell or…

The talk for Reflex is up now, in case you're interested: https://news.ycombinator.com/item?id=9334766

Re: How to Sell Excellence

#122

Post by ryantrinkle » Tue, Apr 07, 2015, 5:28 PM UTC

gclaramunt wrote: post #86

mightybyte wrote: post #54

Earlier quoted context omitted.

I'm using GHCJS and Reflex. Reflex is a recently released FRP library that makes a huge difference in one's ability to abstract GUI code. I personally feel that this combination of GHCJS + Reflex is the first thing I've used that makes web front end programming tolerable. A week ago there was a presentation about it at the NY Haskell Meetup. Look for videos of it to be posted early next week.

Reflex looks awesome, and it's real FRP

Thanks! If you haven't seen the talk yet, take a look and let me know what you think :)

https://news.ycombinator.com/item?id=9334766

Re: How to Sell Excellence

#123

Post by gclaramunt » Tue, Apr 07, 2015, 8:33 PM UTC

ryantrinkle wrote: post #122

gclaramunt wrote: post #86

Earlier quoted context omitted.

Reflex looks awesome, and it's real FRP

Thanks! If you haven't seen the talk yet, take a look and let me know what you think :) https://news.ycombinator.com/item?id=9334766

Yeah, I was there... I really liked it.

Re: How to Sell Excellence

#124

Post by dllthomas » Wed, Apr 08, 2015, 3:24 AM UTC

dllthomas wrote: post #116

jaggederest wrote: post #109

Earlier quoted context omitted.

> You don't need to be a category theorist to use monads in Haskell. I find that demonstrably false. Every time I run into problems and ask for help, the answer is "there is this other mathematical concept that solves that problem". It's not just monads, it's comonads, monad transformers, GADTs, Functors, phantom types, arrows, arrow transformers, the list keeps going. In addition, they're only described in terms of…

To a first approximation, no one uses arrows aside from the function instance. I've never encountered an arrow transformer in the wild.

I should amend this. I have never noticed something to be an arrow transformer in the wild, neither because it was called out in documentation or naming, nor independently. I have much less confidence nothing I have encountered has ever been an arrow transformer...