Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: programming-languages (5 posts)
all
haskell
nix
data-science
bazel
linear-types
statistics
python
devops
internship
nickel
fellowship
data-engineering
high-assurance
MCMC
rust
ghc
formal-methods
asterius
ocaml
inline-java
jobs
build-systems
webassembly
tutorial
formatting
icfp
liquidhaskell
programming-languages
smart-contracts
blockchain
topiary
auditing
jupyter
profiling
trustix
capability
c
c++
tools
fawltydeps
reproducibility
monorepo
optics
golang
cybersecurity
regulation
sbom
llms
rag
generative-ai
llm-evaluation
retrieval
cmake
ux
dependency-management
best-practices
cargo
type-level programming
buck2
packaging
halide-haskell
terraform
announcement
machine-learning
cloud
azure
ray
state-machine
domain-driven-design
jupyenv
servant
training
delta-lake
processes
Programming Languages and Compilers Group
Automating the verification of correct behaviour in complex systems.
programming-languages
compilers
ghc
haskell
nickel
rust
25 May 2023
PBT and the Ghost in the Machine
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Testing strategies.
python
programming-languages
tutorial
19 January 2023
Dial M for Monoid
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Typeclasses and continuation-passing style.
python
programming-languages
tutorial
1 December 2022
Higher-orderness is first-order interaction
Revisit the fundamental concept of higher-order functions with a new perspective: interaction.
programming-languages
8 September 2022
Typopædia Pythonica
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Gradual typing and algebraic data types.
python
programming-languages
tutorial
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