Functional Software Engineer | OCaml + Clojure + Go
"Types that make illegal states unrepresentable, purity that makes systems provable โ precision as a discipline, not an accident."
Focused on functional systems engineering, from production Clojure to low-level OCaml:
- Functional Systems Programming: OCaml for low-level, high-performance, compiler-verified software โ the deep, long-term specialization
- Production Functional Programming: Clojure as my primary professional language โ REPL-driven development, immutability, data-oriented design
- Day-to-Day Stack: Go and React from my current role
- Architecture Excellence: Functional Core/Imperative Shell, Clean Architecture, DDD, Hexagonal patterns
- Performance Engineering: Profiling, concurrency, and systems-level optimization
This journey reflects a commitment to functional programming as a discipline โ where the type system and immutability aren't constraints, but the tools that make correctness and performance the same goal.
๐ Technical Writing & Knowledge Sharing
- Clojure Is Awesome Series - English | Comprehensive series exploring Clojure's elegance and power - Dev.to, 2025
- The Importance of Adhering to RFCs and Best Practices When Building REST APIs - Portuguese | Deep dive into API design standards - Medium, 2025
- The Importance of Code Style: Elevating the Quality of Your Code - Portuguese | Code quality and maintainability practices - Medium, 2024
- Surfing with FP Java - English | Deep dive into Functional Interfaces in Java
๐ Professional Impact
- Production Systems: Architected and delivered scalable backend solutions across Insurance, Education, and Finance sectors
- Open Source Contributions: Active contributor to performance engineering community and educational content
Primary Focus: OCaml โข Clojure
Deep Research: OCaml โข Functional Systems Programming โข Compiler & Runtime Internals
Production Experience: Clojure โข Go โข React โข ClojureScript โข Java โข Ruby โข Python
Clean Architecture โข DDD โข Event-Driven Systems โข Hexagonal Architecture โข Microservices
APIs: REST (Richardson Level 3), GraphQL
Distributed Systems: Message queues, event streaming, concurrency
Docker โข CI/CD (GitHub Actions, Jenkins) โข Monitoring & Logging
OCaml | Functional Systems Programming | Compiler & Runtime Internals | Clojure in Production
My current exploration centers on becoming a specialist in OCaml โ its ecosystem, its compiler,
and how to build low-level, high-performance systems the way its most demanding practitioners
do (Jane Street being the reference point): correctness enforced by the type system, performance
without giving up abstraction. Clojure remains my primary professional language day to day, with
Go and React rounding out the stack from my current role.
This path is guiding me toward functional-systems engineering roles where type-driven design and low-level performance aren't a trade-off โ they're the same discipline.
Relational: PostgreSQL, Oracle (PL/SQL), IBM DB2
NoSQL: MongoDB, DynamoDB
Analytics: Google BigQuery
Performance: Query optimization, indexing strategies, database design patterns
Containerization: Docker, Kubernetes
CI/CD: GitHub Actions, Jenkins, Bamboo, Azure DevOps
Monitoring: Application performance monitoring, logging strategies, Sentry
Modern Auth: JWT, OAuth 2.0
Security Patterns: Zero-trust architecture, API security, encryption at rest/transit
Methodologies: Agile (Scrum, Kanban), DevOps culture, TDD/BDD
Collaboration: Code reviews, pair programming, technical mentoring
Tools: Jira, Azure Boards, Confluence, Notion, Linear, technical documentation
A comprehensive collection of design patterns implemented with clean code principles and extensive documentation.
| Behavioral Patterns | Creational Patterns | Structural Patterns |
|---|---|---|
| ๐ Chain Of Responsibility - Complete | ๐ฐ Abstract Factory - In Progress | ๐ Adapter - In Progress |
| ๐ซ Command - Complete | ๐ท Builder - Complete | ๐ Bridge - In Progress |
| ๐ถ Interpreter - In Progress | ๐ญ Factory Method - Complete | ๐ฟ Composite - In Progress |
| ๐ซ Iterator - In Progress | ๐ Monostate - Complete | ๐ง Decorator - Complete |
| ๐ Mediator - In Progress | ๐ Prototype - In Progress | ๐ Facade - Complete |
| ๐พ Memento - In Progress | ๐ Singleton - Complete | ๐ Flyweight - In Progress |
| ๐ Observer - Complete | โ Protection Proxy - In Progress | |
| ๐ State - Complete | ๐ฌ Virtual Proxy - In Progress | |
| ๐ก Strategy - In Progress | ||
| ๐ Visitor - In Progress | ||
| ๐ Template Method - In Progress |
Advanced data structure implementations with algorithmic complexity analysis and real-world use cases.
| Linear Structures | Hierarchical Structures | Graph-Based Structures |
|---|---|---|
| ๐ Array - Complete | ๐ฒ Tree - Complete | ๐ Graph - In Progress |
| ๐ Linked List - Complete | ๐ณ Binary Tree - In Progress | ๐ Directed Graph - In Progress |
| ๐ Stack - Complete | ๐ฒ AVL Tree - In Progress | ๐ Undirected Graph - In Progress |
| ๐ Queue - Complete | ๐ด Red-Black Tree - In Progress | ๐ Weighted Graph - In Progress |
| ๐ Deque - In Progress | ๐ฟ B-Tree - In Progress | ๐ Cyclic Graph - In Progress |
| ๐ Circular Buffer - In Progress | ๐ Priority Queue - In Progress | ๐ฆ Acyclic Graph - In Progress |
| ๐ Sparse Matrix - In Progress |
A comprehensive exploration of functional programming concepts, patterns, and advanced techniquesโfrom foundational principles to cutting-edge functional design.
| Foundational Concepts | Type Theory & Abstractions | Advanced Patterns | Design Principles |
|---|---|---|---|
| ๐ท Algebraic Data Types (ADTs) - In Progress | ๐ฎ Functor - In Progress | ๐ Free Monad - In Progress | ๐๏ธ Functional Core, Imperative Shell - In Progress |
| ๐ฏ Pattern Matching - In Progress | โจ Applicative - In Progress | ๐ Recursion Schemes - In Progress | ๐ก๏ธ Smart Constructor - In Progress |
| ๐ช Higher-Order Functions (HOFs) - Complete | ๐ Monad - In Progress | ๐ท๏ธ Tagless Final - In Progress | |
| ๐ Closures - Complete | ๐งฌ Semigroup - In Progress | ๐พ Hash-Consing - In Progress | โ Errors as Values - In Progress |
| ๐ Immutability - Complete | ๐ญ Monoid - In Progress | ๐ข De Bruijn Index - In Progress | ๐ Parse, Don't Validate - In Progress |
| โ๏ธ Totality - In Progress | ๐ Parametric vs Ad-hoc Polymorphism - In Progress | ๐งฉ Expression Problem - In Progress | |
| ๐ Streams - In Progress | ๐ Type Inference - In Progress | ๐งฎ Lambda Calculus - In Progress | |
| ๐ค Lazy Streams - In Progress | ๐ Endomorphism - In Progress | ||
| โก Stream Fusion - In Progress | |||
| ๐ฒ Deforestation - In Progress | โฌ ๏ธ Contravariant - In Progress | ||
| ๐ Recursion - Complete | ๐ฏ Profunctor - In Progress | ||
| ๐ฆ fold - Complete | ๐ฌ Lens - In Progress | ||
| ๐ถ traverse - In Progress | ๐ Prism - In Progress | ||
| ๐งช Parser Combinators - In Progress | |||
| โ๏ธ Applicative Validation - In Progress |
My commitment to software craftsmanship through established guidelines and documented practices:
Engineering Practices:
Git Workflow โข Documentation โข Testing (TDD/BDD) โข Logging Strategies โข API Design
Blockchain Development & Smart Contracts | Anhanguera | 2027-2029
Focus: Distributed ledger technologies, cryptographic protocols, smart contract security, decentralized applications (DApps), and blockchain architecture
Planned Specialization (2029-2030)
Blockchain โข Software Engineering & Smart Contracts
I'm always open to discussing:
- Functional programming and type-driven design
- OCaml and Clojure in production
- Backend engineering challenges
- Tech leadership and mentorship
- Open source collaborations
Feel free to reach out or explore my projects below! ๐
Professional Presence
- ๐ผ LinkedIn: andrefilipefonsecaborba - Professional networking and industry insights
- ๐ GitHub: AF2B - Open source contributions and technical projects
- ๐ GitHub Corp: BSCE - Open source contributions and technical projects
- ๐ง LeetCode: andreborba - Algorithmic problem solving and competitive programming
Technical Writing & Knowledge Sharing
- โ๏ธ Medium: @andre.borbaaf2b - In-depth technical articles and software engineering insights
- ๐จโ๐ป DEV Community: borba - Community engagement and technical tutorials
- ๐ Personal Website: Coming Soon - Technical blog and portfolio showcase
- ๐ Professional Resume: PDF Version In Progress
ALT: ะะะะ ะ ะะะ ะะ
ALT: OCaml Nerd
ALT: Functional Programming Nerd
"Code is poetry written for machines to execute and humans to understand. I strive to make both audiences appreciate the craft."