Reproduce an index about sml-the-living-language HOT 11 OPEN

Has anyone already started working on this? If not, I'd like to help you.

from sml-the-living-language.

By "this" you mean?

Robert Harper
(from handheld)

On Nov 18, 2014, at 05:17, OGINO Masanori [email protected] wrote:

Has anyone already started working on this? If not, I'd like to help you.

—
Reply to this email directly or view it on GitHub.

from sml-the-living-language.

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

from sml-the-living-language.

@omasanori, I believe that @dmacqueen started looking into adding the index, but has not made much progress on it yet. We would welcome any help you can provide!

Do you have a copy of the original printed text, in order to see where the index entries previously pointed?

from sml-the-living-language.

oh, great, thanks! lars will guide you.

bob harper

On Nov 18, 2014, at 05:36, OGINO Masanori [email protected] wrote:

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

—
Reply to this email directly or view it on GitHub #1 (comment).

from sml-the-living-language.

I am in fact working on the index for the SML ’97 Defn.

The definition was not produced in the normal way, but adding \index items for each occurrence of a term in the index, but instead there are “positional” \index items scattered through the text, typically a couple per page, and there is an ML program index.sml that takes the root.idx output for those positional indexes and translates it into a normal index, index.tex. (index.sml takes the place of the makeindex command)

This was also the technique used in the SML ’90 Defn, where we have the this index translation program in the file index.sml (this had to be updated to SML from the original version written for an early version of SML and the early SML libraries).

Unfortunately, the SML ’97 Defn sources did not include a corresponding index.sml program, so we were unable to generate the index as we did for SML ’90. There were two ways of recreating the index:

1. start from scratch and follow the conventional practice for indexing, or
2. use the existing positional index items and recreate the corresponding index.sml program to translate their locations to a

I decided to use the second approach. What I have done so far is to mark up my copy of the Defn book with the locations of all these positional index items, and the next step that I am working on is to start with the SML ’90 index.sml file and update the mapping in the second half of that file so it corresponds with the index entries in the book. This seemed slightly less laborious than creating a conventional index from scratch.

So the question is how to potentially partition the effort so that more than one person can pitch in. My key tool is my annotated copy of the book, so anyone else who wants to participate has to create their own annotated book. It may be possible to add the annotations on a “by need” basis, avoiding having to annotate the whole book before starting.

Dave

On Nov 18, 2014, at 8:51 AM, Robert Harper [email protected] wrote:

oh, great, thanks! lars will guide you.

bob harper

On Nov 18, 2014, at 05:36, OGINO Masanori [email protected] wrote:

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

—
Reply to this email directly or view it on GitHub #1 (comment).

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]

from sml-the-living-language.

My experience with PFPL is that it is not hard to do a conventional index from scratch.

On Nov 18, 2014, at 17:38, David MacQueen [email protected] wrote:

I am in fact working on the index for the SML ’97 Defn.

The definition was not produced in the normal way, but adding \index items for each occurrence of a term in the index, but instead there are “positional” \index items scattered through the text, typically a couple per page, and there is an ML program index.sml that takes the root.idx output for those positional indexes and translates it into a normal index, index.tex. (index.sml takes the place of the makeindex command)

This was also the technique used in the SML ’90 Defn, where we have the this index translation program in the file index.sml (this had to be updated to SML from the original version written for an early version of SML and the early SML libraries).

Unfortunately, the SML ’97 Defn sources did not include a corresponding index.sml program, so we were unable to generate the index as we did for SML ’90. There were two ways of recreating the index:

1. start from scratch and follow the conventional practice for indexing, or
2. use the existing positional index items and recreate the corresponding index.sml program to translate their locations to a

I decided to use the second approach. What I have done so far is to mark up my copy of the Defn book with the locations of all these positional index items, and the next step that I am working on is to start with the SML ’90 index.sml file and update the mapping in the second half of that file so it corresponds with the index entries in the book. This seemed slightly less laborious than creating a conventional index from scratch.

So the question is how to potentially partition the effort so that more than one person can pitch in. My key tool is my annotated copy of the book, so anyone else who wants to participate has to create their own annotated book. It may be possible to add the annotations on a “by need” basis, avoiding having to annotate the whole book before starting.

Dave

On Nov 18, 2014, at 8:51 AM, Robert Harper [email protected] wrote:

oh, great, thanks! lars will guide you.

bob harper

On Nov 18, 2014, at 05:36, OGINO Masanori [email protected] wrote:

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

—
Reply to this email directly or view it on GitHub #1 (comment).

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]
—
Reply to this email directly or view it on GitHub.

from sml-the-living-language.

@larsbergstrom I have a paperback of SML '97.

I prefer the conventional makeindex approach because it is the usual way and is integrated into latexmk. However, as @dmacqueen pointed out, it needs some more work at the beginning. I'll follow the decision of the editors.

from sml-the-living-language.

It’s not really the “hardness”, it’s the tedium!

Dave

On Nov 18, 2014, at 5:46 PM, Robert Harper [email protected] wrote:

My experience with PFPL is that it is not hard to do a conventional index from scratch.

On Nov 18, 2014, at 17:38, David MacQueen [email protected] wrote:

I am in fact working on the index for the SML ’97 Defn.

The definition was not produced in the normal way, but adding \index items for each occurrence of a term in the index, but instead there are “positional” \index items scattered through the text, typically a couple per page, and there is an ML program index.sml that takes the root.idx output for those positional indexes and translates it into a normal index, index.tex. (index.sml takes the place of the makeindex command)

This was also the technique used in the SML ’90 Defn, where we have the this index translation program in the file index.sml (this had to be updated to SML from the original version written for an early version of SML and the early SML libraries).

Unfortunately, the SML ’97 Defn sources did not include a corresponding index.sml program, so we were unable to generate the index as we did for SML ’90. There were two ways of recreating the index:

1. start from scratch and follow the conventional practice for indexing, or
2. use the existing positional index items and recreate the corresponding index.sml program to translate their locations to a

I decided to use the second approach. What I have done so far is to mark up my copy of the Defn book with the locations of all these positional index items, and the next step that I am working on is to start with the SML ’90 index.sml file and update the mapping in the second half of that file so it corresponds with the index entries in the book. This seemed slightly less laborious than creating a conventional index from scratch.

So the question is how to potentially partition the effort so that more than one person can pitch in. My key tool is my annotated copy of the book, so anyone else who wants to participate has to create their own annotated book. It may be possible to add the annotations on a “by need” basis, avoiding having to annotate the whole book before starting.

Dave

On Nov 18, 2014, at 8:51 AM, Robert Harper [email protected] wrote:

oh, great, thanks! lars will guide you.

bob harper

On Nov 18, 2014, at 05:36, OGINO Masanori [email protected] wrote:

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

—
Reply to this email directly or view it on GitHub #1 (comment).

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]
—
Reply to this email directly or view it on GitHub.

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]

from sml-the-living-language.

We could do a comparison — measure how long it takes doing, say, 100 index entries the conventional way vs 100 entries in the mapping in index.sml. That would give us a comparison of the relative time and effort required by the two approaches.

Either way, one needs to go through the entire existing index in the book to make sure all the entries get covered.

Dave

On Nov 18, 2014, at 6:07 PM, OGINO Masanori [email protected] wrote:

@larsbergstrom https://github.com/larsbergstrom I have a paperback of SML '97.

I prefer the conventional makeindex approach because it is the usual way and is integrated into latexmk. However, as @dmacqueen https://github.com/dmacqueen pointed out, it needs some more work at beginning. I'll follow the decision of the editors.

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]

from sml-the-living-language.

agreed, especially if we want to be accurate with respect to the original.

bob

On Nov 18, 2014, at 22:38, David MacQueen [email protected] wrote:

It’s not really the “hardness”, it’s the tedium!

Dave

On Nov 18, 2014, at 5:46 PM, Robert Harper [email protected] wrote:

My experience with PFPL is that it is not hard to do a conventional index from scratch.

On Nov 18, 2014, at 17:38, David MacQueen [email protected] wrote:

I am in fact working on the index for the SML ’97 Defn.

The definition was not produced in the normal way, but adding \index items for each occurrence of a term in the index, but instead there are “positional” \index items scattered through the text, typically a couple per page, and there is an ML program index.sml that takes the root.idx output for those positional indexes and translates it into a normal index, index.tex. (index.sml takes the place of the makeindex command)

This was also the technique used in the SML ’90 Defn, where we have the this index translation program in the file index.sml (this had to be updated to SML from the original version written for an early version of SML and the early SML libraries).

Unfortunately, the SML ’97 Defn sources did not include a corresponding index.sml program, so we were unable to generate the index as we did for SML ’90. There were two ways of recreating the index:

1. start from scratch and follow the conventional practice for indexing, or
2. use the existing positional index items and recreate the corresponding index.sml program to translate their locations to a

I decided to use the second approach. What I have done so far is to mark up my copy of the Defn book with the locations of all these positional index items, and the next step that I am working on is to start with the SML ’90 index.sml file and update the mapping in the second half of that file so it corresponds with the index entries in the book. This seemed slightly less laborious than creating a conventional index from scratch.

So the question is how to potentially partition the effort so that more than one person can pitch in. My key tool is my annotated copy of the book, so anyone else who wants to participate has to create their own annotated book. It may be possible to add the annotations on a “by need” basis, avoiding having to annotate the whole book before starting.

Dave

On Nov 18, 2014, at 8:51 AM, Robert Harper [email protected] wrote:

oh, great, thanks! lars will guide you.

bob harper

On Nov 18, 2014, at 05:36, OGINO Masanori [email protected] wrote:

What I mean by "this" is adding '\index` annotations to LaTeX text based on a printed copy. I apologize for any confusion.

—
Reply to this email directly or view it on GitHub #1 (comment).

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]
—
Reply to this email directly or view it on GitHub.

—
Reply to this email directly or view it on GitHub #1 (comment).

David MacQueen
[email protected]
—
Reply to this email directly or view it on GitHub #1 (comment).

from sml-the-living-language.