This semester I learned that VirtualBox is not that robust. I had 150 undergrads try to use it on bad Windows machines and had quite a few VirtualBox issues. But, Windows support can wait.
opamdoc would be the most useful thing for my classes. (E.g., something like the documentation on Hackage.) The documentation with RWO is great. But, I had an assignment that used Cohttp. Students had to browse .mli files on Github, which is not that nice. On Wed Nov 26 2014 at 11:40:00 AM Yaron Minsky <[email protected]> wrote: > There appears to be Merlin support for sublime text out there: > > https://github.com/Cynddl/sublime-text-merlin > > I think that coming up with good default setups for Merlin and the > remaining build tools would be nice too. For example, you want the > compiler warnings in Merlin to mesh nicely with the ones you pick in > your build. > > y > > On Wed, Nov 26, 2014 at 2:06 PM, David Walker <[email protected]> wrote: > > I agree that having good editor set-ups would be great. I would love one > > that is compatible with Pa_ounit. > > > > By the way, I have also found that many of my students seem to prefer > using > > sublime over emacs. > > > > Dave > > > > On Wed, Nov 26, 2014 at 1:15 PM, Yaron Minsky <[email protected]> > > wrote: > >> > >> My sense from having talked to a bunch of people who are teaching > >> these classes in the US is that Windows is probably important longer > >> term, but short term there are other higher value things to improve > >> upon. I think having good ways of doing graphical examples is surely > >> one, and I tend to think that Javascript is a far better target than > >> X11. > >> > >> I'd also love to have good default editor setups that we could > >> deliver, perhaps through OPAM itself. Having a nicely set up editor > >> configs with things like Merlin and ocp-indent working out of the box > >> would be great. > >> > >> y > >> > >> On Wed, Nov 26, 2014 at 11:56 AM, Greg Morrisett <[email protected] > > > >> wrote: > >> > Ditto at Harvard. > >> > > >> > -Greg > >> > > >> >> On Nov 26, 2014, at 10:44 AM, David Walker <[email protected]> > wrote: > >> >> > >> >> At Princeton, we also have lots of students with windows machines and > >> >> support them by having them download a VM. > >> >> > >> >> Dave > >> >> > >> >> On Wed, Nov 26, 2014 at 10:17 AM, Benjamin Greenman < > [email protected]> > >> >> wrote: > >> >> 1/ What systems does it need to work in ? Does that include Windows ? > >> >> > >> >> For the functional programming course at Cornell, we dropped Windows > >> >> support in favor of a vagrant vm [1] in Fall 2013 and have since > been much > >> >> happier. Students can just double-click a few things and have a > working > >> >> install (complete with extra packages like pa_ounit and qcheck), and > staff > >> >> no longer needs to worry about cross-platform issues (especially > important > >> >> for GUIs). > >> >> > >> >> [1] https://github.com/cs3110/vagrant-opam > >> >> > >> >> _______________________________________________ > >> >> Teaching mailing list > >> >> [email protected] > >> >> http://lists.ocaml.org/listinfo/teaching > >> >> > >> >> > >> >> _______________________________________________ > >> >> Teaching mailing list > >> >> [email protected] > >> >> http://lists.ocaml.org/listinfo/teaching > >> > > >> > _______________________________________________ > >> > Teaching mailing list > >> > [email protected] > >> > http://lists.ocaml.org/listinfo/teaching > > > > > _______________________________________________ > Teaching mailing list > [email protected] > http://lists.ocaml.org/listinfo/teaching >
_______________________________________________ Teaching mailing list [email protected] http://lists.ocaml.org/listinfo/teaching
