Issue with sorting in helm-fuzzy-matching-default-sort-fn-1

[knilink]

What happened?

Not exactly a bug.
I came across a behavior in helm-fuzzy-matching-default-sort-fn-1 that IMO might worth some rethinking in terms of user experience. version helm-20230914.903
Sometimes I make typo when running command and the typo command remains prioritized.
This makes accessing the intended item slightly cumbersome.

Have tried helm-fuzzy-matching-sort-fn-preserve-ties-order and doesn't seem to be making any difference probably because (= scr1 scr2) is too strict with the score algorithm (have to be same matching position and the same length)

I started noticing this issue recently probably within a month or two, so I guess could be related to recent changes.

How to reproduce?

(require 'helm)
(setq helm-pattern "foo")
(helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "foo-(｡•́︿•̀｡)") nil nil t)
;result: ("foo-(｡•́︿•̀｡)" "bar-foo" "bar-foo" "bar-foo")

as in the example command foo-(｡•́︿•̀｡) enters the history by typo and stay prioritized, while the intended one is bar-foo

Helm Version

Melpa or NonGnuElpa

Emacs Version

Emacs-28.1

OS

GNU/Linux

Relevant backtrace (if possible)

No response

Minimal configuration

• I agree using a minimal configuration

[thierryvolpiatto]

knilink ***@***.***> writes:

What happened? Not exactly a bug. I came across a behavior in helm-fuzzy-matching-default-sort-fn-1 that IMO might worth some rethinking in terms of user experience. version helm-20230914.903 Sometimes I make typo when running command and the typo command remains prioritized. This makes accessing the intended item slightly cumbersome. Have tried helm-fuzzy-matching-sort-fn-preserve-ties-order and doesn't seem to be making any difference probably because (= scr1 scr2) is too strict with the score algorithm (have to be same matching position and the same length) How to reproduce? (require 'helm) (setq helm-pattern "foo") (helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "foo-(｡•́︿•̀｡)") nil nil t) ;result: ("foo-(｡•́︿•̀｡)" "bar-foo" "bar-foo" "bar-foo") as in the example command foo-(｡•́︿•̀｡) enters the history by typo and stay prioritized, while the intended one is bar-foo

Perhaps what you intended, but having foo-... on top is the expected result, so nothing wrong IMO.

…

Helm Version Melpa or NonGnuElpa Emacs Version Emacs-28.1 OS GNU/Linux Relevant backtrace (if possible) No response Minimal configuration • [*] I agree using a minimal configuration — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.*Message ID: ***@***.***>

-- Thierry

[knilink]

Hi @thierryvolpiatto
could you enlighten me in what scenario would this sorting be making scenes?

(setq helm-pattern "foo")
(helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") nil nil 1)
("funky-0strich-0ctopus-danceathon!" "bar-foo" "bar-foo" "bar-foo")

many packages like magit has a prefix for all its commands, with current sorting, have to waste extra typing to filter out the intended command.

[thierryvolpiatto]

knilink ***@***.***> writes:

1. ( ) text/plain (*) text/html Hi @thierryvolpiatto could you enlighten me in what scenario would this sorting be making scenes?

Not sure what result you expect exactly.

(setq helm-pattern "foo") (helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") nil nil 1) ("funky-0strich-0ctopus-danceathon!" "bar-foo" "bar-foo" "bar-foo")

For instance, this: (let ((helm-patern "foo")) (helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") nil nil)) Returns this: => ("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") Because bar-foo contains a plain "foo" which makes a better score than the leading "f" of "funky-0strich-0ctopus-danceathon".

…

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.*Message ID: ***@***.***>

-- Thierry

[knilink]

yah, it's expected that bar-foo should have a higher score but it didn't seem to be the case and (helm-fuzzy-flex-style-score "bar-foo" "foo") would actually return 0.

did a bit further investigation and found that (helm-completion--flex-transform-pattern (list "fob")) actually getting ("f" any "o" any "o" any) instead of (prefix "f" any "o" any "b" any point) as the code comment described. Thus the pattern and candidate have to match their initial letter to get score.

helm/helm-core.el

Lines 4526 to 4532 in 31d2dfe

	(defun helm-completion--flex-transform-pattern (pattern)
	;; "fob" => '(prefix "f" any "o" any "b" any point)
	(cl-loop for p in pattern
	if (stringp p) nconc
	(cl-loop for str across p
	nconc (list (string str) 'any))
	else nconc (list p)))

[thierryvolpiatto]

knilink ***@***.***> writes:

yah, it's expected that bar-foo should have a higher score but it didn't seem to be the case and (helm-fuzzy-flex-style-score "bar-foo" "foo") would actually return 0.

Yes it seems the flex algorythm increase the score when there is a prefix whereas the helm algo increase the score with contiguous string, BTW I was wrong in previous post because I did a typo in my example (helm-patern vs helm-pattern), so if you use the helm score fn you have different result: (let ((helm-pattern "foo") (helm-fuzzy-default-score-fn #'helm-fuzzy-helm-style-score)) (helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") nil nil)) =>("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") (let ((helm-pattern "foo")) (helm-fuzzy-matching-default-sort-fn-1 '("bar-foo" "bar-foo" "bar-foo" "funky-0strich-0ctopus-danceathon!") nil nil)) =>("funky-0strich-0ctopus-danceathon!" "bar-foo" "bar-foo" "bar-foo")

did a bit further investigation and found that (helm-completion--flex-transform-pattern (list "fob")) actually getting ("f" any "o" any "o" any) instead (prefix "f" any "o" any "b" any point) as the code comment described.

Yeah, I think the comment is a vestige of when I started writing this i.e. just a reminder for myself, so I guess it should be removed, anyway the code can't return the symbol 'prefix in the list as this one depend on the candidate we are matching against.

…

Thus the pattern and candidate have to match their initial letter to get score. https://github.com/emacs-helm/helm/blob/31d2dfee13c33fa6ba4d36e09d808968b11c528d/helm-core.el#L4526-L4532 — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.*Message ID: ***@***.***>

-- Thierry