If you want to use cool languages, you may have to get a cool job. I
know: it's easy to say and harder to accomplish.
Most functional languages (e.g. Lisp, Haskell, ...) have a challenging
time in industry since they require some savvy with multiple levels of
higher abstractions and some
But as a
starting point, and especially to shake up preconceived notions,
it still helps to compress common prejudices this way.
Many people think they are thinking when they are merely rearranging
their prejudices. William James?
:)
--
Regards,
Casey
Evan Laforge wrote:
I used to get annoyed about all the java boilerplate and awkwardness.
But then I learned that if I relax and stop thinking so much about the
aesthetics of what I'm writing, I can just let my fingers go on typing
without having to think too much.
:-) A good Java IDE will
Pete Chown 1...@234.cx writes:
One thing I'm curious about is Haskell versus Python or Ruby. Code in
those languages is, IMO, prone to type related bugs because there is
no compile-time checking. On the other hand, I would expect the
density' of the code to be similar to Haskell. You can
On Friday 18 June 2010 12:31:26, Ivan Lazar Miljenovic wrote:
Pete Chown 1...@234.cx writes:
One thing I'm curious about is Haskell versus Python or Ruby. Code in
those languages is, IMO, prone to type related bugs because there is
no compile-time checking. On the other hand, I would
Daniel Fischer daniel.is.fisc...@web.de writes:
On Friday 18 June 2010 12:31:26, Ivan Lazar Miljenovic wrote:
Pete Chown 1...@234.cx writes:
One thing I'm curious about is Haskell versus Python or Ruby. Code in
those languages is, IMO, prone to type related bugs because there is
no
Edward Z. Yang wrote:
Excerpts from Paul Lotti's message of Thu Jun 17 15:33:30 -0400 2010:
Same feelings here. I work in a company that uses C++/Java and the best I could
manage was to use Haskell for prototyping and then deliver in Java. This worked
out twice so far. The downside is having
I am indonesian too. nice to meet you.
On Tue, Jun 15, 2010 at 2:42 PM, vipex.id vipex...@gmail.com wrote:
Hi, I'm new in Haskell wondering is there Indonesian people using Haskell
here.
Nice meet* you all :)
Regards,
vipex
___
Haskell-Cafe
The fast write-only way:
- generate C code with JHC (no haskell runtime)
- use a C-to-java converter , for example, c2j (http://www.novosoft-us.com)
At least you can laugh at the generated code.
anyone tried that?
Alberto
2010/6/18 wren ng thornton w...@freegeek.org:
Edward Z. Yang wrote:
Hi! I'm of Indonesian descent (by my mother) and I'll be there this summer.
Nice to meet you!
Jean-Denis
2010/6/15 vipex.id vipex...@gmail.com
Hi, I'm new in Haskell wondering is there Indonesian people using Haskell
here.
Nice meet* you all :)
Regards,
vipex
Alberto G. Corona agocor...@gmail.com writes:
The fast write-only way:
- generate C code with JHC (no haskell runtime)
- use a C-to-java converter , for example, c2j (http://www.novosoft-us.com)
At least you can laugh at the generated code.
Laugh? Really? Aren't you more likely to cry
braver wrote:
Wren -- thanks for the clarification! Someone said that Foldable on
Trie may not be very efficient -- is that true?
That was probably me saying that I had worked on some more efficient
implementations than those currently in use. Alas, the more efficient
ones seem to alter the
On Fri, Jun 18, 2010 at 8:37 AM, Daniel Fischer
daniel.is.fisc...@web.de wrote:
Haven't you heard? Enough unit tests give you almost the same security
as a good static type system at the expense of more code!
Uh, wait, why is that an advantage again? :p
Duh, because it's much faster to
C. McCann c...@uptoisomorphism.net writes:
That's... not really fair. A static type system DOES impose
limitations, and arguing with the compiler about whether some code is
acceptable does take time. Even a handful of simple unit tests will
catch the majority of possible errors, and things
Hello,
I recently installed HP 2010.1.0.0 within Windows 7 and wanted to
upgrade the Cabal package to 1.8.0.6 today, sadly I got stuck on a
failure building the directory package.
So I tried to isolate the messages a bit and gave the following a try in
a ghci session (1st time only with path to
On Fri, Jun 18, 2010 at 4:48 PM, Daniel Kahlenberg
d.kahlenb...@googlemail.com wrote:
Hello,
I recently installed HP 2010.1.0.0 within Windows 7 and wanted to
upgrade the Cabal package to 1.8.0.6 today, sadly I got stuck on a
failure building the directory package.
So I tried to isolate
On 18.06.10 07:41, Jason Dagit wrote:
On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik ber...@ukr.net
mailto:ber...@ukr.net wrote:
I mean that a link [[X]] leads to HaskellWiki if X exists in
HaskellWiki and to Wikipedia otherwise.
I think this is probably a bad idea. Imagine trying to
On 18.06.2010 17:07, JP Moresmau wrote:
On Fri, Jun 18, 2010 at 4:48 PM, Daniel Kahlenberg
d.kahlenb...@googlemail.com mailto:d.kahlenb...@googlemail.com wrote:
Prelude System.Cmd
rawSystem cabal [upgrade, --constraint=base==4.*, directory,
-v3, --user,
On 18.06.2010 17:07, JP Moresmau wrote:
got around by making sure every thing was installed with --global
I forgot using the --global flag to be complete, so here is the full
command in a ghci session (account with full access rights, msys tools
on path) again:
Prelude System.Cmd
rawSystem
Edward Kmett wrote:
Sebastian Fischer wrote:
Heinrich Apfelmus wrote:
newtype CMaybe a = CMaybe (forall r. (a - Maybe r) - Maybe r)
Yes, with this type `orElse` has the same type as `mplus`, which is
very nice.
This type is the same as Codensity Maybe using category-extras
which is a 'bit
Heinrich Apfelmus wrote:
Sebastian Fischer wrote:
For example, the implementation of
`callCC` does not type check with your changed data type.
[snip]
As for the interaction: what should
((callCC ($ 0) mzero) `orElse` return 2) = return . (+3)
be? If the scope of callCC should
Sebastian Fischer wrote:
Edward Kmett wrote:
Sebastian Fischer wrote:
Heinrich Apfelmus wrote:
newtype CMaybe a = CMaybe (forall r. (a - Maybe r) - Maybe r)
Yes, with this type `orElse` has the same type as `mplus`, which is
very nice.
This type is the same as Codensity Maybe using
On Jun 18, 10:37 am, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com
wrote:
C. McCann c...@uptoisomorphism.net writes:
I've seen a lot of people claim that there are cases where it's
easier/better to use dynamic typing than even Haskell-style static
typing, but have never been given an example
Excerpts from braver's message of Fri Jun 18 12:55:24 -0400 2010:
So when your problem is open-ended and the shape of data is in flux, a
dynamic language is faster to prototype.
I think I can second this comment. However, I would still prefer Haskel
for a system intended for production; with
On Jun 18, 12:59 pm, Edward Z. Yang ezy...@mit.edu wrote:
... I would still prefer Haskel
for a system intended for production; with the pain of making sure you've
handled all of the possible constructors for the data you're operating
on, you also have a pretty good assurance that you haven't
On Fri, Jun 18, 2010 at 9:59 AM, Edward Z. Yang ezy...@mit.edu wrote:
I think I can second this comment.
I'm inclined to disagree. It's precisely when the code is in a state of
constant upheaval that I want the type system to be pointing out my dumb
errors.
On Fri, Jun 18, 2010 at 12:44 PM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Sebastian Fischer wrote:
Edward Kmett wrote:
Sebastian Fischer wrote:
Heinrich Apfelmus wrote:
newtype CMaybe a = CMaybe (forall r. (a - Maybe r) - Maybe r)
Yes, with this type `orElse` has the same type as
Excerpts from Bryan O'Sullivan's message of Fri Jun 18 13:16:58 -0400 2010:
I'm inclined to disagree. It's precisely when the code is in a state of
constant upheaval that I want the type system to be pointing out my dumb
errors.
In my experience, the type system has forced me to care about
Edward Z. Yang ezy...@mit.edu writes:
Excerpts from Bryan O'Sullivan's message of Fri Jun 18 13:16:58 -0400 2010:
I'm inclined to disagree. It's precisely when the code is in a state of
constant upheaval that I want the type system to be pointing out my dumb
errors.
In my experience, the
I've written code with less bugs in Haskell than any other language
I've used. And that's a credit to GHC and not because I'm a great
programmer.
But I still don't know how to deal with the situation where you don't
have a clear picture of your data or heterogenous data that you are
wrapping up
David Menendez wrote:
Heinrich Apfelmus wrote:
Sebastian Fischer wrote:
I wonder whether for every monad `m` and `a :: Codensity m a`
getCodensity a f = getCodensity a return = f
Is this true? Why (not)?
It's not true.
a = Codensity $ \x - Just 42
f = return . (+1)
On Jun 18, 2010, at 8:55 PM, Heinrich Apfelmus wrote:
I wonder whether for every monad `m` and `a :: Codensity m a`
getCodensity a f = getCodensity a return = f
Is this true? Why (not)?
It's not true.
What a pity!
An example that is not generic in the base monad m , i.e. that
On Fri, Jun 18, 2010 at 8:50 AM, Roman Beslik ber...@ukr.net wrote:
On 18.06.10 07:41, Jason Dagit wrote:
On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik ber...@ukr.net wrote:
I mean that a link [[X]] leads to HaskellWiki if X exists in HaskellWiki
and to Wikipedia otherwise.
I think
On 18 June 2010 15:48, Daniel Kahlenberg d.kahlenb...@googlemail.com wrote:
Hello,
I recently installed HP 2010.1.0.0 within Windows 7 and wanted to
upgrade the Cabal package to 1.8.0.6 today, sadly I got stuck on a
failure building the directory package.
So I tried to isolate the messages
This can be achieved by a wiki admin by adding the interwiki link to
MediaWiki:Nogomatch. It may be nice to edit MediaWiki:Searchresultext in a
parallel way.
-md
Jason Dagit da...@codersbase.com wrote:
On Fri, Jun 18, 2010 at 8:50 AM, Roman Beslik ber...@ukr.net wrote:
On 18.06.10 07:41,
On Jun 17, 2010, at 9:44 PM, Michael Snoyman wrote:
While we're on the topic, does anyone else get funny looks when they
say monads?
Yes, almost every time. They seem to catch on if I say monadic when
I mean able to syntactically transformed so as to be put in a
sequence.
On Jun 17, 2010, at 10:47 AM, cas...@istar.ca wrote:
The functional-object style seems to be gaining momentum.
Is there any way to convert monads into objects, so that beginners
have an easier time with the syntax and thus we can attract more
people to the language?
I think you're a
On Jun 18, 2010, at 2:36 PM, Alexander Solla wrote:
Package Number;
sub new { my $class = shift; my $self = shift; bless $self, $class;
return $self; }
sub plus arg { return $self + arg; }
sub minus arg { return $self - arg }
Syntax errors in my Perl (sorry, the last time I did Perl
Hi,
I've just uploaded the first version of text-json-qq
(http://hackage.haskell.org/package/text-json-qq).
It's a quasiquatation library converting json into Haskell (Text.JSON).
You can use it like:
user = [$jsonQQ| {name: Pelle, age: 34.3, likes: [mac, Haskell] } |]
or you can use Haskell
One way to avoid explicit, per-type unmarshalling is to use the
existentialquantification extension to make a box type that you can
store in a map, thus producing a heterogenous map of any types (with
constraints).
Cheers.
~Liam
On 19 June 2010 04:08, aditya siram aditya.si...@gmail.com wrote:
Related to this, I really would like to be able to use arrow notation
without arr; I was looking into writing a circuit optimizer that
modified my arrow-like circuit structure, but since it's impossible to
look inside arr, I ran into a brick wall.
Has anyone done any analysis of what operations
Maciej Piechotka schrieb:
1. Glueing a few highier level, object-oriented libraries if it is just
glueing.
2. (Currently) AFAIK real-time applications although it is rather
property of GHC GC then the language itself
In my experience the garbage collector was not the problem in real-time
Hi Ryan,
On Fri, Jun 18, 2010 at 7:57 PM, Ryan Ingram ryani.s...@gmail.com wrote:
Related to this, I really would like to be able to use arrow notation
without arr; I was looking into writing a circuit optimizer that
modified my arrow-like circuit structure, but since it's impossible to
look
43 matches
Mail list logo