Ada Lovelace : High School Cardano & AI ‐ Based Coding
Who is Ada Lovelace? She was a brilliant Mathematician who was the first computer programmer(https://en.wikipedia.org/wiki/Ada_Lovelace). Cardano crypto asset Ada and Lovelace honor her. WIMS Cardano High School Maths & IT started as a girls empowerment motivating girls to work hard in Maths following Ada's footsteps. In 2025 this programme open doors to all genders. Ada Lovelace is now for any high school learners world wide aimed at boosting Mathematics, Physics and computational reasoning.
What is Haskell? It is the most "Maths oriented" and Logic based programming language used by Cardano since 2016. Check this: The Haskell Road to Logic, Maths and Programming
-
🌟 Introduction
-
🎯 Programme Overview
-
🧱 Programme Structure
- 3.1 🟢 Year 1: Foundations
- 3.2 🟡 Year 2: Structures and Motion
- 3.3 🔵 Year 3: Calculus and Abstraction
- 3.4 🔴 Year 4: Integration, Category Theory, Verification, and Plutus
-
🧪 Assessment System
-
🧑🏫 Teacher Training Guide
-
🚀 Deployment Roadmap
-
🎓 Expected Outcomes
Since 2022, WIMS Cardano Global has been supporting and motivating high and secondary school students to pursue open-source Cardano coding careers. Initially, this initiative focused on empowering girls through information technology in South Africa. However, it has now expanded globally to include both boys and girls, reflecting the inclusive and international nature of the Cardano ecosystem.
Blockchain technology is a disruptive and rapidly growing sector within the Fourth Industrial Revolution (4IR). It has significantly contributed to the financial industry and the digitization (tokenization) of real-world assets. As interest in information technology continues to grow among high school learners, this programme aims to refine and expand educational opportunities while promoting mathematics, physics, and coding.
Cardano infrastructure is built using Haskell, a functional programming language grounded in mathematics. This makes Haskell an ideal language for strengthening mathematical and physical reasoning while introducing learners to blockchain development.
AI usage skills need to be learned and used correctly to enjoy learning fast and productively BUT not to replace traditional tried and tested pedagogical activities!
Created interesting open source games from what they learn and share with peers.
In summary, this programme is designed to build a strong foundation for future engineering and computational careers.
E.g.
--f(x) = x + 6
add :: Int -> Int
add x = x + 6
main::IO()
main = do
putStrLn "Is it true that if x = 89 then the answer will be 100?"
let answer = add 89
print $ answer == 100
This programme is designed as a four-year high school track, with an optional three-year version (by combining Years 1 and 2) to accommodate systems such as the South African high school structure.
The programme enables students to:
- Pass standard mathematics and physics examinations.
- Develop strong Haskell programming skills.
- Understand logic, verification, and formal reasoning.
- Build real Cardano Plutus smart contracts.
- Enjoy programming in haskell, simulations, AI usage.
- Receive achievement NFTs, Certificate of completion, prizes(stationery, tee-shirts, caps, trophies, etc)
The programme integrates mathematics, physics, programming, logic, and blockchain into a unified learning experience. Students learn progressively through rules, functions, state transitions, proofs, and computation.
This programme is designed as a four-part series, corresponding to Year 1 through Year 4. Each part builds progressively on the previous one, allowing students to develop a deep and connected understanding of mathematics, physics, Haskell programming, logic, verification, and Plutus smart contracts.
However, the structure is flexible and can be adapted to different educational systems. The four parts may also be delivered as four learning periods within any defined duration, depending on the needs of the school, institution, or programme schedule. For example, schools may choose to compress the content into shorter intensive modules or extend it across multiple academic years.
It is important to emphasize that this programme is not intended to replace existing school curricula. Instead, it is designed to supplement and enhance current educational programmes
Year 1 introduces algebra, basic physics quantities, Boolean logic, pure Haskell functions, lists, and simple recursion. Students learn that mathematical functions and Haskell functions both describe rules that map inputs to outputs.
In addition, HTML, CSS, and JavaScript are introduced to enable students to build static websites. Teach learners correct and responsible use of AI tools without killing or stiffling their traditional tried and tested learning activities.
By the end of Year 1, students should be able to:
- Solve simple algebraic equations.
- Write basic Haskell functions.
- Evaluate Boolean expressions.
- Build simple calculators for speed, distance, and time.
- Create static websites.
- Use scratch and alice
Year 2 introduces quadratics, trigonometry, motion, lists as time-series data, trees, searching, sorting, and basic complexity concepts. Students learn that physical systems can be represented as structured data and transformed using algorithms.
Server-side programming and database concepts are also introduced.
By the end of Year 2, students should be able to:
- Model motion using position and velocity.
- Write recursive functions over lists and trees.
- Explain why some algorithms are more efficient than others.
- Use Haskell for server-side logic.
- Understand SQL and basic database operations.
- Java, python, delphi, C# research compare these and abstract principles of programming: data structures, decision making, iteration, modules, algorithm design, syntax variations.
Year 3 introduces derivatives, rate of change, velocity as the derivative of position, acceleration as the derivative of velocity, higher-order functions, folds, composition, invariants, and property-based reasoning.
Students are also introduced to full-stack Haskell development and basic Plutus concepts.
By the end of Year 3, students should be able to:
- Approximate derivatives using Haskell.
- Explain motion using calculus.
- Use higher-order functions such as
map,filter, andfold. - Reason about program correctness using properties.
- Build simple full-stack applications.
- Understand blockchain fundamentals such as eUTxO, on-chain, and off-chain code.
Year 4 introduces integration, accumulation, category theory concepts, formal verification, and advanced Plutus development.
Students learn about:
- Validator logic
- Datum and redeemer
- Script context
- State machines
- Smart contract deployment
By the end of Year 4, students should be able to:
- Build Plutus validators and simple wallets.
- Explain how blockchain transactions are validated.
- Develop on-chain and off-chain code.
- Write unit tests for smart contracts.
- Deploy and maintain decentralized applications on the Cardano blockchain.
The assessment system consists of three components.
First, students are assessed on mathematics and physics to ensure alignment with global academic standards.
Second, students are evaluated on Haskell programming through exercises involving functions, data structures, and simulations.
Third, students are assessed through projects that require explanation, testing, and demonstration of correctness.
A typical final assessment requires students to:
- Solve a calculus problem.
- Model the solution using Haskell.
- Test a property of their model.
- Explain how the model can be translated into a Plutus validator.
Teachers should begin with pure Haskell before introducing Plutus, because Plutus depends on functional programming principles.
Category theory should not be introduced as abstract university-level material. Instead, it should be taught through familiar concepts such as function composition and identity.
For example, a teacher may explain that composing functions in Haskell is the same structural idea studied in category theory. This approach makes advanced topics accessible and intuitive.
The programme should begin with Year 1 as a pilot phase. During this phase, students engage in mathematics lessons, Haskell programming labs, and small physics-based projects.
After one year, Year 2 can be introduced, focusing on simulations and algorithms. Year 3 should introduce calculus and verification, while Year 4 focuses on Plutus development and smart contracts.
The final capstone project requires each student to build a verified decentralized system, such as:
- A simple auction contract
- A vesting contract
- A physics-based unlocking contract
- A token payment validator
This programme produces students who are:
- Strong in mathematics and physics
- Skilled in Haskell programming
- Capable of logical and formal reasoning
- Able to design and verify systems
- Ready to build real blockchain applications
Students completing this programme will not only meet academic requirements but will also gain practical engineering skills relevant to modern technology and the global blockchain ecosystem.
High school learners are to create content and exercises with solutions based on final-year examinations, and Cardano & Coxygen students are to write Haskell functions to solve these exercises.
Together, learners and students will code simple math and physics simulation games based on Cardano technologies such as wallets, on-chain components, NFT tokens, fungible tokens, and smart contracts. The code must follow professional standards, including good documentation.
Productive effort will be evaluated, and credit in the form of badges, prizes, recognition, or trophies will be awarded!
South African President - on blockchain & 4IR technologies
https://youtube.com/shorts/8lx6Ai_lhNg?si=iZNyIigsmyRl5QlK
WIMS Cardano Girls Support
https://www.youtube.com/watch?v=M9r7xaGMigw
https://www.youtube.com/watch?v=pAEJ0yO4D7Q&t=5s
https://www.youtube.com/watch?v=UJG7TAUoLMM
https://www.youtube.com/watch?v=bLDy7BLlHWs
https://www.youtube.com/watch?v=AXUsVPE0Czk
https://www.youtube.com/watch?v=AayenxfEVr0
By Bernard Sibanda 10-01-2025 - cto@wims.io, cto@coxygen.co, +27 73 182 0631 dicord : @wims5274, X: @wimscardano, telegram : @coxygenglobal
NOTE : Content above may be changed at anytime without notice. Please keep checking here for updates.
Bernard Sibanda is a global Technology Entrepreneur, Web3 and Software Consultant with a deep focus on Cardano Blockchain, Midnight and Community building.
Key Positions:
- Founder, CTO, Developer Advocate cohort #1, Fullstake Developer, Cardano Ambassador, Catalyst Project Manager, DREP-WIMS:
- Co-founder of ABL Tech and Cardano Africa Live
- EBU-certified Plutus Pioneer (Plutus/Haskell)
- Cohort #1 Plutus Pioneer Developer
- Catalyst Community Reviewer & Funded Projects Manager
-
DRep for WIMS-Cardano (ID:
drep1yguj8zu48n99pv70yl6ckzt9hdgjy8yjnlqs2uyzcpafnjgu4vkul) - Intersect Developer Advocate
- Intersect Committe Member 2025-2026
- Cardano Marketer,Promoter and blogger
- Cardano Open Source Contributor
- Cardano communities and events organizer and builder
- Cardano Ambassador for South Africa
Official links:
- Stablecoins Dex
- Coxygen Global Universities
- WIMS Cardano Global
- Cardano Africa Live
- WIMS Cardano Videos
- Cardano Smart Contract Videos
- Fullstack IT Consulting
Social links: