Skip to main content

more on precise date on ocaml

Dealing with "Precise" Dates

I already posted an article on (begining) playing with Dates on OCaml.

Preparing the Toplevel

As usual, we have to load and use several modules:

 #use "topfind";; #require "calendar";; 

Creating a Second

To create a second, the top reachable precision:

 CalendarLib.Time.Second.from_int 5;; 

Creating a Precise Date

To create a precise date, let's use the "make" function:

 CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5));; CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 5.;; 

Create a Precise Period

When wanting to add 2 days to a date, we must use "The Date + 2 days Period". To create that "Period":

 CalendarLib.Fcalendar.Precise.Period.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5));; CalendarLib.Fcalendar.Precise.Period.make 2011 08 12 05 32 5.;; 

Make an operation (add)

Let's create a Date, and calculate the "two days later" Date:

 let d2 = CalendarLib.Fcalendar.Precise.add (CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5))) (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 (float_of_int (CalendarLib.Time.Second.from_int 0))) ;; let d2 = CalendarLib.Fcalendar.Precise.add (CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 5.) (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 0.) ;; 
Then display it:
 CalendarLib.Printer.Precise_Fcalendar.to_string d2;; 

If the Date was from a string

I mostly intend to take the Date from an external source: A "date" field from a SQLite3 database, which is formatted "2011-08-16 16:00:01". To use it:

 let initiale = CalendarLib.Printer.Precise_Fcalendar.from_fstring "%F %T" "2011-08-16 16:00:01";; 
Then to add 2 days to it:
 let initiale_2 = CalendarLib.Fcalendar.Precise.add initiale (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 (float_of_int (CalendarLib.Time.Second.from_int 0))) ;; 
Finally print it:
 CalendarLib.Printer.Precise_Fcalendar.to_string initiale_2;; 

Popular posts from this blog

npm run build base-href

Using NPM to specify base-href When building an Angular application, people usually use "ng" and pass arguments to that invocation. Typically, when wanting to hard code "base-href" in "index.html", one will issue: ng build --base-href='https://ngx.rktmb.org/foo' I used to build my angular apps through Bamboo or Jenkins and they have a "npm" plugin. I got the habit to build the application with "npm run build" before deploying it. But the development team once asked me to set the "--base-href='https://ngx.rktmb.org/foo'" parameter. npm run build --base-href='https://ngx.rktmb.org/foo did not set the base href in indext.html After looking for a while, I found https://github.com/angular/angular-cli/issues/13560 where it says: You need to use −− to pass arguments to npm scripts. This did the job! The command to issue is then: npm run build -- --base-href='https://ngx.rktmb.org/foo&

Emacs TypeScript Development

Emacs Configuration for Typescript In order to comfortably develop on Node, React or Angular projects with Emacs, TIDE is a good solution. We have TypeScript code highlight (that is the minimum!) and code completion based on the codebase (not only on locally defined and builtins) In order to achieve that: Install Emacs (24+) Install Node Install Typescript (which will provide "tsserver") Install TIDE and some usefull dependencies Configure Emacs to use all those Node is then installed in " /home/mihamina/Apps/node-v12.18.0-linux-x64/bin ": you should add it to your PATH. Installing Typescript is done with: npm install --save typescript @types/browserify After that, "tsserver" will be in " /home/mihamina/node_modules/.bin " Then comes the installation of TIDE: With the Emacs package manager, M-x package-install , install "tide". Do the same for "web-mode", "flycheck", "company" "js2-mode" and "

Jenkins invalid privatekey

Publish over SSH, Message "invalid privatekey:" With quite recent (June-July 2020) installations of Jenkins and OpenSSH, I have the following error message when using the "Deploy overs SSH" Jenkins plug-in and publishing artifacts to the target overs SSH: jenkins.plugins.publish_over.BapPublisherException: Failed to add SSH key. Message [invalid privatekey: [B@d8d395a] This problem seems to be referenced here: https://issues.jenkins-ci.org/browse/JENKINS-57495 Just regenerate a key with the right parameters To solve it: ssh-keygen -t rsa -b 4096 Or ssh-keygen -t rsa -b 4096 -m PEM