jameshaydon

Why Python and not Haskell?

This thread asks why more Python developers couldn't instead be using Haskell: https://discourse.haskell.org/t/commercial-haskell-should-go-after-python-julia-not-rust/6964/2

One of the points made in this thread, is that there is a sizeable class of Python programmers for which the trope "Python programmers will be scared of monads!" doesn't apply. I thought I would ask some of the people I know that use Python why they don't use Haskell.

Some notes about the demographic:

• These people all work as academic researchers in Computer Science, formal methods, ranging from very abstract to quite practical.
• Two of them know more about Category Theory and monads than the vast majority of Haskellers.

jameshaydon

{-# LANGUAGE LiberalTypeSynonyms #-}

module ElimAgainAgain where

import Control.Applicative
import Control.Category
import Control.Lens hiding (cons)
import Data.Generics.Labels ()
import GHC.Generics
import Prelude hiding (either, head, id, tail, (.))

jameshaydon

{-# LANGUAGE TypeFamilies #-}

module ElimAgain where

import Control.Lens
import Data.Generics.Labels ()
import Data.Kind
import GHC.Generics
import Prelude hiding (either)

jameshaydon

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-partial-fields #-}

module Elim where

import Data.Kind
import Prelude

-- | A typeclass for introducing a type.