Last updated 3 months ago
Cardano's Smart Contract programming language is Plutus, built on Haskell Haskell is a difficult language to approach for developers No platform offers comprehensive courses for developers
We are creating an All-In-One Haskell Learning Platform that will provide lessons for beginner and advanced developers to be able to built Smart Contracts on Cardano. Growing developers for Cardano
Please provide your proposal title
All-In-One Haskell Learning Platform
Enter the amount of funding you are requesting in ADA
60000
Please specify how many months you expect your project to last
12
Please indicate if your proposal has been auto-translated
No
Original Language
en
What is the problem you want to solve?
Cardano's Smart Contract programming language is Plutus, built on Haskell Haskell is a difficult language to approach for developers No platform offers comprehensive courses for developers
Supporting links
Does your project have any dependencies on other organizations, technical or otherwise?
No
Describe any dependencies or write 'No dependencies'
No dependencies
Will your project's outputs be fully open source?
Yes
Please provide details on the intellectual property (IP) status of your project outputs, including whether they will be released as open source or retained under another licence.
Fully Open
Please choose the most relevant theme and tag related to the outcomes of your proposal
Education
Who you’re targeting, how you’ll reach them, and why this matters for Cardano?
Provide a list of key activities of your project:
Create an All-In-One Haskell Learning Platform that includes:
In addition, we will host live-coding sessions to answer learners’ questions and guide them in building real-world projects.
What are your success metrics?
Please describe your proposed solution and how it addresses the problem
Plutus is the native smart contract language for Cardano. It is a Turing-complete language written in Haskell, and Plutus smart contracts are effectively Haskell programs.
Plutus contracts consist of parts that run on the blockchain (on-chain code) and parts that run on a user’s machine (off-chain or client code). Both the on-chain and off-chain code are written in Haskell
Haskell is a functional programming language and it is not as popular as other imperative programming languages. Besides, Haskell's programming style is very different from other popular programming languages. This creates a barrier for developers to access and build products on Cardano
Currently, most Haskell learning resources are limited to books and a few shared videos on YouTube. We have received many complaints from learners about the significant difficulties they face when studying Haskell, as the available knowledge is scattered across multiple sources on the Internet and not consolidated in a way that makes learning simple. This has become a major barrier for them in learning Haskell.
To solve those problems, we will create an All-In-One Haskell Learning Platform. This platform will enable learners to become proficient in Haskell programming by simply completing the courses we provide. Our courses will be organized into different levels, catering both to beginners and to those with prior programming experience. In addition, we will host live-coding sessions to directly address learners’ questions and guide them through the implementation of specific projects.
What will this project bring to Cardano?
The slow growth in the number of developers on Cardano is primarily due to the fact that Cardano’s Smart Contracts are built using Plutus — a programming language based on Haskell. However, Haskell is not a common programming language for most developers today.
Therefore, a platform that provides comprehensive Haskell courses is essential for increasing the number of developers in the Cardano ecosystem.
In our courses for this project, we will also include exercises and lessons related to Smart Contracts on Cardano. This way, learners will not only gain knowledge of Haskell but will also acquire the skills needed to build Smart Contracts on Cardano upon completing the courses.
Please define the positive impact your project will have on the wider Cardano community
Plutus is the native smart contract language for Cardano. It is a Turing-complete language written in Haskell, and Plutus smart contracts are effectively Haskell programs.
Plutus contracts consist of parts that run on the blockchain (on-chain code) and parts that run on a user’s machine (off-chain or client code). Both the on-chain and off-chain code are written in Haskell
Haskell is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. This is an uncommon language like JavaScript, C++, C#,.... Therefore, there are very few developers who can use this language for programming.
Haskell is the first “door” to bring more developers to the Cardano ecosystem. If developers are not able to program in Haskell, their ability to deploy dApps on Cardano is very limited. Therefore, Haskell courses for those who want to participate in the Cardano ecosystem are extremely important.
We have had about 5 funded proposals for Haskell courses in previous Catalyst funds. But the courses that will be built in this proposal are completely different from our previous funded proposals. The lessons and exercises in the All-In-One Haskell Learning Platform will focus on topics related to the Cardano blockchain and Plutus. It will help learners focus on the important knowledge to build projects on Cardano rather than general knowledge about Haskell. This will help learners build projects on Cardano using Plutus and Haskell as quickly as possible.
This proposal will help to develop "Number of developers actively building on top of Cardano"
Our goal after about 1 year of implementing this platform is:
What is your capability to deliver your project with high levels of trust and accountability? How do you intend to validate if your approach is feasible?
We have 5 funded proposals in fund 8, 9 and 11 all of those proposals were successfully completed
We are one of the greatest team in Developer Ecosystem Challenge in fund 8 & 9
We have also developed an online web programming learning platform in Vietnam (fullstack.edu.vn) The All-in-One Haskell Learning Platform will be built based on this model.
Milestone Title
Fundamental Haskell Course
Milestone Outputs
In this milestone, we will create a basic Haskell course. The target audience for this course is individuals with no prior programming knowledge. Learners will be introduced to functional programming and will gain a fundamental understanding of how the Haskell programming language works, basic terms and functions
The lessons will be delivered in video format to make it easier for learners to access and absorb the content. Each lesson will include at least five exercises related to the topic, allowing learners to practice what they have learned. We will also provide solution guides for these exercises after the learners have completed them.
Fundamental Haskell Course:
Acceptance Criteria
The lesson videos will range from 20 to 60 minutes in length, depending on the amount of content covered in each lesson.
The content of the lessons will include:
Evidence of Completion
Delivery Month
4
Cost
20000
Progress
30 %
Milestone Title
Advanced Haskell Course
Milestone Outputs
In this milestone, we will develop the Advanced Haskell Course. This course is designed for learners who have completed the Fundamental Haskell Course or for those who already have programming experience (although we still recommend completing the Fundamental Haskell Course before enrolling in this advanced course).
This course will help learners gain a deeper understanding of functional programming and more complex concepts. Topics such as Monad and Monoid can be challenging for everyone, but they are essential for anyone who aims to become a proficient Haskell developer.
Advanced Haskell Course:
Acceptance Criteria
The lesson videos will range from 20 to 60 minutes in length, depending on the amount of content covered in each lesson.
The content of the lessons will include:
Evidence of Completion
Delivery Month
8
Cost
20000
Progress
60 %
Milestone Title
Live-Coding Sessions for Real-World Projects
Milestone Outputs
After completing our two courses, learners will be able to participate in the Live-Coding Sessions for Real-World Projects. In these sessions, we will develop real-world products to help learners understand how to create their own projects using Haskell. We will also address, in real time, any issues or questions learners may have encountered while taking the other courses.
Acceptance Criteria
30 Live-coding sessions.
These Live-Coding sessions will last 2–3 hours and will include the following content:
Evidence of Completion
Delivery Month
10
Cost
10000
Progress
80 %
Milestone Title
Final Milestone
Milestone Outputs
After completing the courses, we will integrate them into a single platform (website) where learners can study Haskell from basic to advanced — all in one place. Everyone will be able to access the platform and take our courses completely free of charge.
Acceptance Criteria
Final All-in-one Haskell Learning Platform (website)
Final close-out report
Final closeout video
Evidence of Completion
Delivery Month
12
Cost
10000
Progress
100 %
Please provide a cost breakdown of the proposed work and resources
Milestone 1: Fundamental Haskell Course (4 months)
Create lesson video:
Make instruction for solving exercices (videos): 2 hours
Total working time for 1 lesson: 16 hours
Total time to complete Fundamental Haskell Course: 480 hours
Cost for a working hours: ~40 ADA/h
Cost for Milestone 1: 20,000 ADA
Milestone 2: Advanced Haskell Course (4 months)
Create lesson video:
Create 3 Exercises every lesson: 3 hours
Make instruction for solving exercices (videos): 1 hours
Total working time for 1 lesson: 13 hours
Total time to complete Advanced Haskell Course (40 lessons): 520 hours
Cost for a working hours: ~40 ADA/h
Cost for Milestone 2: 20,000 ADA
Milestone 3: Live-Coding Sessions for Real-World Projects (2 months)
Making live content: 6 hours
Livestream: 3 hours
Working time for each session: 9 hours
Total working time (30 sessions): 270 hours
Cost for a working hours: ~40 ADA/h
Cost for Milestone 3: 10,000 ADA
Milestone 4: Finalize All-in-one Learning Haskell Platform (2 months)
System Analysis and Design: 1,000 ADA
Frontend Development: 1,500 ADA
Backend Development: 3,000 ADA
Database: 2,000 ADA
Infrastructure and DevOps: 1,500 ADA
Add-on Services Integration: 1,000 ADA
Total Cost for Final Milestone: 10,000 ADA
How does the cost of the project represent value for the Cardano ecosystem?
All-in-one Haskell Learning Platform for Cardano
We are building the world’s first All-in-one Haskell Learning Platform — a complete learning ecosystem for both absolute beginners and experienced developers. This platform will become the go-to hub for anyone interested in Haskell, Smart Contract development, or building dApps on Cardano.
The Output of this Platform (in a year)
Why This Matters for Cardano?
Our platform has the potential to bring thousands of new developers into the Cardano ecosystem. As Haskell adoption grows, building on Cardano will become faster, easier, and more accessible.
This project directly addresses one of Cardano’s biggest growth challenges: the limited availability of skilled Haskell developers. By removing the learning barrier, we accelerate ecosystem growth.
Our Expertise
Our instructors have 5–11 years of experience in Haskell programming and teaching. Normally, Haskell experts command rates of $100–$200/hour, yet in this proposal, we request only 40 ADA/hour. Our track record includes five previously funded Catalyst proposals delivering high-quality Haskell courses and resources — all completed successfully.
Long-term, Unlimited Impact
Unlike temporary initiatives, our courses will remain online indefinitely, ensuring continuous onboarding of new developers. This creates a permanent funnel of skilled contributors for Cardano projects, driving unlimited potential for dApp creation and user growth.
Why Fund This Proposal?
By investing in this platform, Catalyst will:
This is not just an education platform — it is an Ecosystem Growth Engine.
I confirm that the proposal is a non-technical initiative, with ≤20% of the budget for tech support.
Yes
I confirm that the proposal provides verifiable evidence (portfolio, links, reports) of the team's ability to deliver the project.
Yes
I confirm that the proposer and all team members are in good standing with prior Catalyst projects.
Yes
I confirm that the proposal includes clear objectives with both Output Metrics (what proposal did) and Adoption-Focused Metrics (what effect proposal had).
Yes
I confirm that the proposal clearly explains the user journey and provides a credible plan for how the project will equip and motivate users for future on-chain activity.
Yes
I confirm that the initiative clearly demonstrates how it will grow the Cardano ecosystem or onboard users.
Yes
I confirm that the project plan and timeline (≤ 12 months) are realistic and well-defined.
Yes
I confirm that the proposal commits to public outputs and justifies any exceptions.
Yes
I confirm that the budget adheres to all policies: it is for future work, follows the merchandise rule, and excludes establishing local treasuries, incentives/giveaways, re-grants.
Yes
I Agree
Yes
1. Mr. Curtis D'Alves: Haskell Developer
5 years of Haskell programming experience
Github: https://github.com/dalvescb
2. Mr. Edward Kmett: Haskell Teacher
11 years of Haskell programming experience
Github: https://github.com/ekmett
3. Mr. Arnaud Spiwack: Haskell Developer
6 years of Haskell programming experience
Github: https://github.com/aspiwack
4. Mr. Quang Daniel: Community Manager
Admin of Vietnamese Cardano Communities
https://www.facebook.com/groups/cardanoviet/ (46,000 members)
https://www.facebook.com/groups/ada.holder/ (5,800 members)
https://t.me/ADA_VIET (1,100 members)
One year experience in operating a stake pool (SPO)
Experience in blockchain financial research and investment since 2017
Blockchain product and market research specialist
Vietnam representative builds and signs Cardano Constitution