Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: optics (2 posts)
all
animation
announcement
asterius
auditing
azure
bash
bazel
best-practices
blockchain
buck2
build-systems
c
c++
capability
cardano
cargo
cloud
cmake
contract-testing
cooked-validators
cybersecurity
data-engineering
data-science
delta-lake
dependency-management
devops
domain-driven-design
fawltydeps
fellowship
formal-methods
formatting
frontend
generative-ai
ghc
golang
halide-haskell
haskell
high-assurance
icfp
inline-java
integration-testing
internship
jobs
jupyenv
jupyter
linear-types
liquidhaskell
llm
llm-evaluation
machine-learning
MCMC
meta
monorepo
nickel
nix
ocaml
optics
packaging
processes
profiling
programming-languages
python
rag
ray
react
react-native
reanimated
regulation
reproducibility
retrieval
rust
sbom
servant
skia
smart-contracts
software-quality
state-machine
statistics
terraform
tools
topiary
training
trustix
tutorial
type-level programming
typescript
ux
webassembly
5 May 2022
Existential optics
MP
Marco Perone
A presentation of an alternative encoding for optics such as lenses and prisms using existential types.
haskell
optics
15 April 2021
Arrows, through a different lens
JR
Juan Raphael Diaz Simões
How to use lenses and other optics within an Arrow-based framework.
haskell
optics
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2024 Modus Create, LLC
Privacy Policy
Sitemap
