Fork me on GitHub
#off-topic
<
2018-02-15
>
tbaldridge00:02:34

Yeah, the type providers were pretty awesome looking. Think clojure.spec but it can be produced on-the-fly by databases, and interacts directly with the compiler's type checker. So somehow it has a way to allow code to run during compilation that can generate types from arbitrary library logic.

dpsutton00:02:31

it can get annoying if the sample you give it isn't representative enough

dpsutton00:02:35

but it is pretty cool

bronsa00:02:13

does anybody know of any papers/studies demonstrating the effectiveness of FP in industry? apart from https://cacm.acm.org/magazines/2017/10/221326-a-large-scale-study-of-programming-languages-and-code-quality-in-github/fulltext