<div dir="ltr">Hi Nick.  Great to have you!  There are several people here who have taught extensively, both at the K-12 and university level.<div><br></div><div>Responding to one point.</div><div><br></div><div>> I also see some of Johannes points, and agree that simply exploring mathematics without a computer would perhaps be most effective way for students to learn mathematics.</div><div><br></div><div>I wouldn't rush to an absolute answer either way.  After all, "learn mathematics" is a very broad goal.  There are certain to be parts that are best learned without a computer (come to think of it, this is true of computer science, as well!), but just as computing has changed the way we communicate, work, research, entertain, etc., is it really surprising that it would also change how we learn?</div><div><br></div><div>I care very much about mathematics education, and I'd point out that educators are facing a giant problem.  Expressing ideas in any kind of formal system has historically led to great advances in understanding... but on a time frame far longer than students' attention spans.  In the short term, the effort on formalism pays no rewards because it's more likely that results come from errors in the formalization rather than the original topic of curiosity.  Or, if one tries to memorize instead of understand, then formalism can be worse than no effort at all (e.g., see classic results on teaching columnar arithmetic in to young students who lack the concept of place value).  In the past, this problem has been "solved" through a mix of inequality and authority; mathematics has for much of history been taught to those with enough idle time, a comfortable enough life, and the right temperament and respect for authority to reach the point where there are benefits to the learning, and others have simply been left out.  The consensus of the educational community in the last several decades is that this is no longer acceptable.  So what do we do?</div><div><br></div><div>One answer is to try to artificially lure all students along the same path that was previously only suitable for a few.  But another approach is to find a new path, where the rewards of expressing ideas formally are more readily accessible.  And THAT is where computing comes in.  In many ways - data analysis for the social sciences, computational modeling in biology or physics, and lots more - computing makes modeling things formally pay off.  By building such a model, you create something that works: gives new insights into the data, lets you see the results of trial simulations in a biology model, and so on.  But mathematics is the best fit of all -- both because it's always had the highest abstraction hump to begin with, and because by applying various kinds of declarative programming, expressing relationships in mathematics <b>is</b> defining a computationally relevant model.  In that sense, it is at the heart of the whole enterprise.</div><div><br></div><div>I do agree that it's important to be cautious about what we're doing.  It's all well and good to say that we're out to support mathematics, computational thinking (whatever that means this week), abstraction, and formal modeling; but too often, what these programs look like in practice is just shoving simplifications of the software engineering skill set into classes for general audiences.  If you're spending most of your time teaching the syntax of Python or Java instead of thinking mathematically, then that's what your students are learning, too.  Too many activities are built around today's software engineering careers, and not the educational opportunities that computing as a whole opens up.</div><div><br></div><div>I think listening to teachers is a great idea.  At the same time, though, I'll caution you that teachers don't all share the same points of view.  Just like in the rest of the population, there are teachers (yes, even math teachers) who range from technically savvy to full-on technophobes.  And there are teachers who range from a flexible and broad view of mathematics and its relevance in the world to those who think "math" means the list of specific skills their students are directly tested on, and prefer to use their time coaching students on fruitful guessing strategies (yes... sadly, even math teachers).  You might not get the reaction you're hoping for every time, so just keep an open mind as you connect with classrooms... and don't forget to listen to the students, too.</div><div><br></div><div>Based on what you've said, I'd recommend you check out <a href="http://www.bootstrapworld.org">http://www.bootstrapworld.org</a>.  I'd also love to chat with you about my own project and curriculum, CodeWorld (<a href="http://code.world">http://code.world</a>), which I started working on around the same time about a decade ago.  There are some differences in philosophy, but both are based on taking advantage of the overlap between mathematics and functional programming.</div></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Jan 6, 2019 at 3:38 PM Nick Bathum <<a href="mailto:nick.bathum@gmail.com">nick.bathum@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div>Greetings everyone, </div><div><br></div><div>I'm Nick Bathum. These days I work as a software developer and do some volunteering for the VEX robotics community in northern Michigan. I'm an action oriented person, and I am here to connect with educators, and especially those with an interest in mathematics or functional programming enthusiasts. I also have to say that as a person currently far outside of academia, I am looking forward to hearing perspectives from folks who are closer to that world.</div><div><br></div><div>I'm currently endeavoring to become connected with the teachers in my area who are teaching the new "STEM" or computer science classes that our K-12 schools in the region have recently adopted. My intent is to see what sorts of issues they are struggling with and if there is an opportunity where I can plug in and assist them.</div><div><br></div><div><br></div><div>So what is the motivation or reason for introducing CS as a new curriculum in K-12 programs? I'd like to share some of my thoughts on that matter, not to provide an answer, but to get some feedback.</div><div><br></div><div><br></div><div>The K-12 mathematics curriculum in the USA seems to be very structured and established, especially since the adoption of the common core initiative. I know not all states have adopted the core mathematics -or any of the core- standards, but at least where I live this is true. </div><div><br></div><div>At the same time schools have begun offering extracurricular programs like robotics or hiring new teachers and offering regular classes under the STEM banner such as AP Computer Science. These new course offerings seem to be less structured, sometimes logistically complicated -- like teaching 4 different sets of course content to one "class", and overall the teachers of these courses seem to have less support in terms of community and teaching tools.</div><div><br></div><div>My aim is to connect with a local teacher, learn from them and help them any way I am able, and additionally pursue a larger goal of exploring how to help reinforce the mathematics curriculum rather than take away from it.</div><div><br></div><div>In terms of FP in education, my sense is that both functional and declarative languages would seem to be the most aligned with mathematics, conceptually and linguistically. However it seems the exception that computer programming courses begin with that content rather than the most used or popular language du jour.</div><div><br></div><div>I also see some of Johannes points, and agree that simply exploring mathematics without a computer would perhaps be most effective way for students to learn mathematics. My thought is that if schools are going to introduce new computer programming classes, can we find ways for these classes to become companions to the existing classes and attach to the existing bodies of knowledge?</div><div><br></div><div><br></div><div>Regards,</div><div>-Nick</div></div></div><br><div class="gmail_quote"><div dir="ltr">On Sat, Dec 15, 2018 at 5:20 PM Chris Smith <<a href="mailto:cdsmith@gmail.com" target="_blank">cdsmith@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hello, everyone!  Welcome to <a href="mailto:education@haskell.org" target="_blank">education@haskell.org</a>.<div><br></div><div>This mailing list grew out of discussions at ICFP 2018 about creating a space for collaboration and discussion of using Haskell and other functional programming languages in general education.  To jump-start that process, I'd like to invite everyone to introduce themselves and specifically share your goals, opportunities, vantage point, and interests.  The hope is that we'll be able to sort ourselves into compatible interests and ideas, to kick off more detailed discussion or collaborations.<br></div><div><br></div><div>Some suggested questions to spur discussion:</div><div><br></div><div>- What education-related projects are you involved in, or have you been involved in previously?</div><div>- What other projects do you find exciting, intriguing, or worthy of emulation?</div><div>- On the other hand, what projects or conversations should be happening, but are not happening yet?</div><div>- Is there anything specific that you are definitely looking for from this space?</div><div>- What vision do you have for functional programming in education?  That is, what general principles guide your thinking?</div><div><br></div><div>I will reply with my own answers, and encourage you to do the same.</div><div><br></div><div>Thanks,</div><div>Chris</div><div><br></div><div>P.S. I realize this email is long past due.  Between my job as a software engineer, volunteer teaching, and recent development on CodeWorld, I have again fallen into the trap of over-committing myself and falling behind on outside commitments.  I hope that late is still better than never.<br></div></div>
_______________________________________________<br>
Education mailing list<br>
<a href="mailto:Education@haskell.org" target="_blank">Education@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/education" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/education</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail-m_5480806744121161722gmail_signature"><div><br></div><div>Regards,</div>-NB</div>
_______________________________________________<br>
Education mailing list<br>
<a href="mailto:Education@haskell.org" target="_blank">Education@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/education" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/education</a><br>
</blockquote></div>