Standard ML in Fedora and in GSoC

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Dear All,

Buddhike Kurera suggested me to write my idea and send it to this mailing list.

I am a functional programming advocate and would like to see Standard
ML projects in Fedora. Both a better infrastructure for the language
and actual projects that are implemented in SML.

For a short introduction why SML would be useful, check my blog entry:

http://www.buday-rd.com/on-standard-ml

I would add the following: as far as I know, daemons are written in
Python nowadays in Fedora, with a possible rewriting in C if speed and
memory footprint is critical. SML
could do both, as the sml/nj and the polyml compiler has an
interactive loop like
Python for creative programming, but the mlton whole-program
optimizing compiler generates executables with speed comparable to C
object files. It has a mathematical definition so it is easier to
argument about a program than in Python or C.

The first step could be proper packaging for various architectures and
platforms, and cross-compilation for these. mlton, polyml and mosml
has packaging but I did not find packaging for sml/nj.

The next step could be choosing a daemon task to write from scratch or
an existing one to rewrite.

I would appreciate your comments and questions on this.

- Gergely

[Index of Archives]     [Older Fedora Users]     [Fedora Announce]     [Fedora Package Announce]     [EPEL Announce]     [Fedora Magazine]     [Fedora News]     [Fedora Laptop]     [Fedora Cloud]     [Fedora Advisory Board]     [Fedora Education]     [Fedora Security]     [Fedora Scitech]     [Fedora Robotics]     [Fedora Maintainers]     [Fedora Infrastructure]     [Fedora Websites]     [Anaconda Devel]     [Fedora Devel Java]     [Fedora Desktop]     [Fedora Fonts]     [ATA RAID]     [Fedora Marketing]     [Fedora Management Tools]     [Fedora Mentors]     [Fedora Package Review]     [Fedora R Devel]     [Fedora PHP Devel]     [Kickstart]     [Fedora Music]     [Fedora Packaging]     [Centos]     [Fedora SELinux]     [Fedora Legal]     [Fedora Kernel]     [Fedora QA]     [Fedora Triage]     [Fedora OCaml]     [Coolkey]     [Virtualization Tools]     [ET Management Tools]     [Yum Users]     [Yosemite News]     [Maemo Users]     [Gnome Users]     [KDE Users]     [Fedora Tools]     [Fedora Art]     [Fedora Docs]     [Maemo Users]     [Asterisk PBX]     [Fedora Sparc]     [Fedora Universal Network Connector]     [Libvirt Users]     [Fedora ARM]

  Powered by Linux