https://github.com/jeremysinger/haskellmooc_logfiles
https://github.com/jeremysinger/haskellmooc_logfiles
haskell haskell-tutorial logs mooc
Last synced: 9 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/jeremysinger/haskellmooc_logfiles
- Owner: jeremysinger
- Created: 2018-03-12T14:44:58.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2018-07-27T13:03:14.000Z (over 7 years ago)
- Last Synced: 2025-05-14T05:32:46.952Z (11 months ago)
- Topics: haskell, haskell-tutorial, logs, mooc
- Language: Python
- Size: 5.01 MB
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Anonymised logfiles from TryHaskell Servers
## Background
In 2016, the University of Glasgow ran a Haskell MOOC for the first
time. Check out
https://www.futurelearn.com/courses/functional-programming-haskell for
details.
We forked the tryhaskell REPL environment to allow our students to
experiment with interactive coding, for basic Haskell expressions and
program snippets. We captured the expressions submitted by the
students, to analyse them for pedagogical research. Our tryhaskell
fork is at https://github.com/wimvanderbauwhede/haskelltutorials
## Functional Babytalk
Initial results are reported in our TFPIE 2017 paper, entitled
"Functional Babytalk" - see
https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Home.html
for details.
## Logfile Formatting
Here we publish the logfiles from the three AWS servers used for our
REPL. Each line is a single expression evaluation attempt, with the
format
T I > H
where T is a timestamp string, I is an integer representing a unique
IP address, and H is a Haskell expression. The let-bound variables are
automatically managed by our Javascript frontend, to enable name
bindings across multiple interactions.
## Reuse
Please feel free to use these log files for your own analysis
purposes. Please reference our TFPIE paper in any
publications/presentations you generate from your analysis.
Thanks,
Jeremy Singer
University of Glasgow
March 2018
http://www.dcs.gla.ac.uk/~jsinger