Haskell is a great solution for neural networks

Original post is here.

This explanation should be combined with 24 Days of GHC Extensions: Rank N Types (see related hypothes.is note).

This is such a nice description of forall. It should be combined with forall is the type-level "lambda" (also saved it here).

This was very neatly put, and forall above is also spot on.

If this would be the first time I came across parametricity, I wouldn't understand what it means.

https://en.wikipedia.org/wiki/Parametricity

In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way.

That is, a function with the type signature a -> a has only one implementation: it can only return its input. In a similar fashion, a -> b -> a will only return the first argument and ignore the second. And so on.

What does this mean?

two types or rather two things of the same type?

When to use different programming languages (advice from an Amazon employee):

• Java - enterprise applications
• C# - Microsoft's spin on Java (useful in the Microsoft's ecosystem)
• Ruby - when speed is more important then legibility or debugging
• Python - same as Ruby but also for ML/AI (don't forget to use type hinting to make life a little saner)
• Go/Rust - fresh web service where latency and performance were more important than community/library support
• Haskell/Erlang - for very elegant/mathematical functional approach without a lot of business logic
• Clojure - in situation when you love Lisp (?)
• Kotlin/Scala - languages compiling to JVM bytecode (preferable over Clojure). Kotlin works with Java and has great IntelliJ support
• C - classes of applications (operating systems, language design, low-level programming and hardware)
• C++ - robotics, video games and high frequency trading where the performance gains from no garbage collection make it preferable to Java
• PHP/Hack - testing server changes without rebuilding. PHP is banned at Amazon due to security reasons, but its successor, Hack, runs a lot of Facebook and Slack's backends

haskell-overridez is a tool and library of nix functions that simplify the use of overrides while developing haskell projects with nixpkgs.

A nix-based Haskell project manager

So this is a bit more elm-y than it would otherwise be

Haskell, Keep it simple, stupid.

-- FizzBuzz
module Main where

import Control.Monad

main :: IO ()
main = forM_ [1..100] $ \n -> putStrLn . concat . take 2 $
    ["Fizz" | n `mod` 3 == 0] ++ 
    ["Buzz" | n `mod` 5 == 0] ++ 
    ["", show n]

Definición de tipos de datos en Haskell y comparación con Java, Python y JavaScript.

Alternativas en Haskell a las listas como contenedores.

This confused me. I'm relatively new to Haskell and did not know about sectioning. After learning that detail, this makes sense as a (right) partial application of the (==) function.

https://www.youtube.com/watch?v=06x8Wf2r2Mc

def. FRP library: Functional Reactive Programming Library

Saw this recommended on a Quora answer whilst looking for book and article recommendations for a newcomer to Haskell

Useful cheatsheat for Haskell operators

I'm not sure, but I think what he meant here was foldMap :: Monoid m => (a -> m) -> t a -> m.

There's more on Applicative (and Functor) here, in case you're unfamiliar with it.