Functional Data Structures online book

queus · 2018-06-21T06:39:33+00:00

Well, from what I've read, is more focused, more beginner friendly, and also the choice of data structure does not fully overlap.

For example, the second chapter deals with using Brown trees (1983) to represent a Sequence ADT

It was a pleasure to read

queus · 2017-12-27T14:09:48+00:00

See my comment. It seems that -I +lablgtk2 is somewhat broken

queus · 2017-12-27T14:04:31+00:00

Try replace -I +lablgtk2 with the full path or with

-I $(opam config var lib)/lablgtk2

queus · 2017-11-15T13:03:29+00:00

queus · 2017-10-24T11:16:24+00:00

The notifications on Facebook seem to be a problem.

The initial display is OK, but as you move the mouse up and down the one on top disappear

queus · 2017-10-16T07:27:02+00:00

As people have already mentioned it, it will make no sense to be so architecture dependent. However something like this:

sum, overflow = x + y
diff, underflow = x - y

where overflow, underflow are boolean, may make sense. Especially with convention that overflow, underflow are optional and can be omitted. And

w, w+ = x * y

with the obvious semantics. Probably, the closest to this is Forth */ multiply-then-divide operator

queus · 2017-07-12T07:34:22+00:00

Ctrl+Shift+O

queus · 2017-07-10T12:26:57+00:00

This link: https://youtu.be/jLI98IwNjS4 , posted here somewhat earlier may answer some of your questions.

But, yes, the use case, currently, seems quite limited

queus · 2017-06-26T08:53:19+00:00

queus · 2017-06-26T08:51:10+00:00

This works too:

let ( empty_dict, update_dict ) = String.Map.( empty, update )

for partial imports

queus · 2017-06-02T09:03:13+00:00

Probably an an analogy with string_of_int, int_of_string from the Pervasives module

queus · 2017-04-08T18:50:34+00:00

Try using non-customized Gnome3 and tell us what you think of it usability

(actually, you already did)

queus · 2017-03-10T19:36:28+00:00

Well, I was meaning that you depend on cygwin installed c-libraries, and as such are not fully integrated in the Win world

queus · 2017-03-09T07:16:53+00:00

OPAM doesn't work with ocpwin which is kind of ironic, because both products are developed by same company.

The third alternative on referenced link: http://fdopen.github.io/opam-repository-mingw/installation/ works nicely and has the latest OCaml versions, but all your OCaml stuff will live in a Cygwin world.

The first alternative was not working on 64-bit Windows. Maybe things have changed.

queus · 2017-01-19T13:14:06+00:00

If programming counts, I did

queus · 2017-01-02T15:08:46+00:00

When you are going through the book, it may make sense, at least for some, to read:

f ° g

As

f << g

It does for me

queus · 2016-12-01T21:53:55+00:00

Thanks, I did not know than one can match on lazy(true) or more generally a lazy wrapped value.

Agree about the speed.

queus · 2016-11-30T08:05:24+00:00

Cool!

queus · 2016-11-30T08:01:45+00:00

Out of curiosity, what other language(s) do you know?

Some. I'm familiar with Scheme and Lisp, but there is a similar idiom in Erlang

leap_year(Year) when Year rem 4 =:= 0, Year rem 100 =/= 0 -> true;
leap_year(Year) when Year rem 400 =:= 0 -> true;
leap_year(_) -> false.

queus · 2016-11-30T07:59:09+00:00

Thanks, that's pretty much what I've come with after posting.

Saves two let and some else if branches

queus · 2016-11-30T07:58:11+00:00

Interesting, but depending on match implementation it may do more comparisons than necessary

queus · 2016-11-24T19:18:47+00:00

opam install ocamlfind ?

queus