Cardano and FP in Malawi

• I cannot legally start a business in Malawi without at least $50,000 worth of funds to invest in the "Warm Heart of Africa". Part of the funds will go towards supporting 10 people with a good living wage for at least 6 months and the other part will go towards business expenses and training programs to teach young people functional programming and the possibilities of Cardano.

Timeline ( After receiving funds ):

-- Month 1 --

• Apply for a business permit to live and work in Malawi long term.
• Coordinate with my team over there to set up an organizational structure for the business and get them started with the basics of using Cardano.
• Make sure the team starts getting paid so they can focus on our project.
• Make travel arrangements.
• Have my team find a good location to work and get it set up with power and internet.

-- Month 2 --

• Acquire my business permit.
• Ship my library and equipment to Malawi and fly there.
• Start working on projects with my team through mob programming so that I can train them as developers and make progress on delivering value to the Cardano community at the same time, while taking some time to dive into the theory, history, and features of languages that shape the way we think about writing code.
• Start working on a reliable means of exchanging MWK and Ada.
• Start building a good relationship with local government and educate them on the opportunities with Cardano for improving reliability and trust in contracts.

-- Month 3 --

• Start reaching out to secondary schools about providing free or very cheap training to students and using what we learn from training my team in the previous month to improve the process of getting people started with software development and thinking about globally distributed applications.
• Give students the opportunity to learn by helping out with the projects that our team is working on or to start projects of their own.
• Part of the training will involve working together as a team and thinking creatively about how to find solutions for problems and opportunities in the market.. the idea is to train teams that could potentially break off and start companies of their own, and hopefully share the initiative to train even more teams.
• Develop and refine learning materials for students.

-- Months 4 to 6 --

• Continue working on projects and training students as well as other members of the community who are interested in learning about software development.
• Focus on producing an MVP that could bring in enough money to become sustainable before we run out of funds.
• Explore the potential for hiring on more developers (promising candidates from the training program).
• Possibly producing an audio podcast about our progress or maybe some videos of mob programming sessions.
• Look for more ways to promote innovative thinking and original Malawian ideas.

Budget (500,000 Ada requested):

-- 240,000 Ada --

• 4000 Ada / month per team member, or about $400/mo -- a very good wage in Malawi (10x what some of the poorer people make).
• To pay a team of 10 people for 6 months who will help me develop the plan for applying Cardano to some of the problems in Malawi, and who will be my initial group of functional programming students.

-- 260,000 Ada --

• Setting up exchange between MWK and Ada.
• Setting up facilities.
• Getting reliable power -- one of my team members is an electrician.
• Internet costs.
• Ramping up after the initial team gains proficiency.
• Maintaining contracts on Cardano.
• Community outreach -- one team member went to school for community development, and another has overseen social welfare projects for many years such as feeding the poor and building houses for widows and is well known in many parts of Malawi.
• Computers for more teams and materials for setting up after-school programs for secondary students.
• More work on the business smart contract, so that people in the Cardano community can hire teams with relevant portfolios to work on their projects.

Team Members So Far:

• Jackson Dimba, the director of Hearts and Hands in Action.. a non-profit based in Salima, Malawi. He's joining the team as an advisor, and will probably help organize community events.
• Gift Lipato, an electrician. He's eager to learn how to code.
• Vanessa Lipato, a business woman with an educational background in community development. She wants to learn more about software development and will probably take a leading role in community interaction.
• Madalitso Kalinde, a financial assistance officer. He's very interested in learning to write applications involving finances.

Some more about me:

I love Programming, Physics, Linguistics, Category Theory, System Dynamics, Cultural Anthropology, Cellular Biology, Astronomy, and Graphic Design. I started programming when I was 12 (25 years ago) in QBasic with the help of my mom who did some Basic programming for work in the early 80's. For the last 15 years I've spent 2-4 hours a day studying, and mostly focus on programming language design and how language features affect your productivity, developer experience, and the way you think about structuring your code. The things that brought me to Cardano were the use of Haskell, formal verification, and the fact that a hero like Phil Wadler was working on the smart contract language.

My favorite language is probably Elm, in which I'm highly confident in my skills.. I've also spent a lot of time reading Haskell code.. mostly the Elm compiler. I think Elm is a good place to start teaching, because of it's notoriously helpful compiler messages. It's like Haskell, but simpler.. a good gateway drug to Haskell.

I don't have a lot on my Github page (mostly silly little Elm apps), but I've linked it to my proposal.

Learning and Teaching

-- Some Theory --

When someone teaches something, there's often a mental model for the subject in the teacher's head. The goal is to replicate the mental model in the minds of the students, building up new knowledge upon prerequisite structures.

This is a valuable approach if the subject you're teaching has a rigid structure, like how an algebra builds upon simple rules to provide structure for describing more complex problems, but relying on a limited source of information and possibly taking a standardized testing approach to assessing a student's competency in the subject produces a more static equilibrium in understanding of the system space of problems to solve related to the topic at hand.

Restrictions are often beneficial if they can steer someone clear of avoidable pitfalls. Such is the case in functional programming where things like immutability can give you assurance that data isn't being changed from underneath you and that you can easily test the correctness of your functions, because the lack of side-effects means that the same inputs won't produce different results. This gives you the freedom to work on the function in isolation from the rest of the system which means holding less code in your head at a time. When you're trying to learn how to solve a problem in the real world, restrictions on how you can approach the problem will structure your strategy for implementing a solution, but the learning process benefits from being able to reach out into the unknown and destructure information from a potentially infinite source.. This is the categorical dual to teaching a known structure.

Having a medium that allows you to prove the viability of your ideas is a good step towards weeding out any knowledge structures that may contain misconceptions, and if you require students to teach each other what they learn, it forces them to take mental note of the dependency hierarchy of information they are trying to share and also how to explicitly articulate things in a way that's easier to understand.

If students are taking their education into their own hands, there is potential to produce a wider range of knowledge in the group, which allows for more dynamic coverage of the system space of solutions to a problem. It also means less a reliance on an instructor. There's only the need for someone to focus on facilitating the desired environment for learning to take place and maybe steer people in the right direction if they go off course. It's also easier for students to take the teacher's role after they've gained a little experience, which produces the possibility for exponential growth in the reach of education if you have teams that split and produce more teams.

-- Some Application --

I see mob programming as a good model to allow students to teach each other and figure out solutions to problems as a group. It also requires less computers, which will make it cheaper to scale up. More eyes on a problem would mean less of a chance of mistakes and more insight into the trade-offs between different approaches.

A group engaged in mob programming also wouldn't require much to scale into a startup because the style of learning involved models how teams usually work in the real world anyway.. People discussing how to move forward, while they take turns at the keyboard typing what the others decide they should. New developers get to start out with opportunities to actually write code even before they might entirely understand what it is that they are typing while the others help them learn.

Struggling through problems, with insight from mistakes in approaches taken, can also produce perseverance in finding a good solutions, even if they might take more time and effort to implement. A well researched and proven system design is often worth waiting for -- which is why, I think, people in our community appreciate Cardano.

Project Ideas:

• Web-based, interactive learning materials for functional programming, Cardano use, and smart contract development that is optimized for viewing on a smartphone.
• Napkin: A step evaluator for Plutus Core to help people decipher the infamous golden symbols on a certain black table tissue.
• A game idea I've been working on with a physics system that incorporates Plutus as an in-game scripting language with the ability to interface with Cardano to store game-state hashes as snapshots of the system as well as player inventories, etc…
• Porting plc to the Pony language and use the Haskell version for parity checking. Pony is a Object-Oriented / Actor-Model language, but it eliminates runtime errors with its strong algebraic type system and the need for locks on data with its reference capabilities. It's good for distributing low-latency code across all your cores, and since it's garbage collection happens at the actor level, there's no stop-the-world GC, like you'd find in GHC.. which concerns me for something like a game server.
• An app where people can buy and sell things, hire transport for goods, and negotiate the price for each step. It could also include a rating system for sellers and transporters so they have to maintain a good reputation. Payments could be finalized when the goods are delivered. There could also be things like insurance for sellers and drivers so that if a valuable product is lost in transit, the seller can still get paid, or if a driver has to return a product to the sender, the driver can still get paid for the extra work.
• An exchange between MWK and Ada. Maybe a stable coin for the kwacha.
• Experimentation in higher-level language features built on Plutus Core.. What can be possible if you set aside the historical baggage of currently available options?

500000