import University.Ferrara
import ACLAI.Lab          (sole, symbolicLearning)
import qualified Logic.Symbolic as AI

data Developer = Developer
  { name    :: String
  , origin  :: String
  , uptime  :: Years
  , focus   :: [Topic]
  , hobby   :: [Passion]
  } deriving (Show, Eq)

me :: Developer
me = Developer
  { name   = "Marco Perrotta"
  , origin = "Italy"
  , uptime = 21
  , focus  = ["Symbolic AI", "Machine Learning", "Logic for CS"]
  , hobby  = ["Playing with different OS", "Formal logic", "ML research"]
  }

type Favourite = [Language]

myLanguages :: Favourite
myLanguages = ["Gleam", "C", "Julia", "Haskell"]
  -- naturally a conjunction of passions: ∧ ∧ ∧

toolchain :: [Tool]
toolchain =
  -- languages
  [ "Gleam", "C", "Julia", "Haskell"
  , "Python", "Go", "Java", "Bash", "PHP"
  , "Prolog", "MIPS ASM", "R", "MATLAB", "Fortran"
  , "LaTeX", "HTML", "CSS", "SQL", "Arduino"
  -- frameworks & libraries
  , "Laravel", "scikit-learn", "Angular"
  -- editors & environments
  , "VSCode", "Notepad++", "tmux"
  -- tools & platforms
  , "Git", "WSL", "PuTTY", "TeamViewer", "JAndroid"
  ]

sole :: IO Research
sole = do
  lab       <- joinLab "ACLAI"
  -- Applied Computational Logic and Artificial Intelligence
  -- Dept. of Mathematics and Computer Science, University of Ferrara
  framework <- develop "SOLE"
  -- SymbOlic LEarning framework
  return $ framework <> lab

reach :: Channel -> Maybe Marco
reach Email    = Just "perrottamarco2011@gmail.com"
reach LinkedIn = Just "linkedin.com/in/marco-perrotta-b159b6244"
reach Reddit   = Just "DarkAltruistic9560"
reach GitHub   = Just "Perro2110"
reach _        = Nothing