I'm a graduated in mathematics specialized in algebra and computer science, and a passionated Scala developer. As fascinated in learning about category theory as playing 80's arcade games. Looking for new challenges and new approaches to develop.
import dev.myself.core._
trait Person[F[_]] { /* compiled code */ }
trait CurriculumVitae[F[_]] {
def about: F[Info]
def experience(date: Date): F[Info]
def education(date: Date): F[Info]
def techStacks: F[Stack]
}
def cv[F[_]: MonadFilter](person: Person[F]): CurriculumVitae[F] =
new CurriculumVitae[F] {
def about: F[Info] = person.MYLIFE
def experience(date: Date): F[Info] = person.EXPERIENCE.filter(info => info.date == date)
def education(date: Date): F[Info] = person.EDUCATION.filter(info => info.date == date)
def techStacks: F[Stack] = person.SKILLS
}
val me: Person[List] = new Person[List] { /* compiled code */ }
val rafaelFernandezOrtiz: CurriculumVitae[List] = cv(me)
Hi! I would like to show you some posts that I wrote about design patterns, functional programming, scala and so on.
- Web Agregando skills modulares (Spanish)
- Web Fechas y expresiones regulares (Spanish)
- Reddit Free Monad vs Tagless Final (English)
- 💬 Ask me about anything, I am happy to help;
- 🐤 How to reach me: @neskeip;
- 📝 Resume (Spanish)
- 📝 Resume (English)
- 🌍 Website
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent