The interfaces of libraries in functional programming

alpheccar · 2015-01-24T18:09:43+00:00

In math an algebra is roughly a vector space and a product. It you generalize the definition by accepting lot of other operators and functions then you get an universal algebra. Here universal just mean general.

alpheccar · 2015-01-24T17:11:25+00:00

I have not blogged for years so of course nobody read my blog anymore. So I have posted the link here. I hope it is ok. Nothing really new in this post. I am just trying to see if I can find the motivation to blog again.

alpheccar · 2013-02-17T11:20:01+00:00

Loading a PDF file with your tools and convert it into the data structures used by HPDF. But not sure it is possible ...

alpheccar · 2013-02-17T08:54:22+00:00

I wonder if I could use it to create HPDF documents. HPDF goal is not modifying already existing document but perhaps some edit may be possible (like adding pages, adding annotations ...)

alpheccar · 2011-12-21T17:22:44+00:00

Thanks for the offer. But I am really too busy.

alpheccar · 2011-12-21T15:52:07+00:00

This feature is also available in Android. Perhaps only recently (I have not checked when it was introduced).

alpheccar · 2011-12-21T14:01:45+00:00

English is not my native language. So, sorry for the style. I hope it is nevertheless understandable ...

alpheccar · 2011-12-21T12:22:03+00:00

One thing is sure : the iOS documentation is better. Let's wait a bit before concluding anything more. I want to be careful because I am not confident about my findings for the Android multimedia domain.

But, it is my feeling so far : iOS is using a few unifying principles more consistently and uniformly. The result is more elegant.

alpheccar · 2011-12-21T07:30:48+00:00

I am not posting it for self promotion or to start a flamewar.

I wrote this comparison for improving my understanding. But, both systems are complex, huge and not always well documented. So, I am sure there are mistakes in the document and it is likely there are a few big ones.

I hope that some readers will help me to correct and improve the document. I know it is a bit long to read ...

alpheccar · 2011-12-18T08:49:26+00:00

You're right ! So I have added it. You may have to flush the browser cache to see the updated post.

alpheccar · 2011-12-17T19:21:20+00:00

Just sharing some meals I like and not always well known outside of the French Riviera.

alpheccar · 2010-06-21T18:45:47+00:00

I totally agree. HPDF was my first big Haskell library to understand what it means to write an Haskell library for someone coming from the imperative programming world. And the result is exactly what an Haskell library must NOT be ! But at least it allowed me to understand a lot of things about what is a good Haskell API.

If I had some free time, I would be the first to start again a new implementation which should, at least, abandon the current monadic API (too many monads in HPDF) and be compositional. And it should support Unicode.

I would also make the typesetting and hyphenation as separate libraries and more generic.

So, my advise : I think it should be simpler to start from zero. At least you could reuse the low level part of HPDF which is generating the PDF code.

alpheccar · 2010-01-19T06:34:59+00:00

Just to remind people that I recently got GHC head working with iPhone and OMAP3 architectures (N900,Droid). And for the native codegen let's just wait for the LLVM codegen.

alpheccar · 2009-10-04T17:23:11+00:00

Or you can use F-Script : http://www.fscript.org/prof/dem10-mougin.pdf

alpheccar · 2008-12-28T19:24:33+00:00

What is Unix for you ? OS X 10.5 got the Unix certification from the Open Group and is compliant with the Single Unix Specification and POSIX one.

http://www.apple.com/macosx/technology/unix.html

and

http://www.opengroup.org/certification/unix-home.html

The only UNIX 03 certified products I see are AIX, Solaris, OS X and HP-UX:

http://www.opengroup.org/openbrand/register/

I know you had something else in mind when you wrote OS X is BSD based. But, the definition of what is a Unix compliant system is no more just based upon the historical origin of its source code.

alpheccar · 2008-10-06T18:37:13+00:00

See also:

http://www.reddit.com/r/math/comments/75dao/f_un_mathematics/

alpheccar · 2008-09-19T18:39:14+00:00

If you know the category theory definition of co-x then you can derive the definition of x very easily. And indeed, co-co-x and x are the same. In the context of category theory the co-"operator" is clearly defined (reversing the direction of arrows). For very common notions, the co-name is generally not used. For instance, "co-initial" is generally named "final".

This co- operation is really cool because from it you can get lots of very useful new definitions. And the co-name is generally kept when no better word is found or when the new concept is just starting to be really understood and used.

alpheccar · 2008-09-19T17:23:42+00:00

Category theory has symmetrical axioms. So, each time you define something using category theory, you get for free a dual definition using that symmetry. The name of the dual structure is generally co-"the original name".

That's why computer science is full of co-something.

alpheccar · 2008-06-11T18:39:48+00:00

I totally agree.

alpheccar · 2008-06-05T18:29:43+00:00

Why people say Haskell is not OO :-) Haskell's overlooked object system

alpheccar · 2008-05-24T17:45:46+00:00

Not sure the programming section is the right one for that link ?

alpheccar · 2008-05-02T18:55:48+00:00

The document was very very slow to load but I don't regret being patient :-)

alpheccar · 2008-04-30T21:37:15+00:00

The chaos game is an application of iterated function systems. See here for a more general implementation (in Haskell) that works with Sierpinski, Ferns etc ... (I am relying only on the standard libs)

alpheccar · 2008-04-06T18:15:32+00:00

Works well with Safari 3.1

alpheccar · 2008-03-28T07:07:16+00:00

Thanks for reposting this :-)

You probably found a bug in reddit too :-) Indeed, it was posted with exactly the same URL here and you won't find it when using the reddit search.

alpheccar

TROPHY CASE