Language Suggestions

"A proof is a program; the formula it proves is a type for the program."

This is beautiful.

I'm currently studying type theory and I would like to try new programming languages, maybe even experimental ones, which employ this kind of formalism and reasoning in its design.

However, it seems that, for some reason, most popular functional languages I've tried have an awkward and totally unreadable syntax, at least for me. In my opinion, ML and derivatives are doable, but right on the edge; Haskell, Epigram, Erlang, Agda, and others, feature pretty incomprehensible syntax. I would not imagine myself teaching any of these languages to a non-programmer, for example.

Are there any languages, with such a mathematical design, which has sane syntax (even if more verbose) and which can be used to create useful, practical programs?

What /prog/ comes up with?

Japanese

LISP

With the inclusion of functional programming in C++, all modern functional programming languages are hereby obsolete.

COBOL

>>4
fucking this

Perl6

Scala

>>1
Have you considered Prolog? It's probably not quite what you're after but using it certainly broadens one's mind with regards to what programming can be, and how formalism can be introduced in a rather different way to most other languages.

Prolog's syntax is crap. It doesn't take an entire programming language to teach someone fucking logic.

>>4,6
Summer within eternal summer.

>>7
Perl*
sane syntax

?????

>>11
/polecat kebabs/

>>12
Perl has some great syntax. It also has some questionable syntax. Perl 6 has some of the best syntax around.

Are there any languages, with such a mathematical design, which has sane syntax (even if more verbose) and which can be used to create useful, practical programs?
seriously, Scala is the only language that qualifys as fully functional with the option of only having to use functional programming when you need it. It is a huge mistake to think you can pick up a language like Haskell or ML or even Lisp without a full background in functional data structures. Unlike languages like Python, Javascript, Lua, etc that throw in a few functional features, Scala is the only language where you can transition to a fully functional paradigm

>>15
It is a huge mistake to think you can pick up a language like Haskell or ML or even Lisp without a full background in functional data structures
Speak for yourself. I had no knowledge of that when I started. I have no problem with them now that I've worked in Haskell.

>>15
you can learn as you go. It will certainly take longer if it's your first exposure to functional programming, but it's ok.

Scheme is by far the most sexy, understandable functional programming language that I personally have seen taught to non-programmers.  Best language ever, learn it; or die.

>>18
Macro system's shit.

>>19
So don't use it, problem solved.

>>1
typical math faggot. back to /sci/ please!

install gentoo

>>20
no, just implement your own lisp. takes half a day.

Try OCaml, it's a good one.

>>22
Return to >>>/g/, ``please''!

>type theory

i lol'd

>>4
I totally disagree. We've all had our share of C++ already.

>>9
I did. I enjoy Prolog a lot, but I can't see how to use Prolog for things other than experimentation and development of very specific kinds of programs. I can't see either how is it manageable (or even possible) to write, for example, a web server in Prolog.

I'm looking for languages of that sort that can be used to create useful, practical day-to-day programs and applications.

>>15
Interesting. I'll put Scala on my list of to-see languages.

In my opinion, it does not matter whether a language implements some or other paradigm -- a programming language must be usable, comprehensible and practical, otherwise it is of no use, at least not as a programming language.

>>22
Somewhat sadly, I use Gentoo.

>>24
OCaml is what I'm reading about these days. However, I don't like object-orientation; I think that OO (the way it is today) is the worst development model ever invented.

>>27
http://www.swi-prolog.org/pldoc/package/http.html

This thread pleasantly surprised me with its level of signal amongst the noise.

>>13
Fuck off, ``faggot''.